Logique propositionnelle

Exo1 :
𝛼 est la formule : (𝐵 ∧ 𝐶) → (𝐴 ↔ (¬𝐵 ∨ 𝐶)) dans laquelle 𝐴, 𝐵 𝑒𝑡 𝐶 sont des variables
propositionnelles.

1. Trouvez une formule logiquement équivalente à 𝛼 en utilisant uniquement les

connecteurs ¬, → 𝑒𝑡 ↔ (utiliser le théorème de remplacement)
2. Montrez que les formules (𝐶 → (𝐵 → (𝐴 ↔ (𝐵 → 𝐶)))) et (𝐶 → (𝐵 → 𝐴)) sont
logiquement équivalentes.
3. Montrer que la formule 𝛽: (¬𝑃 → ¬𝑄) → ((¬𝑃 → 𝑄) → 𝑃) est tautologie.
4. Déduire que 𝛽 ′ : (¬𝛼 → ¬𝛽) → ((¬𝛼 → 𝛽) → 𝛼) est toujours tautologie quel que soit
𝛼 𝑒𝑡 𝛽.

Exo2 :

𝛽 et 𝛿 deux formules définies respectivement par 𝑃 → (¬𝑄 → 𝑃) et ¬𝑃 → 𝑄

1. Tracer la Table de vérité de 𝛽 et 𝛿

2. Donner une formule 𝛾1 tel que : 𝛽 → 𝛿 ∨ 𝛾1 est non satisfiable
3. Déduire de la question précédente une formule 𝛾2 tel que : 𝛽 → 𝛿 ∨ 𝛾2 est
tautologie.
4. Donner 𝛾3 tel que : 𝑃 → (¬𝑄 → 𝑃), ¬𝑃 → 𝑄 ⊨ 𝛾3

Exo3

Un informaticien signale que sa boite d’informatique était cambriolée à la police scientifique.

La police scientifique a fait une enquête pour connaitre le coupable. Ils ont établis les
propositions suivantes :
a) Il y a trois suspects : a, b, c chacun est entrée dans la boite le jour du vol, et personne
d’autre ne peut être coupable.
b) Si a est coupable alors il y a un seul coupable.
c) Si b est innocent, alors c l’est aussi.
d) S’il y a exactement deux coupables, alors a est l’un parmi eux.
e) Si c est innocent, alors b l’est aussi.
Représenter le problème par un ensemble des formules et trouver l’accusé.