Antilogie

"Le calcul des propositions ou calcul propositionnel est une théorie logique qui définit

les lois formelles du raisonnement.

C'est la version moderne de la logique stoïcienne.

C'est aussi la première étape dans la construction des outils de la logique mathématique..."

Wikipédia