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.
Solutions<br />
A ∨ B ⊢ A ∨ B<br />
A ∨ B, A ⊢ A<br />
A ∨ B, B ⊢ B<br />
Intro ∨<br />
A ∨ B, A ⊢ B ∨ A<br />
d<br />
Intro ∨ g<br />
A ∨ B, B ⊢ B ∨ A Elim ∨<br />
A ∨ B ⊢ B ∨ A<br />
Intro ⇒<br />
⊢ A ∨ B ⇒ B ∨ A<br />
A, ¬A ⊢ A A, ¬A ⊢ ¬A Elim ¬<br />
A, ¬A ⊢ ⊥ Intro ¬<br />
A ⊢ ¬¬A<br />
Intro ⇒<br />
⊢ A ⇒ ¬¬A<br />
Catherine Dubois, Julien Narboux (Strasbourg) () <strong>Logique</strong> <strong>propositionnelle</strong> <strong>classique</strong> 49 / 60