@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 ».