Signaler un abus
@roman_garev
"Curieux. C’est la première fois que je vois des faits précédés par un « si ».
«
Ce qui commence par un »si« c’est une règle d’inférence du type »si P alors Q«
Dans une telle règle P et Q sont des faits. P est la prémisse et Q est la conclusion.
On peut aussi parler de »formules« au lieu de »faits".
Une règle d’inférence est une fonction qui prend un n \displaystyle n -uplet de formules et rend une formule. Les formules arguments sont appelées « les prémisses » et la formule retournée est appelée la « conclusion ».
Articles les plus lus
- Climatisation : adaptation utile aux canicules
- Fasciste partout, fasciste nulle part : le délire obsessionnel de LFI
- Quand l’Europe cessera-t-elle de financer l’Ukraine ?
- Internet fermé à la libre expression
- Ukraine : quand l’Europe renvoie ses réfugiés au front
- Allemagne : « La liberté n’est réservée qu’aux « bonnes » personnes »
- La Directive Hannibal a-t-elle été activée le 07 Octobre 2023 ?
- L’esclavage dû à l’Occident ?
- Cap Ferret : la France continue à s’embraser
- Menaces sur les centrales électriques d’Iran : pourquoi le recul tactique de Trump reste le scénario le plus probable
Agoravox utilise les technologies du logiciel libre : SPIP, Apache, Ubuntu, PHP, MySQL, CKEditor.
Site hébergé par la Fondation Agoravox
A propos / Contact / Mentions légales / Cookies et données personnelles / Charte de modération