Scribd
Importer
148 vues2 pages

DS Logique Formelle: Exercice 1

Le document présente des exercices sur la logique formelle, incluant l'évaluation de formules à l'aide de tables de vérité pour déterminer leur nature (tautologies, contradictions, etc.). Il demande également de traduire des formules logiques en langage naturel et d'analyser des situations basées sur des propositions logiques liées à la pluie et l'utilisation de parapluies par Abel et Béatrice. Enfin, il explore les implications logiques des affirmations concernant les comportements des personnages en fonction des conditions météorologiques.

Transféré par

benrejebnessrine
Copyright
© © All Rights Reserved
Nous prenons très au sérieux les droits relatifs au contenu. Si vous pensez qu’il s’agit de votre contenu, signalez une atteinte au droit d’auteur ici.
Formats disponibles
Téléchargez aux formats PDF, TXT ou lisez en ligne sur Scribd
148 vues2 pages

DS Logique Formelle: Exercice 1

Le document présente des exercices sur la logique formelle, incluant l'évaluation de formules à l'aide de tables de vérité pour déterminer leur nature (tautologies, contradictions, etc.). Il demande également de traduire des formules logiques en langage naturel et d'analyser des situations basées sur des propositions logiques liées à la pluie et l'utilisation de parapluies par Abel et Béatrice. Enfin, il explore les implications logiques des affirmations concernant les comportements des personnages en fonction des conditions météorologiques.

Transféré par

benrejebnessrine
Copyright
© © All Rights Reserved
Nous prenons très au sérieux les droits relatifs au contenu. Si vous pensez qu’il s’agit de votre contenu, signalez une atteinte au droit d’auteur ici.
Formats disponibles
Téléchargez aux formats PDF, TXT ou lisez en ligne sur Scribd

DS

Logique formelle

EXERCICE 1.
Evaluer les formules suivantes en utilisant les tables de vérités. Indiquez alors lesquelles
parmi ces formules sont satisfaisables, réfutables, lesquelles sont des tautologies, des
contradictions.
 (p⇒ q) ∨ (q⇒ p)
 (p ⇔ q) ∧ (p ⇔ ¬q)
EXERCICCE 2.
A l’aide de la méthode des tables de vérité, dites si les formules suivantes sont des
tautologies.

 p ∨ ¬p (principe du tiers exclu)


 ¬(p ∧ ¬p) (principe de non-contradiction)
 (p ∨ q) ⇒ (q ∨ p) (commutativité de ∨)
 p → (q → p) (le vrai est impliqué par tout)
 ¬p ⇒(p ⇒q) (le faux implique tout)
 (¬p ⇒p) ⇒ p (preuve par l’absurde)
 ((¬p ⇒ q) ∧ (¬p⇒ ¬q)) ⇒ p (preuve par l’absurde)
 ((p ⇒q) ∧ (q ⇒ r) ⇒(p ⇒r) (transitivité de →)
EXERCICCE 3.
En interprétant p par "je pars", q par "tu restes" et r par "il n’y a personne", traduisez les
formules logiques suivantes en phrases du langage naturel :

 (p ∧ ¬q ) ⇒ r
 (¬p ∨ ¬q) ⇒ ¬r
EXERCICCE 4.
Evaluer les formules suivantes en considérant uniquement les valeurs des variables données:

 q ⇒ (p ⇒ r), avec q = F
 p ∧ (p ∨ q), avec q = V
 p ∨(q ⇒ r), avec q = F
EXERCICCE 5.
S'il pleut, Abel prend un parapluie. Béatrice ne prend jamais de parapluie s'il ne pleut pas et
en prend toujours un quand il pleut".
Que peut-on déduire de ces affirmations dans les différentes situations ci-dessous ? Justifier
soigneusement vos réponses en introduisant 3 propositions logiques p, q et r.

1. Abel se promène avec un parapluie.


2. Abel se promène sans parapluie.
3. Béatrice se promène avec un parapluie.
4. Béatrice se promène sans parapluie.
5. Il ne pleut pas.
6. Il pleut.

Vous aimerez peut-être aussi