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.
Exemple : F ∧ G ⇒ G ∧ F est un théorème<br />
Montrons que l’on peut dériver le séquent F ∧ G ⇒ G ∧ F à partir des<br />
règles d’inférence précédentes.<br />
Il peut être plus facile de construire la dérivation en remontant (en<br />
chaînage arrière).<br />
⊢ (F ∧ G) ⇒ (G ∧ F )<br />
⇒ i<br />
atherine Dubois, Julien Narboux (Strasbourg) () <strong>Logique</strong> <strong>propositionnelle</strong> <strong>classique</strong> 46 / 60