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 : élimination et introduction de ⇒, ∧<br />
(⇒ i )<br />
(⇒ e )<br />
∆, A ⊢ B<br />
∆ ⊢ A ⇒ B<br />
∆ ⊢ A ⇒ B<br />
∆ ⊢ B<br />
∆ ⊢ A<br />
(∧i)<br />
(∧e g )<br />
(∧e d )<br />
∆ ⊢ A ∆ ⊢ B<br />
∆ ⊢ A ∧ B<br />
∆ ⊢ A ∧ B<br />
∆ ⊢ A<br />
∆ ⊢ A ∧ B<br />
∆ ⊢ B<br />
Catherine Dubois, Julien Narboux (Strasbourg) () <strong>Logique</strong> <strong>propositionnelle</strong> <strong>classique</strong> 38 / 60