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.
Solution II<br />
¬(A ∨ ¬A) ⊢ ¬(A ∨ ¬A)<br />
¬(A ∨ ¬A), A ⊢ A<br />
intro ∨g<br />
¬(A ∨ ¬A), A ⊢ A ∨ ¬A<br />
¬(A ∨ ¬A), A ⊢ ¬(A ∨ ¬A)<br />
¬(A ∨ ¬A), A ⊢ ⊥<br />
intro ⊥<br />
¬(A ∨ ¬A) ⊢ ¬A<br />
intro ∨d<br />
¬(A ∨ ¬A) ⊢ A ∨ ¬A<br />
¬(A ∨ ¬A) ⊢ ⊥<br />
RAA<br />
⊢ A ∨ ¬A<br />
elim ⊥<br />
Catherine Dubois, Julien Narboux (Strasbourg) () <strong>Logique</strong> <strong>propositionnelle</strong> <strong>classique</strong> 55 / 60