Complétez la table de vérité (1 = vrai, 0 = faux). Dans combien de lignes N est-elle vraie pour ¬p ∨ q ?
Fiche d’exercices de Logique propositionnelle et preuves avec corrigé
1.Facile
¬p ∨ q
N =
2.Facile
Une seule ligne de la table de vérité rend (q ∧ r) → (p ∨ (p ∧ q)) fausse. Cliquez sur cette ligne.
(q ∧ r) → (p ∨ (p ∧ q))
- 1p = 1, q = 1, r = 1
- 2p = 1, q = 1, r = 0
- 3p = 1, q = 0, r = 1
- 4p = 1, q = 0, r = 0
- 5p = 0, q = 1, r = 1
- 6p = 0, q = 1, r = 0
- 7p = 0, q = 0, r = 1
- 8p = 0, q = 0, r = 0
3.Moyen
Quelle formule est logiquement équivalente à ¬(c → b) ? Cliquez dessus.
¬(c → b)
- 1¬c → ¬b
- 2¬c ∨ ¬b
- 3c → ¬b
- 4c ∧ ¬b
4.Moyen
Dans combien des 8 lignes de sa table de vérité (p ∨ ¬q) → (¬r ∨ q) est-elle vraie ? Appelez ce nombre N.
(p ∨ ¬q) → (¬r ∨ q)
N =
5.Difficile
Combien des 16 lignes de la table de vérité rendent (¬(s ∧ p) ∧ ¬(s ∧ q)) → (p ∨ r) vraie ? Appelez ce nombre N.
(¬(s ∧ p) ∧ ¬(s ∧ q)) → (p ∨ r)
N =
6.Difficile
Le raisonnement de prémisses c → (b ∨ a); c et de conclusion b est invalide. Cliquez sur la ligne de la table de vérité qui est un contre-exemple.
c → (b ∨ a)c∴ b
- 1a = 1, b = 1, c = 1
- 2a = 1, b = 1, c = 0
- 3a = 1, b = 0, c = 1
- 4a = 1, b = 0, c = 0
- 5a = 0, b = 1, c = 1
- 6a = 0, b = 1, c = 0
- 7a = 0, b = 0, c = 1
- 8a = 0, b = 0, c = 0
Corrigé
- 1. N = 3
- 2. p = 0, q = 1, r = 1
- 3. c ∧ ¬b
- 4. N = 6
- 5. N = 13
- 6. a = 1, b = 0, c = 1
Corrigés complets pas à pas : entraînez-vous sur ce thème sur examproblems.com.