Logique propositionnelle classique - MLO - Ensiie
Logique propositionnelle classique - MLO - Ensiie
Logique propositionnelle classique - MLO - Ensiie
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
Exemple<br />
¬(p ⇒ q ∧ q ⇒ p)<br />
¬((¬p ∨ q) ∧ (¬q ∨ p))<br />
(¬(¬p ∨ q)) ∨ (¬(¬q ∨ p))<br />
(p ∧ ¬q) ∨ (q ∧ ¬p)<br />
(p ∨ (q ∧ ¬p)) ∧ (¬q ∨ (q ∧ ¬p))<br />
(p ∨ (q ∧ ¬p)) ∧ (¬q ∨ (q ∧ ¬p))<br />
((p ∨ q) ∧ (p ∨ ¬p)) ∧ ((¬q ∨ q) ∧ (¬q ∨ ¬p))<br />
(p ∨ q) ∧ (¬q ∨ ¬p)<br />
Catherine Dubois, Julien Narboux (Strasbourg) () <strong>Logique</strong> <strong>propositionnelle</strong> <strong>classique</strong> 25 / 60