TP1 : Logique des propositions

1. Quelle est la valeur de vérité de chacune des propositions suivantes :

a) (5 est un nombre positif) ∨ (2 < 3)
b) (5 est un nombre positif) ∨ (2 ≥ 3)
c) (3 > 2) ∧ (2 + 3 = 4)
d) (3 ≤ 2) ∧ (2 + 3 = 5)

2. Soient 𝑝 : « il fait froid » et 𝑞 : « il pleut »

Enoncer des phrases simples qui traduisent les propositions suivantes :
a) 𝑝 ∧ 𝑞
b) 𝑝 ∨ 𝑞
c) 𝑞 ∨ ¬𝑝
d) ¬𝑝 ∧ ¬𝑞

3. Etablir la table de vérité de :

a) ¬𝑝 ∧ 𝑞
b) ¬(𝑝 ∨ 𝑞)
c) (𝑝 ∧ ¬𝑞) ∨ 𝑟

4. Ecrivez la réciproque et la contraposée de chacune des implications suivantes :

a) Si 2 + 2 = 3 , alors je suis le roi de Prusse
b) S’il fait bon et si je ne suis pas trop fatigué, alors je vais me promener
c) Si je gagne à la loterie, alors je sable le champagne et je m’achète une moto

5. Soient 𝑝, 𝑞, 𝑟 des propositions. Construisez la table de vérité de chacune des propositions

composées suivantes :
a) 𝑝 ⇒ (𝑝 ⇒ 𝑞)
b) (𝑝 ∨ 𝑞) ⇒ 𝑟
c) (𝑝 ⊕ 𝑞) ⟺ ¬(𝑝 ⟺ 𝑞)

6. Pour quelles valeurs entières de 𝑥 et de 𝑦 la proposition suivante est-elle vraie ? Explicitez

votre raisonnement.
(𝑥 > 3 ⟺ 𝑦 ≤ 5) ∧ (𝑥 = 𝑦)

7. Quelle est la valeur de vérité des propositions suivantes :

a) ((1 ≠ 1) ⇒ (2 = 3)) ∨ (4 = 5)
b) ((0 = 1) ⊕ (5 = 5)) ∧ ((1 = 2) ⟺ (2 = 1))
c) (1 + 1 = 2) ∨ "1 989 791 est un nombre premier"
d) Si une armoire n’est pas un meuble, alors une pomme n’est pas un fruit.
8. La formule suivante peut-elle être vraie ? Justifier.
((¬𝑝) ⟺ 𝑞) ⊕ (¬(𝑝 ∧ 𝑞))

9. Vérifier si les propositions suivantes sont des tautologies :

a) ((𝑝 ⇒ 𝑞) ∧ (𝑞 ⇒ 𝑝)) ⟺ (𝑝 ⟺ 𝑞)
b) (𝑝 ⊕ 𝑞) ⟺ (((¬𝑝) ∧ 𝑞) ∨ (𝑝 ∧ (¬𝑞)))

10. Mohamed, Kevin et Thomas sont trois copains inséparables. Quel est leur état d’humeur,
sachant que :
a) Si Mohamed est fâché, alors Thomas est content ;
b) Si Thomas est content, alors Kevin aussi ;
c) Si Kevin est fâché, alors Mohamed aussi ;
d) Mohamed et Kevin ne sont jamais contents en même temps.

Trouvez la solution au moyen d'une table de vérité.