2024 LogiqueProp B1 - ECE Ing

Semestre 2 N.
NADEAU Avril 2024

MATHÉMATIQUES – B1
LA LOGIQUE PROPOSITIONNELLE
Exercices supplémentaires
EXERCICE 1 Existe-t-il une relation équivalente (ou tautologie) entre

1. (𝑃⋀(𝑃 ⟹ 𝑄)) et (𝑃⋀𝑄)
2. ((𝑃⋁𝑄) ⟹ 𝑅) et ((𝑃 ⟹ 𝑅)⋀(𝑄 ⟹ 𝑅))
3. ((𝑃⋀𝑄) ⟹ 𝑅) et ((𝑃 ⟹ 𝑅)⋀(𝑄 ⟹ 𝑅))
4. ((𝑃 ⟹ (𝑄 ⟹ 𝑅))) et ((𝑃⋀𝑄) ⟹ 𝑅)
EXERCICE 2 La formule ((𝑃 ⟹ (𝑄 ⟹ 𝑅))) ⟹ (𝑅⋁¬𝑃) est-elle valide (i.e. une tautologie),
satisfiable (ou vraie sous certaines conditions) ou insatisfiable (ou anti-tautologique ou encore jamais
vraie) ?
EXERCICE 3 Représenter dans le formalisme de la logique des propositions (i.e. en utilisant des
connecteurs), les très connus théorèmes de géométrie qui suivent :
(i) Si un triangle est équilatéral [𝑇é𝑞𝑢𝑖], il est isocèle [𝑇𝑖𝑠𝑜].
(ii) Un triangle rectangle [𝑇𝑟𝑒𝑐]n’est jamais équilatéral.
(iii) Un carré [𝐶𝑎𝑟𝑟] est à la fois un parallélogramme [𝑃𝑔𝑟𝑎𝑚]et un rectangle [𝑅𝑒𝑐𝑡].
(iv) Un losange [𝐿𝑜𝑠]n’est ni un quadrilatère rectangle [𝑄𝑟𝑒𝑐𝑡], ni un triangle [𝑇𝑟𝑖].
EXERCICE 4 Représenter dans le formalisme de la logique des propositions (i.e. en utilisant des
connecteurs), les énoncés suivants :
(i) S’il pleut [P] et que le soleil brille [S] en même temps, alors il y a un arc-en-ciel [A].
(ii) Si le vent d’ouest [O] amène la pluie, on n’a jamais vu qu’un vent d’est [E] soit porteur de
pluie.
(iii) La bruine [B] est une forme de pluie.
EXERCIE 5 Trois étudiants déjeunent ensemble les jours où ils ont cours. Les affirmations suivantes
sont vraies :
(i) Si Paolo prend un café, Quito aussi.
(ii) Chaque déjeuner, soit Quito, soit Ronaldo, mais pas les deux, prennent un café.
(iii) Paolo ou Ronaldo, prennent chaque jour un café.
(iv) Si Ronaldo prend un café, Paolo fait de même.
Question 1 Traduire ces affirmations avec des formules propositionnelles.
1
Question 2 Avec une table de vérité, déduire qui prend un café.

Page
Exercices – logique propositionnelle

Semestre 2 N. NADEAU Avril 2024
MATHÉMATIQUES – B1
EXERCICE 6 [Le connecteur de Sheffer]
Le connecteur de Sheffer est noté avec une barre verticale « | », dite barre de Sheffer ou NAND, soit
« Non ET ». Par définition, (𝑃|𝑄) = ¬(𝑃⋀𝑄)
1. Donner la table de vérité de (𝑃|𝑄)
2. Donner la table de vérité de ((𝑃|𝑄)|(𝑃|𝑄))
3. En n’utilisant que la barre de Sheffer, quitte à l’utiliser plusieurs fois,
3.1. Donner la table de vérité de 𝑃|𝑃. En déduire que le connecteur ¬ peut être défini avec
uniquement la barre de Sheffer.
3.2. Trouver une formule équivalente à (𝑃⋁𝑄)
3.3. Écrire une formule équivalente à (𝑃 ⟹ 𝑄)
EXERCICE 7 Dans un jeu, l’objectif est de trouver une clef contenue dans une boîte. Mais laquelle ?
Il est établi que Tauto s’exprime avec des affirmations logiques toujours vraies, et il dit : « L’une des
boîtes contient une clef qui permettra d’ouvrir la porte. Mais attention, les autres boîtes peuvent contenir
un animal venimeux dont la morsure est fatale.»
Trois boîtes sont placées sur une table. La première est rouge, la seconde est jaune et la dernière, bleue.
Sur chaque boîte est collé un message :
▪ Boîte rouge : la boîte jaune contient un animal venimeux ; la bleue n’en contient pas
▪ Boîte jaune : si la boîte rouge contient un animal venimeux, alors la bleue aussi
▪ Boîte bleue : je ne contiens pas d’animal venimeux, mais au moins l’une des deux boîtes, oui.
Notations :
• 𝑅, 𝐽 et 𝐵 les variables propositionnelles correspondant au fait que les boîtes rouge, jaune et bleue
contiennent un animal venimeux
• 𝐼𝑅 , 𝐼𝐽 et 𝐼𝐵 les propositions correspondant aux inscriptions sur les boîtes.
En utilisant une table de vérité, répondre aux questions qui suivent :

1. Exprimer les formules 𝐼𝑅 , 𝐼𝐽 et 𝐼𝐵 avec des formules qui dépendent de 𝑅, 𝐽 et 𝐵.
2. Les inscriptions sur les trois boîtes sont-elles compatibles ?
3. Dans le cas où aucune boîte ne contiendrait d’animal venimeux, est-ce qu’une ou plusieurs
inscriptions seraient fausses ?
4. Si les trois inscriptions sont vraies, est-ce qu’un ou plusieurs boîtes contiennent un animal
venimeux ?
5. Si seules les boîtes qui ne contiennent pas un animal venimeux ont une inscription vraie, est-ce
qu’une ou plusieurs boîtes ne contiennent pas un animal venimeux ?
2
Page
Exercices – logique propositionnelle

2024 LogiqueProp B1 - ECE Ing

Transféré par

Droits d'auteur :

Formats disponibles

2024 LogiqueProp B1 - ECE Ing

Transféré par

Informations du document

Titre original

Copyright

Formats disponibles

Partager ce document

Partager ou intégrer le document

Options de partage

Avez-vous trouvé ce document utile ?

Ce contenu est-il inapproprié ?

Droits d'auteur :

Formats disponibles

2024 LogiqueProp B1 - ECE Ing

Transféré par

Droits d'auteur :

Formats disponibles

Semestre 2 N.

NADEAU Avril 2024

EXERCICE 1 Existe-t-il une relation équivalente (ou tautologie) entre

4. ((𝑃 ⟹ (𝑄 ⟹ 𝑅))) et ((𝑃⋀𝑄) ⟹ 𝑅)

Question 2 Avec une table de vérité, déduire qui prend un café.

Exercices – logique propositionnelle

En utilisant une table de vérité, répondre aux questions qui suivent :

Exercices – logique propositionnelle

Vous aimerez peut-être aussi