[LOGIQUE FORMELLE SI: G1-->G4] 2021/2022

TD N° 1

Exercice 1 :

Soient les énoncés suivants :

1) Essayer de différencier entre les formules atomiques et celles composées

– «le tableau est propre»

– «j’ai écrit sur le tableau»
– «personne ne vient d’effacer le tableau»
– «le tableau n’est pas propre et je n’ai pas écrit sur le tableau»
– «si le tableau est propre, alors je n’ai pas écrit sur le tableau»
– «si le tableau n’est pas propre, alors personne ne vient de l’effacer».

2) Ecrire formellement ses énoncés

Exercice 2 :

Soient (P), (Q) et (R) trois propositions, donner la négation de chacune des formules
suivantes et dresser les tables de vérité tout en respectant la priorité des connecteurs.

a) (P ∧ (¬Q ∨ R))
b) ((P ∨ ¬Q) ⇔P)
c) (P∨Q ⇒ ¬R)

Exercice 3 :
Soient les énoncés composés suivants, donnez leur traduction.
n>3
n | 12
¬(n < 5)
(n < 5) ∧ (2 | n)
(2 | n) ∨ (3| n)

Exercice 4 :
Parmi les assertions suivantes, lesquelles sont vraies, lesquelles sont fausses et pourquoi ?
1. Si Napoléon était chinois alors 3 − 2 = 2.
2. Soit Cléopâtre était chinoise, soit les grenouilles aboient.
3. Soit les roses sont des animaux, soit les chiens ont 4 pattes.
4. Si l’homme est un quadrupède, alors il parle.
5. Les roses ne sont ni des animaux, ni des fleurs.
6. Paris est en France ou Madrid est en chine.
7. Les poiriers ne donnent pas de melons, et Cléopâtre n’est pas chinoise.

Exercice 5 :

Soient les assertions suivantes :

 [LOGIQUE FORMELLE SI: G1-->G4] 2021/2022

Le cours a lieu si le professeur est arrivé.

Je cours beaucoup donc je suis fatigué
Si l’accusé est coupable il n’a pas d’alibi.
Pour que les étudiants réussissent, il faut qu’ils étudient.

1) Traduisez en propositions et implications ces assertions. Dans chaque cas, donnez

aussi la contraposé.
2) Dans les deux derniers cas, faites le tableau de vérité et interpréter tous les cas.