Logique propositionnelle classique - MLO - Ensiie

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