Ld 1MR

Corrigé : Introduction à la logique

Exercice 1 Formuler la négation des propositions suivantes :

a) Ce verre est à moitié vide

b) Celui qui n’a pas de chance est malheureux

Solution

a) Ce verre n’est pas à moitié vide

b) On peut ne pas avoir de chance et être heureux

Exercice 2 Ecrire la contraposition des implications suivantes :

a) S’il gagne son pari, je mange mon chapeau

b) Si tu es logicien dans l’âme, cet exercice n’est pas difficile pour toi

Solution

a) Si je ne mange pas mon chapeau, c’est qu’il aura perdu son pari

b) Si cet exercice est difficile pour toi, c’est que tu n’es pas logicien dans l’âme.
Corrigé : Introduction à la logique Ld 2

Exercice 3
Soient les propositions :
Q : On est naïf R : On est riche S : On est intelligent
T : On est heureux U : On a de la chance

Décrire les propositions suivantes à l’aide de Q, R, S, T et U et des opérateurs logiques :

A : L’argent ne fait pas le bonheur

B : On n’est pas nécessairement intelligent quand on est riche
C : La chance sourit au malheureux
D : On est naïf et stupide si et seulement si on est malheureux quand on est riche
E : Quand on est riche et stupide, on a de la chance ou on est malheureux

Formuler en français les formules suivantes :

K : (nonR ou R) ⇒ (nonQ ⇒ S)
L : (nonS et R) ⇔ U
M : non(nonQ) ⇒ T
N : (nonQ et R) ou nonT
O : R ⇒ (S ou T)

Solution

A : non (R ⇒ T)

B : non (R ⇒ S)

C : nonT ⇒ U

D : (Q et nonS) ⇔ (R ⇒ nonT)

E : (R et nonS) ⇒ (U ou nonT)

K : Que l’on soit riche ou pauvre, si on n’est pas naïf, on est intelligent

L : On peut être stupide et riche si et seulement si on a de la chance

M : Si on est naïf, on est heureux

N : Ou on n’est pas naïf et riche, ou on est malheureux

O : Si on est riche, alors on est intelligent ou heureux

Corrigé : Introduction à la logique Ld 3

Exercice 4
En construisant un tableau de vérité, vérifier si l’équivalence est correcte :
P ⇒ (nonQ ou nonR) est équivalent à (Q ⇒ nonP) ou (R ⇒ nonP)

Solution

P Q R nonQ ou nonR P⇒(nonP ou nonR) Q ⇒ nonP R ⇒ nonP (Q ⇒ nonP) ou (R ⇒ nonP)

V V V F F F F F
V V F V V F V V
V F V V V V F V
V F F V V V V V
F V V F V V V V
F V F V V V V V
F F V V V V V V
F F F V V V V V

L’équivalence est vraie

Corrigé : Introduction à la logique Ld 4

Exercice 5
Il y a eu probablement tricherie lors du test de logique et le prof suspecte Albert, Bernard et
Caroline. Il sait que :
R : Si Caroline n’est pas coupable, alors Bernard l’est.
S : Si Albert n’est pas coupable, alors Caroline l’est.
T : Si Caroline est coupable alors Albert l’est aussi.
U : Si Albert est coupable alors Bernard ne l’est pas.
Qui a triché ? Expliquez votre raisonnement.

Solution

A triche B triche C triche Prop. non respectée

V V V U
V V F U
V F V
V F F R
F V V T
F V F S
F F V T
F F F R et S

Albert et Caroline ont triché, mais pas Bernard.

Exercice 6
Démontrer par récurrence que la somme des n premiers nombres impairs est égale à n2

Solution
Appelons Sn , la somme des n premiers nombres impairs.
Montrons que la formule est vrai pour n = 1

1 étant le premier nombre impair, on a bien S1 = 1 = 12

Supposons la formule vrai pour n et montrons qu’elle est encore vraie pour n + 1 :
Sn+1 = 1 + 3 + ... + 2n − 1 + 2n + 1 = Sn + 2n + 1 = n2 + 2n + 1 = (n + 1)2 ce qu’il fallait
démontrer.