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.
Solution I<br />
¬¬A, ¬A ⊢ ¬¬A ¬¬A, ¬A ⊢ ¬A elim ¬<br />
¬¬A, ¬A ⊢ ⊥ RAA<br />
¬¬A ⊢ A intro ⇒<br />
⊢ ¬¬A ⇒ A<br />
atherine Dubois, Julien Narboux (Strasbourg) () <strong>Logique</strong> <strong>propositionnelle</strong> <strong>classique</strong> 54 / 60