Académique Documents
Professionnel Documents
Culture Documents
2022/2023
Casablanca
GI18- 2ième année Génie Informatique
(p ∧ ¬q) ∨ ( ¬p ∧ q )
(p ∧ q) ∨ (¬p ∧ ¬q) → ¬r
F3 = p∧ ((p ∨ q) ↔ p)
p q r
q∨ r (p∧(q∨r p∧q (p∧q )∨¬r (p∧(q∨r))→ (p∧q )∨¬r
))
1
Même question pour les deux formules suivantes:
¬(p∧q) ∧ (r→ p )∧( r → q) → ¬r
Traduire ces énoncés dans la logique des propositions et dire si X est l’auteur de ce
bruit.
●Les élèves qui sont des musiciens aiment tous les mathématiques
●Les élèves grands et bruns sont tous des musiciens
●Ceux qui ne portent pas de lunettes sont tous bruns
●Ali est grand et ne porte pas de lunettes
Sachant que Ali est un élève, représenter ce problème dans la logique des propositions
et utiliser la preuve par déduction pour montrer que Ali aime les mathématiques
2. Il s’agit d’un meurtre qui a eu lieu dans un hôtel. Le rapport de l’enquête comprend
les assertions suivantes :