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.
Exemple : manipuler les hypothèses<br />
Pour casser un ∧ dans une hypothèse<br />
H, A, B ⊢ C<br />
Démonstration : au tableau.<br />
H, A ∧ B ⊢ C<br />
atherine Dubois, Julien Narboux (Strasbourg) () <strong>Logique</strong> <strong>propositionnelle</strong> <strong>classique</strong> 52 / 60