Deux cas sont à prévoir : le cas ou la condition est VRAI et le cas
ou elle est FAUSSE.
cela a donné lieu à beaucoup de débats dans l'antiquité pour savoir
qu'elle était la nature du conséquent et deux écoles se sont
affrontées.
En logique moderne, le conséquent n'est effectif que si la condition
est Vrai
et donc, cela veut dire:
SI