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.
Encore un autre exemple : démontrons que (F ⇒ G) ⇒ F ⇒ G est un<br />
théorème.<br />
ax<br />
(F ⇒ G) ⊢ F ⇒ G<br />
⇒i<br />
⊢ (F ⇒ G) ⇒ (F ⇒ G)<br />
ou encore<br />
ax<br />
F ⇒ G, F ⊢ F ⇒ G<br />
ax<br />
F ⇒ G, F ⊢ F<br />
⇒e<br />
(F ⇒ G), F ⊢ G<br />
(F ⇒ G) ⊢ F ⇒ G<br />
⊢ (F ⇒ G) ⇒ (F ⇒ G)<br />
⇒ i<br />
⇒ i<br />
Catherine Dubois, Julien Narboux (Strasbourg) () <strong>Logique</strong> <strong>propositionnelle</strong> <strong>classique</strong> 47 / 60