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.
Déduction naturelle : les règles élémentaires<br />
(ax)<br />
∆, A ⊢ A<br />
(aff )<br />
∆ ⊢ A<br />
∆, B ⊢ A<br />
Catherine Dubois, Julien Narboux (Strasbourg) () <strong>Logique</strong> <strong>propositionnelle</strong> <strong>classique</strong> 37 / 60