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.
Correction et complétude<br />
Lien entre sémantique et raisonnement.<br />
Lien entre sémantique et raisonnement.<br />
Théorème d’adéquation/correction<br />
Si ⊢ A alors |= A<br />
Théorème de complétude<br />
Si |= A alors ⊢ A<br />
Théorème de la déduction<br />
A ⊢ B ssi ⊢ A ⇒ B<br />
Catherine Dubois, Julien Narboux (Strasbourg) () <strong>Logique</strong> <strong>propositionnelle</strong> <strong>classique</strong> 58 / 60