Université de Sousse
Travaux dirigés en Logique Formelle
ESSTHS
2022/2023
LI1
Logique Formelle
TD3 : Logique propositionnelle
Exercice 01 :
Soit l'opérateur '⨀' définissant 𝒑 ⨀ 𝒒 comme étant la formule ayant comme table de vérité la table suivante :
𝒑 𝒒 𝒑⨀𝒒
F F V
F V V
V F V
V V F
1) Montrer que l’ensemble {⨀} est un système complet de connecteurs.
2) Proposer une FNC et une FND de la formule 𝒑 ⨀ 𝒒.
3) Montrer que le connecteur ⨀ est commutatif (c'est-à-dire que 𝒑 ⨀ 𝒒 ≡ 𝒒 ⨀ 𝒑).
4) Le connecteur ⨀ est-il un connecteur associatif ? C'est-à-dire que (𝒑 ⨀ 𝒒) ⨀ 𝒓 ≡ 𝒑 ⨀(𝒒 ⨀ 𝒓) ?
5) Exprimer, en utilisant seulement le connecteur ⨀ les propositions suivantes (sans utiliser le connecteur
de négation ¬).
a) ¬𝑃 e) 𝑃 ⇒ 𝑄
b) 𝑃 f) ⊺ (Vrai)
c) 𝑃 ∧𝑄 g) ⊥ (Faux)
d) 𝑃∨𝑄
Exercice 02 :
Soit trois concurrents qui participent à un concours de pâtisserie. Chaque concurrent a préparé une bonne tarte
parmi ces trois : une tarte aux cerises, une tarte aux noix de pécan et une tarte aux pommes.
- La tarte aux cerises a pris la 3eme place.
- Chiraz préparait une tarte aux noix de pécan.
- Sondes a pris la deuxième place.
- Afifa a fait une tarte aux cerises.
Questions :
1) Formaliser cet énoncé en logique propositionnelle.
2) En se basant sur des notions de la logique des propositions, quelle est le nom de la tarte qui a pris la
première place ? Justifier votre réponse sans utiliser la table de vérité. (Pensez à appliquer l’algorithme de
balayage).
Enseignant : Ala Eddine KHARRAT Page 1/2
TD3 : Logique propositionnelle
Exercice 03 :
Soit 3 sacs (A, B et C) en plastique contenant chacun un fruit, et soit les faits suivants :
- Si le sac A ne contient pas une pomme, le sac B contient une pomme ;
- Si le sac A contient une pomme, le sac C contient une pomme aussi ;
- Si le sac C contient une pomme, le sac B ne contient pas de pomme ;
- Si le sac B contient une pomme, le sac A ne contient pas de pomme ;
Questions :
1) Définir les variables propositionnelles de cet énoncé.
2) Formaliser les faits ci-dessus en logique propositionnelle.
3) Evaluer la combinaison de ces différents faits dans une table de vérité.
4) D’un point de vue logique :
a) Est-il possible qu’on trouve une pomme dans les trois sacs ? Justifier votre réponse.
b) Est-il possible que le sac B soit le seul sac qui contient une pomme ? Justifier votre réponse.
c) Peut-on déduire que le sac A ne contient pas une pomme ? Justifier votre réponse.
d) Peut-on déduire qu’il y a forcément au moins un sac contenant une pomme parmi les trois sacs ?
Justifier votre réponse.
Exercice 04 :
Soit les trois réactions chimiques suivantes :
𝑀2 𝑂 + 𝐻2 ⟶ 𝑀2 + 𝐻2 𝑂
𝐶 + 𝑂2 ⟶ 𝐶𝑂2
𝐶𝑂2 + 𝐻2 𝑂 ⟶ 𝐻2 𝐶𝑂3
Travail demandé :
Montrer qu’à partir des quatre corps chimiques suivants : 𝑴𝟐 𝑶, 𝑯𝟐 , 𝑶𝟐 𝑒𝑡 𝑪 ; et des trois réactions chimiques
précédentes, nous obtenons le corps chimique 𝑯𝟐 𝑪𝑶𝟑 .
« La logique est l'hygiène des mathématiques »
« André Weil »
Enseignant : Ala Eddine KHARRAT Page 2/2
