Université de Carthage

EniCarthage 2018-2019
Série 1
Cours : Logique Propositionnelle
Filière/Classe : 1ère année ING INFO
Sections : A, B, & D

Formules de Bien Formés

Exercice 1

Mme. AMAL Jlassi 1

Université de Carthage
EniCarthage 2018-2019
Parenthèsage

Exercice 2

Formalisation d'un énoncé

Exercice 3

Autour de l’implication
Exercice 4
Trouver des propositions P et Q telles que

1. P⟹Q P⟹Q est vrai et Q⟹P Q⟹P est vrai.

2. P⟹Q P⟹Q est faux et Q⟹P Q⟹P est vrai.
3. P⟹Q P⟹Q est faux et Q⟹P Q⟹P est faux.

Mme. AMAL Jlassi 2

Université de Carthage
EniCarthage 2018-2019

Loi de Morgan
Exercice 5
Soit A, B et C trois propositions.
Démontrer que les propositions A ET (B OU C) A ET (B OU C)
et (A et B) OU (A ET C) (A et B) OU (A ET C) sont équivalentes.

Equivalence
Exercice 6

Parmi toutes les propositions suivantes, regrouper par paquets celles qui sont équivalentes :

1. Tu auras ton examen si tu travailles régulièrement.

2. Pour avoir son examen, il faut travailler régulièrement.
3. Si tu ne travailles pas régulièrement, tu n'auras pas ton examen.
4. Il est nécessaire de travailler régulièrement pour avoir son examen.
5. Pour avoir son examen, il suffit de travailler régulièrement.
6. Ne pas travailler régulièrement entraîne un échec à l'examen.
7. Si tu n'as pas ton examen, c'est que tu n'as pas travaillé régulièrement.
8. Travail régulier implique réussite à l'examen.
9. On ne peut avoir son examen qu'en travaillant régulièrement

Exercice 7

Validité, Consistance et satisfiabilté

Exercice 8

Mme. AMAL Jlassi 3

Université de Carthage
EniCarthage 2018-2019

Exercice 9

Tautologie
Exercice 10

2.

Mme. AMAL Jlassi 4

Université de Carthage
EniCarthage 2018-2019

Exercice 11

Interprétation
Exercice 12

Formalisation
Exercice 13

(1) La musique n’est ni triste ni rythmée.

(2) Il ne baille pas, il est même joyeux.
(3) Quand il écoute de la musique rythmée, il est joyeux et il danse.
(4) Il danse, sauf s’il n’est pas joyeux.
(5) La musique ne le fait pas danser.
(6) S’il danse en baillant, c’est qu’il n’est pas joyeux.
(7) Il écoute de la musique triste sans bailler.
(8) Ou il écoute de la musique et il danse, ou il n’est pas joyeux.
(9) Il ne suffit pas que la musique soit rythmée pour qu’il danse.
(10) Il n’a pas besoin d’écouter de la musique pour danser.

Mme. AMAL Jlassi 5

Université de Carthage
EniCarthage 2018-2019

Exercice 14

Exercice 15

Exercice 16 (Version)
(1) ((¬u ∨ t) → ¬s)
(2) (r ∧ ¬q)
(3) ¬(p → ¬q)
(4) ((r ∨ s) ∧ ¬(r ∧ s))
(5) (r → p)
(6) (s → s)
Exercice 17

Mme. AMAL Jlassi 6