p q r p ∨ q ¬p ¬P ∨ r (p∨q)∧(¬P∨r) q∧ r

0 0 0 0 1 1 0 0
0 0 1 0 1 1 0 0
0 1 0 1 1 1 1 0
0 1 1 1 1 1 1 1
1 0 0 1 0 0 0 0
1 0 1 1 0 1 1 0
1 1 0 1 0 0 0 0
1 1 1 1 0 1 1 1
N’est pas une conséquence logique
 Φ=(¬p∨ q)
p q ¬p ¬p∨ q ¬q ¬p∨¬q Ψ=¬p Φ->Ψ
∧(¬p∨¬q)
0 0 1 1 1 1 1 1 1
0 1 1 1 0 1 1 1 1
1 0 0 0 1 1 0 0 1
1 1 0 1 0 0 0 0 1
Conséquence logique
Exercice de conséquence logique :

Vérifier la conséquence logique suivante :

réponse
1 : On peut construire la table de vérité de la formule (mais
la solution est longue pour 4 variables)
2 : mais ce n’est pas nécessaire, on cherche à montrer que
cette formule n’est pas une tautologie. i.e. qu’il existe un
choix v de valeurs de vérité tel que :
M est fausse
Principales équivalences (à vérifier en exercice) :
Principales équivalences (à vérifier en exercice) :
Mettre sous forme normale
conjonctive ou disjonctive :