L2 Année 2020-2021

TD Logique 1

Preuve dans tous les modèles (Calcul propositionnel)

1. Ca boucle !
Le programme ne termine pas ou n devient nul. Si n devient nul alors m devient nul. Le programme
termine. Par conséquent m devient nul.

2. Dom Juan

(a) J’aime Pat ou j’aime Quincy. Si j’aime Pat alors j’aime Quincy. Est-ce que j’aime Pat ? Est-ce que
j’aime Quincy ?
(b) Si on me demande : “est-il vrai que si tu aimes Pat alors tu aimes aussi Quincy?” je réponds : “si
c’est vrai alors j’aime Pat”. Est-ce que j’aime Pat ? Est-ce que j’aime Quincy ?
(c) Si on me demande : “est-il vrai que si tu aimes Pat alors tu aimes aussi Quincy?” je réponds : “si
c’est vrai alors j’aime Pat, et si j’aime Pat alors c’est vrai”. Qui j’aime nécessairement ?
(d) J’aime Pat, Ray ou Quincy. Si j’aime Pat alors j’aime Quincy. J’aime à la fois Ray et Quincy ou je
n’aime ni l’une ni l’autre. Si j’aime Ray alors j’aime aussi Pat. Laquelle des trois j’aime ?

3. Propriété de programme
Soit le code java suivant :

if ((x > 9) & (y < 3))

then
if (z!=2) then t = 8; else t = 3;
else {
if (y >= 3) then q = 3;
t = 10;
}

Après exécution de ce code q est différent de 3 et t vaut 10. Montrer que x ≤ 9.

4. Preuve syntaxique par 0-résolution

• Un peu de chimie
On suppose que l’on peut effectuer les réactions chimiques suivantes :
MgO + H2 → Mg + H2O
C + O2 → C02
CO2 + H2O → H2CO3
On suppose que l’on dispose de MgO, H2, O2 et C.
Montrer que l’on peut obtenir du H2CO3.
• Les lasagnes
Les lasagnes ne sont pas cuites ou sont trop salées. Si les lasagnes sont végétariennes ou qu’elles sont
trop salées, les invités sont déçus. Les lasagnes ne sont pas végétariennes et elles sont cuites. Les
invités seront-ils déçus ?

1
 • Implication
Montrer que la formule Φ : (A ⇒ (B ⇒ C)) ⇒ ((A ⇒ B) ⇒ (A ⇒ C)) est universellement valide.
On utilisera successivement une preuve par simplification, une preuve par 0-résolution et une preuve
sémantique

5. Inconsistance
Soit l’ensemble d’axiomes A :
A1 : p
A2 : ¬s ⇒ q
A3 : p ⇒ ((q ∨ r) ∧ ¬(q ∧ r))
A4 : p ⇒ ((s ∨ r) ∧ ¬(s ∧ r))
A5 : q ⇒ ¬s

• A quel opérateur logique correspond (q ∨ r) ∧ ¬(q ∧ r)

• En déduire par raisonnement logique que l’ensemble d’axiomes A est inconsistant
• Montrer par 0-résolution que A est inconsistant