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