Logique propositionnelle classique - MLO - Ensiie
Logique propositionnelle classique - MLO - Ensiie
Logique propositionnelle classique - MLO - Ensiie
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
◮ Exemples de formules en forme normale conjonctive :<br />
(p ∨ ¬q) ∧ (¬r ∨ p), p, p ∧ q<br />
◮ Exemples de formules qui ne sont pas en forme normale :<br />
¬(p ∧ q), p ⇒ q<br />
◮ Théorème<br />
Pour toute formule <strong>propositionnelle</strong>, il existe une formule en FNC<br />
logiquement équivalente<br />
Catherine Dubois, Julien Narboux (Strasbourg) () <strong>Logique</strong> <strong>propositionnelle</strong> <strong>classique</strong> 23 / 60