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 : 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 />
ax<br />
F ∧ G ⊢ F ∧ G<br />
∧ed<br />
F ∧ G ⊢ G<br />
ax<br />
F ∧ G ⊢ F ∧ G<br />
∧eg<br />
F ∧ G ⊢ F<br />
atherine Dubois, Julien Narboux (Strasbourg) () <strong>Logique</strong> <strong>propositionnelle</strong> <strong>classique</strong> 43 / 60