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.
Un petit problème : modélisation<br />
Soit m la proposition ’J’aime Marie’. Soit j la proposition ’j’aime Jeanne’.<br />
La première proposition s’écrit m ∨ j. La seconde s’écrit m ⇒ j.<br />
On veut montrer que j est conséquence logique de m ∨ j et m ⇒ j, i.e.<br />
m ∨ j, m ⇒ j |= j<br />
On s’intéresse aux interprétations où les deux propositions sont vraies.<br />
Deux interprétations sont possibles :<br />
et<br />
I 0 (m) = I 0 (j) = 1<br />
I 1 (m) = 0, I 1 (j) = 1<br />
Dans les deux cas, la valeur de vérité de j est 1.<br />
atherine Dubois, Julien Narboux (Strasbourg) () <strong>Logique</strong> <strong>propositionnelle</strong> <strong>classique</strong> 14 / 60