Scribd
Importer
59 vues2 pages

Programmation Logique TD1: Logique Des Propositions: Exercice 1:traduction

Le document présente un TD sur la logique des propositions, comprenant plusieurs exercices sur la traduction de déclarations, l'évaluation de formules bien formées, la priorité des connecteurs, et la validité des formules. Les exercices incluent des situations pratiques pour modéliser des déclarations et évaluer des formules logiques à l'aide de tables de vérité. L'objectif est de développer des compétences en logique formelle et en raisonnement déductif.

Transféré par

Amel Fath
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
59 vues2 pages

Programmation Logique TD1: Logique Des Propositions: Exercice 1:traduction

Le document présente un TD sur la logique des propositions, comprenant plusieurs exercices sur la traduction de déclarations, l'évaluation de formules bien formées, la priorité des connecteurs, et la validité des formules. Les exercices incluent des situations pratiques pour modéliser des déclarations et évaluer des formules logiques à l'aide de tables de vérité. L'objectif est de développer des compétences en logique formelle et en raisonnement déductif.

Transféré par

Amel Fath
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

Programmation logique

TD1 : Logique des propositions

Enseignante : Ones Sidhom Niveau : 1er prépa TIC

Exercice 1 :Traduction
Jean, Pierre et Serge sont suspectés d’avoir commis un vol. On les interroge : 7
• Pierre déclare : " Jean est coupable et Serge est innocent "
• Serge déclare : " Je suis innocent mais au moins l’un des autres est coupable "
• Jean déclare : " Si Pierre est coupable alors Serge l’est aussi"

1. Quelles variables propositionnelles doit on introduire pour modéliser ces


déclarations.
2. Modéliser les déclarations.
Exercice 2 : Formule Bien Formée
Soit les deux expressions suivantes:
A=p v q et B=p¬ ∧ q
1. A est-elle une formule bien formée ?
2. B est-elle une formule bien formée ?
3. A ∧ B est-elle une formule bien formée?
4. A v B est-elle une formule bien formée?
Exercice 3 : Priorité des connecteurs
Explicitez les parenthèses des formules suivantes :
1. a → b ⇐⇒ c
2. a v b ∧ c
3. a v b ∧ c ⇐⇒ d → ¬e v f ∧ g
Exercice 4: Modèle d’une formule
Soit A = {p1, p2, p3, q1, q2, q3} et I une interprétation telle que :
I(p1) = I(q1) = 1
Et I(p2) = I(q2) = I(p3) = I(q3) =0
Préciser si I est un modèle ou non pour les formules suivantes :

1
1. (p1v p2) → q1
2. (p2 ⇐⇒ q2) ∧ ( q2⇐⇒ p1)
3. ((q1→ q3) v ¬ (p1∧ (p3v q1))) → (( p1v q2))
Exercice 5 : validité et consistance
Evaluer les formules suivantes et déterminer si elles sont valides, insatisfaisables ou
contingentes :
1. FALSE → q
2. (p v ¬p ) → ¬p
3. ( p → FALSE ) → ¬p
4. ( p ⇐⇒ q ) ∧ ( q ⇐⇒ p)
Exercice 6 : Modèle d’un ensemble de formules (déduction à l’aide de la méthode
des tables de vérité)
Deux amis sont en conversation :
Ali : Alor, t’es-tu vraiment décidé entre le football et le handball ?
Béchir : Je vais te dire deux choses. D’abord, j’aime football ou handball, et ensuite, si
j’aime football alors c’est plus fort que moi, j’aime aussi handball.
Ali: Peux-tu me jurer que si tu aimes football alors tu aimes aussi handball ?
Béchir : Tout ce que je peux t’affirmer, c’est que si c’est vrai alors j’aime football et que
si c’est faux alors je ne l’aime pas.
De qui Béchir est-il réellement passionné ?
Indications : Pour pouvoir répondre à cette question, il faut :
1. Représenter chaque réponse de Béchir par une formule logique, en utilisant les
deux variables propositionnelles suivantes:
p : « Béchir aime football»
q : « Béchir aime handball»
2. Déterminer par la méthode des tables de vérité quelle interprétation peut satisfaire
les deux formules.

Vous aimerez peut-être aussi