Vous êtes sur la page 1sur 3

Les tables de vrit

Baptiste Mls

Mthode des tables de vrit

Les tables de vrit sont une mthode logique qui montre si des propositions sont satisables ou rfutables, tautologiques ou contadictoires. Cette mthode est absolument infaillible : toutes les formules du calcul propositionnel sont dcidables. Voici la procdure suivre pour remplir une table de vrit. 1. Compter les variables propositionnelles direntes qui interviennent dans la formule analyser. Exemples : p p une variable : p p (p q ) deux variables : p, q p (q r) (p q ) (p r) trois variables : p, q , r 2. Inscrire chacune de ces variables dans une colonne gauche de la table de vrit : p ou p q ou p q r etc. 3. Insrer les valeurs de vrit de chaque variable. La table comptera autant de lignes que de combinaisons possibles entre les n variables propositionnelles, cest--dire 2n (deux lignes pour une seule variable propositionnelle, quatre pour deux, huit pour trois, etc.). Exemples : ou p q ou p q r etc. p 1 1 1 1 1 1 0 1 0 1 1 0 0 1 1 0 1 0 0 1 0 0 0 1 1 0 1 0 0 0 1 0 0 0 4. Inscrire les sous-formules de la formule gnrale dans des colonnes spares. Toute formule compose doit elle-mme tre prcde de ses sous-formules, et ainsi de suite jusquaux variables propositionnelles, qui reprsentent les propositions atomiques, et que lon a dj notes tout gauche de la table. Exemples : 1

p 1 0

p 1 1 1 1 0 0 0 0

q 1 1 0 0 1 1 0 0

r 1 0 1 0 1 0 1 0

qr

p p ou p q p q p (p q ) ou 1 1 1 0 0 1 0 0 p (q r) p q p r (p q ) (p r) p (q r) (p q ) (p r)

Nous vous laisserons en exercice le soin de remplir ces tableaux. 5. Remplir la table de vrit en appliquant les rgles suivantes : p q p q p q p q p q q p p q p q 1 1 0 0 1 1 1 1 1 0 1 0 0 1 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 0 1 1 0 0 1 1 1 0 titre mnmotechnique, on peut galement retenir les quivalences arithmtiques suivantes : la ngation () est le complment 1 : p = 1 p (rappelons que 1 0 = 1, et que 1 1 = 0) ; la conjonction () prend la valeur de la plus petite de ses sousformules ; la disjonction inclusive () prend la valeur de la plus grande de ses sous-formules ; lquivalence () est vraie si ses deux sous-formules ont mme valeur (p q signie p = q ) ; la disjonction exclusive ( ) est vraie si ses deux sous-formules ont des valeurs direntes (p q signie p = q ) ; limplication (p q ) est vraie si p q .

Signication philosophique des tables de vrit

Comme toute mthode logique, les tables de vrit ne traitent que de la vrit formelle, sans se proccuper de la vrit matrielle. La table de vrit de p q traite donc cette proposition dans toute sa gnralit, sans examiner si, dans les faits, p est vrai ou si q est vrai. 2

Pour autant, quoique indirente aux vrits matrielles, la table de vrit nen contient pas moins toutes les combinaisons de vrits matrielles. Chacune de ses lignes reprsente en eet comme un monde possible, avec la vrit matrielle qui lui correspondrait. Si lon reprsente par p la proposition Dieu existe et par q lhomme est libre , on obtient une combinatoire de quatre cas de gure : Dieu existe et lhomme est libre, Dieu existe mais lhomme nest pas libre, Dieu nexiste pas et lhomme est libre, Dieu nexiste pas et lhomme nest pas libre. chacun de ces mondes possibles peut correspondre un ensemble de systmes philosophiques : p q p q systmes philosophiques 1 1 1 Descartes, Leibniz... 1 0 0 Calvin 0 1 0 Sartre 0 Nietzsche 0 0 On peut ainsi calculer quelles propositions sont vraies dans tel ou tel systme philosophique. Dans notre exemple, la proposition Dieu existe et lhomme est libre est fausse chez Calvin, Sartre et Nietzsche, mais vraie chez Descartes ou Leibniz. Il arrive quune proposition soit vraie dans tous les cas de gure : le rsultat de sa table de vrit est alors exclusivement compos de 1. On appelle ces formules des tautologies. Ce sont les formules qui valent dans tous les mondes possibles, en dautres termes, dans tous les systmes philosophiques possibles. Mme un sartrien forcen devra admettre que si Dieu existe (p), alors Dieu existe ou lhomme nest pas libre (q ), car cest une tautologie : p q q p q p (q q ) 1 1 0 1 1 1 0 1 1 1 0 1 0 0 1 0 0 1 1 1 Les tables de vrit permettent ainsi de mesurer les propositions qui ne sont vraies que dans un ou plusieurs systmes philosophiques donns quand elles ne sont satisables que dans certaines lignes de la table et celles qui valent dans tous les systmes possibles. De la mme manire, elles rvlent les propositions qui ne sont jamais satisables, ou contradictions. Ces dernires correspondent aux thses quaucun philosophe cohrent ne saurait soutenir. La mthode des tables de vrit permet donc de dcrire la vrit formelle, non partir de la vrit matrielle ce qui serait proprement monstrueux mais en sappuyant sur la combinatoire des vrits matrielles possibles.