LOGIQUE ET RAISONNEMENT IAS-B1JV

Série d’exercices

Exercice 1 :

Construire les tables de vérité des formules propositionnelles suivantes :

1. (P ∨Q)∨(¬ R)
2. (¬ P) ⇒((¬Q)∨ R)
3. ( P ⇒(¬ Q)) ∨(Q ⇒ R)
4. ( P ⇒(¬ R))∨(Q ∧(¬ R))
5. (P ⇒ Q)⇒ ((Q ⇒ R) ⇒(P ⇒ R))

Exercice 2 :

1. Construire les tables de vérité des formules propositionnelles suivantes :

a. P ∧Q ⇒ ¬Q
b. (P ⇒ Q)∨(Q ⇒ P)
c. (P ⇒¬Q)∨(Q ⇒ ¬ P)
d. (P ∨¬Q) ∧(¬ P∨ Q)
e. P ⇒(¬ P⇒ P)
2. En utilisant les équivalences logiques dites si c’est une tautologie ou non.

Exercice 3 : Ecrire avec des quantificateurs les propositions suivantes :

1. f est majorée ;
2. f est paire ;
3. f est croissante ;
4. f n’est pas la fonction nulle ;
5. f n’a jamais les mêmes valeurs en deux points distincts ;
6. f est minorée ;
7. f est impaire ;
8. f est strictement décroissante ;
9. f ne s’annule jamais ;
10. f atteint toutes les valeurs de N;

Exprimer la négation de ces propositions.

Exercice 4 : En notant M et C les affirmations suivantes :

– M = « Jean est fort en Maths »,

1
 LOGIQUE ET RAISONNEMENT IAS-B1JV

– C = « Jean est fort en Chimie »,

Représenter les affirmations qui suivent sous forme symbolique, à l’aide des lettres M et C et des
connecteurs usuels.

1. « Jean est fort en Maths mais faible en Chimie »

2. « Jean n’est fort ni en Maths ni en Chimie »

3. « Jean est fort en Maths ou il est à la fois fort en Chimie et faible en Maths »

4. « Jean est fort en Maths s’il est fort en Chimie »

5. « Jean est fort en Chimie et en Maths ou il est fort en Chimie et faible en Maths »

Exercice 5 :

En notant P, Q et R les trois affirmations suivantes :

P= « Pierre fait des maths »

Q= « Pierre fait de la Chimie »

R= « Pierre fait de l’Anglais »

Représenter les affirmations qui suivent sous forme symbolique, à l’aide des lettres P, Q , R et
les connecteurs usuels

1. « Pierre fait des maths et de l’Anglais mais pas de Chimie »

2. « Pierre fait des Maths et de la Chimie mais pas à la fois de la chimie et de l’Anglais »
3. « Il est faux que Pierre fasse de l’Anglais sans faire de Maths »
4. « Il est faux que Pierre ne fasse pas des Maths et fasse quand même de la chimie »
5. « Il est faux que Pierre fasse de l’Anglais ou de la chimie sans faire des Maths »
6. « Pierre ne fait ni Anglais ni chimie mais il fait des Maths »

Exercice 6 :

1. Mettez-en FNC puis en FND la formule suivante :

( P →Q)∧(Q → R)→ P → R
2. Cette formule est-elle une tautologie ou antilogie ? Justifier en utilisant la table de vérité
( ( P →Q ) ∧ ( Q → R ))→(P → R)

Exercice 7 :

2
 LOGIQUE ET RAISONNEMENT IAS-B1JV

1. Montrez que ￢( p ∨(￢ p ∧q)) et ￢ p ∧￢ q sont logiquement équivalentes en

utilisant 2 méthodes.

Exercice 8 :

Traduire ces affirmations en langage naturel, avec C(x) est “x est un comédian ” et F(x) est “x
est drôle” et le domaine se compose de toutes les personnes.

a) ∀x(C(x) → F(x))

b) ∀x(C(x) ∧ F(x))

c) ∃x(C(x) → F(x))

d) ∃x(C(x) ∧ F(x))

Exercice 9 :

Traduisez chacune de ces déclarations en expressions logiques de trois manières différentes

en faisant varier le domaine et en utilisant des prédicats à une et à deux variables.

Avec :
1ère méthode : On utilise des prédicats à une variable avec comme domaine les élèves de votre
classe.
2ème méthode : On utilise des prédicats à une variable avec comme domaine tout le monde.
3ème méthode : On utilise des prédicats à deux variables avec comme domaine les élèves de
votre classe.
a) Un élève de votre école a vécu au Vietnam.
b) Il y a un élève dans votre école qui ne parle pas hindi.
c) Un élève de votre école connaît Java, Prolog et C++.
d) Tout le monde dans votre classe aime la cuisine thaïlandaise.
e) Quelqu'un de ta classe ne joue pas au hockey.

Exercice 10.

Soit Q(x , y ) représente le prédicat « x a envoyé un e-mail à y », où le domaine pour x et y
comprend tous les élèves de votre classe. Exprimez chacune de ces formules logiques en
langage naturel.

a) ∃ x ∃ yQ( x , y)
b) ∃ x ∀ yQ (x , y )

3
 LOGIQUE ET RAISONNEMENT IAS-B1JV

c) ∀ x ∃ yQ (x , y )
d) ∃ y ∀ xQ(x , y )
e) ∀ y ∃ xQ(x , y )
f) ∀ x ∀ yQ( x , y )

Exercice 11 :

Traduire les phrases suivantes en logique des prédicats, en préservant autant de structure que
possible, et en donnant chaque fois la légende.

(a) Marc est plus fort que David.

(b) Paul a vu Léa et elle ne l’a pas vu.
(c) Charles est laid, mais pas Marie.
(d) Hugues est ennuyeux ou agaçant.
(e) Si Jean est un homme, alors il est mortel.