Raisonnements

Pour vérifier l'équivalence de deux propositions logiques complexes, on peut construire une table qui liste toutes les combinaisons de valeurs de vérité (vrai/faux) pour les assertions de base. Si les colonnes de résultats des deux propositions complexes sont identiques, alors elles sont logiquement équivalentes.