Scribd
Importer
226 vues2 pages

RCR TD1

Ce document contient plusieurs exercices sur la logique des propositions. Les exercices portent sur la transformation d'énoncés en langage formel, l'interprétation d'atomes, et l'analyse de formules logiques à l'aide de tables de vérité. Le document présente également des démonstrations logiques.

Transféré par

Hadj Ben Aichouche Maroua C1 B1
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 DOCX, PDF, TXT ou lisez en ligne sur Scribd
226 vues2 pages

RCR TD1

Ce document contient plusieurs exercices sur la logique des propositions. Les exercices portent sur la transformation d'énoncés en langage formel, l'interprétation d'atomes, et l'analyse de formules logiques à l'aide de tables de vérité. Le document présente également des démonstrations logiques.

Transféré par

Hadj Ben Aichouche Maroua C1 B1
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 DOCX, PDF, TXT ou lisez en ligne sur Scribd

Ecole Nationale Polytechnique d’Oran

Module représentation des connaissances et raisonnement

Première fiche de TD sur la logique des propositions

Exercice 01 :

On considère les propositions suivantes :


a) B (B R) b) c) (B v R)
d) (B R) C e) ((B R) C) P f) P ( B C )
Quelles sont les propositions dans lesquelles les parenthèses sont inutiles ?

Exercice 02 :
En utilisant les atomes S (le soleil brille), P (il pleut), B (il bruine), A (il y a un arc en
ciel), O (il a un vent d'Ouest), E(il y a du vent d'Est) Traduire dans la logique des
propositions les énoncés suivants :
1) S’il pleut et que le soleil brille en même temps alors il y a un arc en ciel
2) Si le vent d’ouest amène la pluie, on n’a jamais vu qu’un vent d’est soit porteur de
pluie.
3) La bruine est une forme de pluie.

Exercice 03 :

Donnez les interprétations des atomes P, Q et R (par exemple P = Vrai ; Q = Faux ; R


= Faux) qui rendent fausses les formules suivantes :
1) R P ( Q (R P))
2) [ Q (R P) ] R P

Exercice 04 :

1) Précisez, en utilisant la méthode des tables de vérité, si les formules suivantes sont
des tautologies, des contradictions, ou des propositions simplement satisfaisables.
a ) ( PQ) (P Q) b ) P (P Q)
c ) P (P Q)
d) (P Q) (Q P)
e) (P Q) (Q R) (P R)
2) Quelle remarque peut-on faire au sujet du résultat d ?

Exercice 05 :

Monsieur Truisme nous fait les deux affirmations suivantes :


(1) Si cet objet est rare, alors il est cher
1
(2) De plus, si cet objet est cher, alors il n’est pas rare
A premier vue ces deux affirmations semblent contradictoires. Montrez, à l’aide de la
méthode des tables de vérité, que cet ensemble de propositions est satisfaisable. C’est
à dire que Monsieur Truisme n’a pas forcement toujours tort...
Exercice 06 :

1) Démontrer que la formule suivante est universellement valide ou une


contradiction:
( A → B ) ∧ ( non A → B ∨C ) ∧ ( nonC →non B ) ∧((B ∧ C)→ non A )
2) Démontrer la déduction suivante :
A ∨ B ∨non D , nonA ∨C ∨ non D , non B , D ⊢C

Vous aimerez peut-être aussi