COURS 3.

TAUTOLOGIES ET
CONTRADICTIONS
Samuel Descarreaux
sdescarr@uottawa.ca​
TABLE DES MATIÈRES
Résumé
déf. en utilisant les tables de vérité
- Tautologies
- Contradiction
- Indétermination
- Équivalent
- Cohérent
- Valide
 3

RÉSUMÉ
Syntaxe : vocabulaire et grammaire du langage
- Énoncés: p, q, r…
- Connecteurs logiques : , ¬, , , 
- Parenthèses : ( )

Sémantique : théorie de la signification, de la référence et de la

vérité d’un langage
- Dictionnaire (déf: langage objet vers un métalangage)
- Tables de vérité
 4

RÉSUMÉ
Syntaxe : vocabulaire et grammaire du langage
- Énoncés: p, q, r…
- Connecteurs logiques : , ¬, , ,  Vocabulaire
- Parenthèses : ( )
Grammaire du langage :
- Métalangage pour décrire des propriétés du calcul des énoncés.
Ex. p  q (r ¬ s)  (s ¬ p) ((¬ p  s)  r)  q
p (r ¬ s) (¬ p  s)  r) .
q (s ¬ p) q
 5

RÉSUMÉ
AB
A . Modus Ponens
B
Grammaire du langage :
- recours à métalangage pour décrire des propriétés du calcul des
énoncés.
Ex. p  q (r ¬ s)  (s ¬ p) ((¬ p  s)  r)  q
p (r ¬ s) (¬ p  s)  r) .
q (s ¬ p) q
 6

RÉSUMÉ
Métalangage :
- Variables : A, B, C…. Vocabulaire
- Connecteurs logiques : , ¬, , , 
- Parenthèse : ( )

- Grammaire du calcul des énoncés

1. Une proposition p, q, r… est une formule bien formée.
2. Si A est une formule bien formée, alors ¬A est également une
formule bien formée.
3. Si A et B sont des formules bien formées, alors (A  B), (A  B)
(A  B) et (A  B) sont des formules bien formées.
4. Toute formule bien formée est construite par un nombre fini
d’applications des règles 1, 2 et 3.
 7

EXEMPLES
(B  C  D)
Non : connecteurs binaires demande des parenthèses
¬ A
Non: deux connecteurs ne peuvent se suivrent
BC  D
Non: deux variables ne peuvent se suivrent
(B  (C  D)))
Non: les parenthèses doivent être fermées
[(B  R)  C]  D
Oui
(p  q)
Non: les variables utilisées constituent une
interprétation possible de l’énoncé du calcul des énoncés : (A 
B)
 8

RÉSUMÉ
Classification des énoncés:
- Tautologies : = impossible
ex. Il pleut ou il ne pleut pas
- Contradictions : T = impossible
ex. Il pleut et il ne pleut pas
- Indéterminés (contingents) : T et  = possibles
ex. Il pleut ou il fait froid

- Démonstration/Preuve:
- Méthode syntaxiques :
Calcul de Boole, arbres logiques, déduction naturelle
- Méthode sémantiques :
Tables de vérités
 9

TAUTOLOGIE
DÉF. UN ÉNONCÉ P EST UNE TAUTOLOGIE SI ET SEULEMENT SI P EST VRAI POUR
TOUTES LES INTERPRÉTATIONS POSSIBLES

⊨ : désigne une tautologie ex. ⊨ P  ¬P

p P  ¬P

V (T) V F
V (T) V F
F () V V
F () V V
 10

CONTRADICTION
DÉF. UN ÉNONCÉ P EST UNE CONTRADICTION SI ET SEULEMENT SI P EST FAUX POUR
TOUTES LES INTERPRÉTATIONS POSSIBLES

p P  ¬P

V (T) F F
V (T) F F

F () F V
F () F V
 11

INDÉTERMINÉ
DÉF. UN ÉNONCÉ P EST LOGIQUEMENT INDÉTERMINÉ SI ET SEULEMENT SI P N’EST NI
UNE TAUTOLOGIE NI UNE CONTRADICTION

P Q ¬(P  Q)
V (T) V (T) F V
V (T) F () V F
F () V (T)
V F
F () F ()
V F
 12

EXEMPLE
P Q P  (Q  P) P Q (P  Q)  P
V V V V V V V V
(T) (T) (T) (T)
V F () V V V F () F F
(T) (T)
V F V V
F () V F () V
(T) V V (T) V V
F () F () F () F ()
TAUTOLOGIQUE INDÉTERMINÉE
 13

VERSION ABRÉGÉE
DÉF. TAUTOLOGIE: UN ÉNONCÉ P EST UNE TAUTOLOGIE SI ET SEULEMENT SI P
EST VRAI POUR TOUTES LES INTERPRÉTATIONS POSSIBLES
Si l’une des interprétations dans un monde possible fausse, alors…

P (P  ¬P)  ¬P

V V F F V F FV
 14

VERSION ABRÉGÉE
DÉF. TAUTOLOGIE: UN ÉNONCÉ P EST UNE TAUTOLOGIE SI ET SEULEMENT SI P
EST VRAI POUR TOUTES LES INTERPRÉTATIONS POSSIBLES
Si l’une des interpretations dans un monde possible est vrai, alors…

P Q (P  Q)  (Q  P)

F V F V V F V F F

Attention : choix à faire

 15

VERSION ABRÉGÉE
DÉF. CONTRADICTION: UN ÉNONCÉ P EST UNE CONTRADICTION SI ET
SEULEMENT SI P EST FAUX POUR TOUTES LES INTERPRÉTATIONS POSSIBLES
Si l’une des interpretations dans un monde possible est vrai, alors…

p q p  (¬q  ¬p)

V F V V VF V F V
 16

VERSION ABRÉGÉE
DÉF. CONTRADICTION: UN ÉNONCÉ P EST UNE CONTRADICTION SI ET
SEULEMENT SI P EST FAUX POUR TOUTES LES INTERPRÉTATIONS POSSIBLES
Si l’une des interpretations dans un monde possible est vrai, alors…

P Q (P  Q)  (Q  ¬P)

V V V V V V V V FV

P Q (P  Q)  (Q  ¬P)

F V F V V V V V VF
 17

ÉQUIVALENT
DÉF. DEUX ÉNONCÉS P ET Q SONT LOGIQUEMENT ÉQUIVALENTS SI ET SEULEMENT SI
IL N’Y A PAS D’INTERPRÉTATION POUR LAQUELLE P ET Q ONT DES VALEURS DE VÉRITÉ
DIFFÉRENTES

¬P  Q ; P  Q ; ¬(P  ¬ Q)

P Q ¬P  Q P Q P  Q
V V F V V V V
(T) (T) (T) (T)
V F () F F F
V F ()
(T) (T)
V V V
F () V F () V
(T) V V (T) V
F () F ()
F () F ()
ÉQUIVALENTES
 18

ÉQUIVALENT
DÉF. DEUX ÉNONCÉS P ET Q SONT LOGIQUEMENT ÉQUIVALENTS SI ET SEULEMENT SI
IL N’Y A PAS D’INTERPRÉTATION POUR LAQUELLE P ET Q ONT DES VALEURS DE VÉRITÉ
DIFFÉRENTES

¬P  Q ; P  Q ; ¬(P  ¬ Q)

P Q ¬(P  ¬ Q) P Q P  Q
V V V F F V V V
(T) (T) (T) (T)
V F () F V V F
V F ()
(T) (T)
V F F V
F () V F () V
(T) V F V (T) V
F () F ()
F () F ()
ÉQUIVALENTES
 19

ÉQUIVALENT
DÉF. DEUX ÉNONCÉS P ET Q SONT LOGIQUEMENT ÉQUIVALENTS SI ET SEULEMENT SI
IL N’Y A PAS D’INTERPRÉTATION POUR LAQUELLE P ET Q ONT DES VALEURS DE VÉRITÉ
DIFFÉRENTES

¬P  Q ; P  Q ; ¬(P  ¬ Q)

P Q ¬(P  Q) P Q ¬ P  ¬Q
V V F V V V F F F
(T) (T) (T) (T)
V F () F V F F V
V F ()
(T) (T)
F V V F F
F () V F () V
(T) V F (T) V V V
F () F ()
F () F ()
ÉQUIVALENTES
 20

VERSION ABRÉGÉE
DÉF. DEUX ÉNONCÉS P ET Q SONT LOGIQUEMENT ÉQUIVALENTS SI ET SEULEMENT SI
IL N’Y A PAS D’INTERPRÉTATION POUR LAQUELLE P ET Q ONT DES VALEURS DE VÉRITÉ
DIFFÉRENTE

Si l’une des interprétations dans un monde possible a des valeurs de

vérité différents , alors…

P Q P P  Q

F V F F V V

P Q P P  Q
V V V VF V
 21

COHÉRENT
DÉF. UN ENSEMBLE D’ÉNONCÉS EST LOGIQUEMENT COHÉRENT SI ET SEULEMENT SI
IL Y A AU MOINS UNE INTERPRÉTATION POUR LAQUELLE TOUS LES MEMBRES SONT
VRAIS
Soit {P ; Q  R ; Q}
P Q R P Q  R Q
V V V V V V
V V F V F V
V F V V V F
V F F V V F
F V V F V V
F V F F F V
F F V F V F
F F F F V F

COHÉRENT
 22

COHÉRENT
DÉF. UN ENSEMBLE D’ÉNONCÉS EST LOGIQUEMENT COHÉRENT SI ET SEULEMENT SI
IL Y A AU MOINS UNE INTERPRÉTATION POUR LAQUELLE TOUS LES MEMBRES SONT
VRAIS
Soit {P ; Q  P ; ¬P}

P Q P QP ¬P
V (T) V (T) V V F
V (T) F () V V F
F () V (T)
F F V
F () F ()
F V V

INCOHÉRENT
 23

VERSION ABRÉGÉE
DÉF. UN ENSEMBLE D’ÉNONCÉS EST LOGIQUEMENT COHÉRENT SI ET SEULEMENT SI
IL Y A AU MOINS UNE INTERPRÉTATION POUR LAQUELLE TOUS LES MEMBRES SONT
VRAIS
Soit {(P  Q)  P ; Q  ¬P}

P Q (P  Q)  P Q  ¬P

F V F F V V F V V VF

COHÉRENT
 24

VALIDE
DÉF. UN ARGUMENT EST VALIDE SI ET SEULEMENT SI IL N’Y A AUCUNE
INTERPRÉTATION POUR LAQUELLE TOUTES LES PRÉMISSES SONT VRAIES ET LA
CONCLUSION EST FAUSSE
• A╞ B: A implique la verité de B

• A╞ B: A n’implique pas la verité de B

 25

DÉF. UN ARGUMENT EST VALIDE SI ET

VALIDE SEULEMENT SI IL N’Y A AUCUNE INTERPRÉTATION

POUR LAQUELLE TOUTES LES PRÉMISSES SONT
VRAIES ET LA CONCLUSION EST FAUSSE
Soit {P ; Q  R }
Démontrez {P ; (Q  R)} ╞ R VALIDE

P Q R P Q  R R
V V V V V V
V V F V F F
V F V V F V
V F F V F F
F V V F V V
F V F F F F
F F V F F V
F F F F F F
 26

DÉF. UN ARGUMENT EST VALIDE SI ET

SEULEMENT SI IL N’Y A AUCUNE INTERPRÉTATION

VALIDE POUR LAQUELLE TOUTES LES PRÉMISSES SONT

VRAIES ET LA CONCLUSION EST FAUSSE
Soit {P  (¬R  Q) ; Q  ¬P}
Démontrez {P  (¬ R  Q) ; Q  ¬ P} ╞ ¬ P

P Q R P  (¬R  Q) Q  ¬P ¬P
V V V V F V F F F
V V F V V V F F F
V F V F F F V F F
V F F V V V V F F
F V V F F V V V V
F V F F V V V V V
F F V V F F F V V
F F F F V V F V V
 27

VERSION ABRÉGÉE
DÉF. UN ARGUMENT EST VALIDE SI ET SEULEMENT SI IL N’Y A AUCUNE
INTERPRÉTATION POUR LAQUELLE TOUTES LES PRÉMISSES SONT VRAIES ET LA
CONCLUSION EST FAUSSE
Soit {¬ (P  Q) ; ¬R}

Démontrez {¬ (P  Q) ; ¬R} ╞ R

P Q R ¬ (P  Q ) ¬R R

F F F V F F F VF F

INCOHÉRENT
Presentation title 28

RÉSUMÉ
déf. en utilisant les tables de vérité
- Tautologies
- Contradiction
- Indétermination
- Équivalent
- Cohérent
- Valide