Une autre manière de représenter la préservation de la tautologie est d`utiliser une tables de vérités. Une proposition Q est dite être une conséquence tautologique d`une, ou plus, autre propositions (P_1 Trouvé sur https://fr.wikipedia.org/wiki/Conséquence_tautologique
Aucun résultat n’a été trouvé dans l’encyclopédie.
Une autre manière de représenter la préservation de la tautologie est d`utiliser une tables de vérités. Une proposition Q est dite être une conséquence tautologique d`une, ou plus, autre propositions (P_1