Formalisation pour les sciences sociales et politiques Tables de vérité Matteo Gagliolo Matteo.Gagliolo@ulb.ac.be Université libre de Bruxelles SOCA-D173 Leçon 3 Gagliolo (ULB) Tables de vérité SOCAD173:3 1 / 14
Plan de la leçon Syntaxe : propositions et objets Rappel : connecteurs Arbres syntaxiques Tables de vérité : exemples Principe de bivalence Syllabus : Ch 3. Gagliolo (ULB) Tables de vérité SOCAD173:3 2 / 14
Rappel : Syntaxe* Ensembles, propositions, nombres : tous exemples d objets mathématiques qu on peut combiner pour définir : des propositions, exprimant des relations entre des objets des nouveaux objets, à l aide des opérateurs, unaires ou binaires Propositions Objets Objet Relation Objet Opérateur Objet Proposition Objet Objet Opérateur Objet Objet Gagliolo (ULB) Tables de vérité SOCAD173:3 3 / 14
Rappel : connecteurs Conjonction x y x y 1 1 1 1 0 0 0 1 0 0 0 0 Disjonction x y x y 1 1 1 1 0 1 0 1 1 0 0 0 Négation x x 1 0 0 1 Implication x y x y 1 1 1 1 0 0 0 1 1 0 0 1 Équivalence x y x y 1 1 1 1 0 0 0 1 0 0 0 1 Gagliolo (ULB) Tables de vérité SOCAD173:3 4 / 14
Évaluer une fonction à l aide des tables de vérité On peut évaluer la fonction de vérité d une expression arbitraire, en remplissant sa table de vérité. Par exemple : (a b) (a b) est une proposition, dont on peut évaluer la vérité en fonction des valeurs de a et b. Pour remplir la table : on écrit, en utilisant autant des colonnes que les variables utilisées, toutes combinaisons possibles des variables ; on écrit, dans les colonnes qui suivent, les valeurs de vérité des connecteurs utilisées, en allant du niveau plus «bas» vers le plus «haut» ; jusqu à arriver, dans la dernière colonne à droite, à écrire la fonction de vérité de la proposition entière. Gagliolo (ULB) Tables de vérité SOCAD173:3 5 / 14
Arbre des éventualités Avec 2 variables : 4 éventualités. Avec 3 variables : 8 éventualités. a b a = 1 a = 0 b = 1 b = 0 b = 1 a b 1 1 1 0 0 1 0 0 b = 0 Gagliolo (ULB) Tables de vérité SOCAD173:3 6 / 14
Avec 2 variables : 4 éventualités. Avec 3 variables : 8 éventualités. Arbre des éventualités a b c b = 1 c = 1 c = 0 a = 1 b = 0 b = 1 c = 1 c = 0 c = 1 a = 0 b = 0 c = 0 c = 1 c = 0 a b c Gagliolo (ULB) Tables de vérité SOCAD173:3 6 / 14
Avec 2 variables : 4 éventualités. Avec 3 variables : 8 éventualités. Arbre des éventualités a b c b = 1 c = 1 c = 0 a = 1 b = 0 b = 1 c = 1 c = 0 c = 1 a = 0 b = 0 c = 0 c = 1 c = 0 a b c 1 1 1 1 1 0 1 0 1 1 0 0 0 1 1 0 1 0 0 0 1 0 0 0 Avec n N variables : n fois 2 2 2 2, soit 2 n éventualités. Gagliolo (ULB) Tables de vérité SOCAD173:3 6 / 14
Arbre syntaxique Dans ce cas le but de l arbre est de représenter la structure d une proposition complexe : deux branches pour les opérateurs binaires, une branche pour la négation. (a b) (a b) Gagliolo (ULB) Tables de vérité SOCAD173:3 7 / 14
Arbre syntaxique (a b) (a b) (a b) (a b) a b a a b b a b Gagliolo (ULB) Tables de vérité SOCAD173:3 7 / 14
Arbre syntaxique (a b) (a b) (a b) (a b) a a b b a b a b 1 1 1 0 0 1 0 0 Gagliolo (ULB) Tables de vérité SOCAD173:3 7 / 14
Arbre syntaxique x y x y (a b) (a b) (a b) (a b) a b a a b a b a b 1 1 1 1 0 1 0 1 1 0 0 0 b 1 1 1 1 0 1 0 1 1 0 0 0 Gagliolo (ULB) Tables de vérité SOCAD173:3 7 / 14
Arbre syntaxique (a b) (a b) (a b) (a b) a b a a b b x x 1 0 0 1 a b a b (a b) 1 1 1 0 1 0 1 0 0 1 1 0 0 0 0 1 Gagliolo (ULB) Tables de vérité SOCAD173:3 7 / 14
Arbre syntaxique x y x y (a b) (a b) (a b) (a b) a b a a b b 1 1 1 1 0 0 0 1 1 0 0 1 a b a b (a b) a b 1 1 1 0 1 1 0 1 0 0 0 1 1 0 1 0 0 0 1 1 Gagliolo (ULB) Tables de vérité SOCAD173:3 7 / 14
Arbre syntaxique x y x y (a b) (a b) (a b) (a b) a b a a b b 1 1 1 1 0 0 0 1 0 0 0 0 a b a b (a b) a b (a b) (a b) 1 1 1 0 1 0 1 0 1 0 0 0 0 1 1 0 1 0 0 0 0 1 1 1 Gagliolo (ULB) Tables de vérité SOCAD173:3 7 / 14
Exemple : tiers-exclu On peut définir une fonction unaire ainsi : a a a a a a 1 0 1 0 1 1 La valeur de vérité de l exemple précédent dépendait des valeurs de vérité de ses variables : elle était un exemple de fonction contingente. Voici par contre une fonction qui est toujours vraie : une loi logique. C est le principe du tiers-exclu : au moins une entre a et a doit être vraie. Gagliolo (ULB) Tables de vérité SOCAD173:3 8 / 14
Exemple : contradiction Essayons avec a a a a a a 1 0 0 0 1 0 Voici une fonction qui est toujours fausse : une contradiction. Gagliolo (ULB) Tables de vérité SOCAD173:3 9 / 14
Exemple : non-contradiction Par la définition de négation : en niant une contradiction on obtient une loi logique. On va donc rapidement écrire (a a) a a a a (a a) 1 0 0 1 0 1 0 1 C est le principe de non-contradiction : a et a ne peuvent pas être simultanément vraies. Gagliolo (ULB) Tables de vérité SOCAD173:3 10 / 14
Exemple : bivalence La conjonction de deux lois est aussi une loi. La conjonction du tiers-exclu et de la non-contradiction donne ainsi une nouvelle loi, que l on connaît déjà : le principe de bivalence. (a a) (a a) a a a a (a a) (a a) (a a) 1 0 1 1 1 0 1 1 1 1 En mots : une proposition est soit vraie soit fausse. Gagliolo (ULB) Tables de vérité SOCAD173:3 11 / 14
Exemple : double implication On peut définir l équivalence comme une double implication, en utilisant l implication et la conjonction, ainsi : (a b) (b a) a b a b b a (a b) (b a) 1 1 1 1 1 1 0 0 1 0 0 1 1 0 0 0 0 1 1 1 On voit que la dernière colonne correspond à (a b). Gagliolo (ULB) Tables de vérité SOCAD173:3 12 / 14
Formules Loi logique : vraie pour toute éventualité Contradiction : fausse pour toute éventualité Formule contingente : parfois vraie, parfois fausse, selon l éventualité. Gagliolo (ULB) Tables de vérité SOCAD173:3 13 / 14
Conclusion À retenir expressions : objets et propositions arbre syntaxique d une expression table de vérité d une expression logique Syllabus : Ch 3 Prochainement Logique des prédicats : Négation Formes Inférences immédiates (carré logique) Syllogismes Syllabus : Ch 4. Gagliolo (ULB) Tables de vérité SOCAD173:3 14 / 14