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.
Le calcul des propositions (aussi appelé logique <strong>propositionnelle</strong>, ou bien<br />
CP0) est une des logiques les plus simples, elle ne comporte que des<br />
variables et des connecteurs logiques.<br />
Catherine Dubois, Julien Narboux (Strasbourg) () <strong>Logique</strong> <strong>propositionnelle</strong> <strong>classique</strong> 2 / 60