Vous êtes sur la page 1sur 84

C O R R I G S T IRCE E S DC EHXAEPRI C

Corrig 1 : Dduction Corrig 2 : Argumentation

3 81

C O R R I G

1
Dduction

Corrigs dexercices

Logique des propositions


1. 2. 3.
Rponses correctes : a, b, c, d, e, i. Les afrmations f, g et h sont fausses. Rponses correctes : b, c, d, e. Les expressions a, f et g ne sont pas des propositions. a) Le travail est une condition ncessaire pour la russite. b) Le travail est une condition sufsante pour la russite. c) Le travail nest pas une condition ncessaire pour la russite. d) Le travail nest pas une condition sufsante pour la russite. e) tre aimable est une condition ncessaire pour tre aim. f) tre aim est une condition ncessaire pour tre aimable. g) tre aimable nest pas une condition sufsante pour tre aim. h) tre aimable nest pas une condition ncessaire pour tre aim. Ou : tre aim nest pas une condition sufsante pour tre aimable. i) j) Quon exerce sur nous une contrainte est une condition ncessaire pour que sortions dici. Avoir lesprit bien prpar est une condition ncessaire pour avoir de la chance.

4.
p q p?q V V V V vrai quels que soient p et q pq V V V F p ou q p?q V V F V p?q V V F F pq V F V V si p alors q p?q V F V F pq V F F V pq V F F F p et q

V V V F F F V F

p si q (si q p quel que alors p) soit q

q quel que p si et soit p seulement si q

pq F V V V pas la fois p et q

pW q F V V F

p?q F V F V

p?q F V F F

p?q F F V V

p?q F F V F

pq F F F V ni p ni q

p?q F F F F faux quels que soient p et q

V V V F F F V F

soit p soit non q quel p mais pas non p quel non p mais q que soit p q que soit q q

5. 6.

a) faux ; b) faux ; c) vrai ; d) vrai a) vrai ; b) vrai ; c) vrai ; d) faux ; e) vrai

Dduction

5
Les cinq propositions complexes peuvent tre formalises de la manire suivante : a) Si lme est dessence divine, elle est ternelle. de b) Lme est ternelle et dessence divine. ed c) Lme est ternelle, quelle soit ou non dessence divine. e d) Quelle soit ou non dessence divine, lme est ou nest pas ternelle. e e e) Quelle soit ou non dessence divine, lme est et nest pas ternelle. e e Or, daprs les tables de vrit de ces formules (cf. corrig de lexercice 34), d) est vrai dans tous les cas o a) est vrai, qui est lui-mme vrai dans tous les cas o c) est vrai, qui est lui-mme vrai dans tous les cas o b) est vrai, qui est lui-mme vrai dans tous les cas o e) est vrai. Lordre du plus probable au moins probable est donc : d) ; a) ; c) ; b) ; e).

7.

8.

Les quatre propositions complexes peuvent tre formalises de la manire suivante : a) Linformatique facilite la comptabilit ou la gestion cg b) Linformatique facilite la comptabilit mais aussi la gestion cg c) Linformatique facilite la comptabilit et facilite ou non la gestion c (gg) d) Linformatique facilite la comptabilit si et seulement si elle la complique c c Or, daprs les tables de vrit de ces formules (cf. corrig de lexercice 35), a) est vrai dans tous les cas o c) est vrai, qui est lui-mme vrai dans tous les cas o b) est vrai, qui est luimme vrai dans tous les cas o d) est vrai. Lordre du plus probable au moins probable est donc : a) ; c) ; b) ; d).

9. 10.

Sont mal formes les expressions : c) ; d) ; e) ; g) ; k). En outre, lexpression h) est ambigu ; il convient dintroduire des parenthses pour prciser la hirarchie des connecteurs. Avec r pour On russit et t pour On travaille : a) r t ou (r t) b) t r c) (r t) d) (t r) Avec a pour On est aim et b pour On est aimable : e) a b f) a b ou (b a) g) (b a) h) (a b) i) avec s pour Nous sortons dici et c pour On exerce sur nous une contrainte : s c ou c s ou encore (s c) j) avec c pour On a de la chance et p pour On a lesprit prpar : c p ou p c Lorsque plusieurs formalisations sont proposes, elles sont logiquement quivalentes, cest--dire quelles ne sont pas des interprtations diffrentes de lexpression franaise, mais seulement des formulations diffrentes dun seul et mme sens. Parfois, dautres formalisations logiquement quivalentes sont encore possibles. Pour savoir si la formalisation que vous proposez est logiquement quivalente celle du corrig, il faut procder une vrication par les tables de vrit. a) Si Nietzsche a raison, Dieu est mort b) Si Dieu est mort, Nietzsche a raison c) Si Nietzsche a tort, Dieu nest pas mort (ou est vivant) d) Si Dieu nest pas mort (ou est vivant), Nietzsche a tort Les propositions a) et d) sont logiquement quivalentes ; de mme, les propositions b) et c).

11.

6
12.

Corrigs dexercices

Avec des notations videntes pour les propositions atomiques : a) b m b) (b m) c) b m d) b m e) b m l s f) (m c) W r g) r x (la condition est ici ncessaire et sufsante) h) r x ou x r (au sens strict, moins que traduit un conditionnel simple : si Monsieur X. nest pas la rception, je ne my rendrai pas. Dans certains contextes, il peut cependant tre compris comme un biconditionnel : si Monsieur X. nest pas la rception, je ne my rendrai pas, mais je promets de my rendre sil y est). i) i p j) f r k) (f r) l) s (p m) m) (d f) (h v) ou encore d f h v n) e s o) r s p) i e ou e i q) i e r) (e e) i ou plus simplement : i s) f (r a) t) p (r m) ou encore p (m r) a) p q b) p q c) p q d) La phrase franaise est ambigu et peut recevoir une des deux formalisations suivantes : q (r t) ou alors r (q t) e) (p r) s f) r p ou encore p r g) (p r) (q r) h) (r r) s ou encore s i) (t q) ou encore t q j) (p s) k) q (s t) l) t s m) r (s W t) n) r (s t) o) Soit le dbiteur est riche soit il est insolvable p) Le crancier rentre dans ses frais si et seulement si le dbiteur nest pas insolvable q) Si le crancier ne fait pas faillite, cest quil rentre dans ses frais r) Le crancier rentre dans ses frais mais ne rembourse pas ses propres dettes

13.

Dduction

7
s) Si le dbiteur est riche, le crancier rentre dans ses frais, mais il nest pas vrai que si le dbiteur est insolvable, le crancier fait forcment faillite. t) Que le crancier rembourse ou non les dettes quil a lui-mme contractes, il fait faillite u) Soit le dbiteur est riche et le crancier rentre dans ses frais soit le crancier fait faillite (mais pas les deux)

14.

a) (p q) : Il est faux que la garde de lenfant soit retire aux parents ou mme que lon dsigne pour lenfant un tuteur extrieur la famille. p q : La garde de lenfant nest pas retire aux parents ou alors on dsigne pour lenfant un tuteur extrieur la famille Les deux formules ont la mme valeur de vrit quand p est vrai et q faux et quand p et q sont tous deux faux : p V V F F q V F V F pq V V V F (p q) F F F V

p V V F F

q V F V F

p F F V V

p q V F V V

b) Les quatre formules sont vraies quand p et q sont faux, cest dire quand la garde nest pas retire aux parents et quun tuteur nest pas dsign : p V V F F q V F V F p F F V V q F V F V p q V F V V p q V V F V p q F V V V (p q) F F F V

15.

(e d) [e (c f)]
e a) b) d c f F ed V F cf V F e (c f) V F (e d) [e (c f)] V V

V V F F

V V F

8
16.
a) p q : vrai car p faux et q faux b) q p : vrai car p faux et q faux c) p q : faux car p faux et q faux d) p q : vrai car p vrai et q vrai e) (p q) r : vrai car p faux et q vrai (donc pq vrai) et r vrai

Corrigs dexercices

f) (p W q) (r s) : faux car p faux, q vrai (donc pWq vrai) et r faux, s faux (donc rs faux) g) (p q) r ou (p q) r : vrai car p faux et q faux (donc pq vrai) et r faux h) q p : vrai car p vrai et q faux i) p q : faux car p vrai et q faux

17.
Mercure a) g c b) t s c) g u d) g W t e) s W d f) s g g) (c d) g h) g (c d) i)(tc)(cd) F V F V F V V V F Venus F V F V F V V V F Terre F F F V V F V V F Mars F F V V V F V V F Jupiter V F V V F V V V F Saturne V F V V F V V V F Uranus F F V V F V V F V Neptune F F V V F V V F V

18.

A = a (bWc) B = b (ac) C = (abc) a V V V V F F F F b V V F F V V F F c V F V F V F V F a F F F F V V V V bWc F V V F F V V F A V F F V F V V F ac V V V V V F V F B V V V V V F V V ab V V F F F F F F abc V F F F F F F F C F V V V V V V V

a) si les trois thses philosophiques sont vraies (ligne 1), Carnap tire une conclusion errone b) si les trois thses philosophiques sont fausses (ligne 8), Aristote tire une conclusion errone c) si la thse dAristote est fausse (lignes 5-6-7-8), la conclusion de Carnap est toujours vraie

Dduction

9
d) si les trois philosophes tirent une conclusion correcte (lignes 4-7), seule la thse de Bolzano est forcment fausse e) Bolzano (lignes 3-4-7-8) et Carnap (lignes 2-4-6-8) tirent forcment une conclusion correcte sils dfendent une thse fausse f) personne ; il ny a aucune situation dans laquelle deux philosophes tirent une conclusion errone et le troisime une conclusion correcte g) si on suppose que les meilleurs philosophes sont aussi les meilleurs logiciens (ligne 5), Bolzano et Carnap sont bons philosophes et bons logiciens

19.

En niant une tautologie, on obtient ncessairement une contradiction, puisque tous les cas qui rendaient vraie la tautologie rendent maintenant fausse sa ngation. Si on nie une proposition complexe qui nest ni tautologique ni contradictoire, on obtient une proposition qui est fausse dans les cas qui rendaient vraie la proposition de dpart et vraie dans les cas qui rendaient fausse la proposition de dpart, donc une proposition qui nest elle-mme ni tautologique ni contradictoire.

20.

a) [(p q) p] q p V V F F q V F V F p F F V V q F V F V pq V F V V (pq) p F F V V [(pq) p] q V V F V

Formule ni valide ni contradictoire b) [(p q) q] p p V V F F Formule valide c) [(p q) (p q)] q p V V F F q V F V F p F F V V pq V F V V pq V V V F (pq) (pq) V F V F [(pq) (pq)] q V V V V q V F V F pq V F F V (pq) q V F F F [(pq) q] p V V V V

Formule valide

10
d) (pq) (pq) p V V F F q V F V F pq V V V F (pq) F F F V p F F V V q F V F V pq F V V V

Corrigs dexercices

(pq) (pq) V F F V

Formule ni valide ni contradictoire e) [p (q r)] [(p q) (p r)] p V V V V F F F F q V V F F V V F F r V F V F V F V F qr V F F F V F F F p(qr) V V V V V F F F pq V V F F F F F F pr V F V F F F F F (pq) (pr) V V V F F F F F Formule V V V F F V V V

Formule ni valide ni contradictoire f) [(p q) r] [(p r) (q r)] p V V V V F F F F q V V F F V V F F r V F V F V F V F pq V V F F F F F F (pq)r V F V V V V V V pr V F V F V V V V qr V F V V V F V V (pr)(qr) V F V F V F V V Formule V V V F V F V V

Formule ni valide ni contradictoire

Dduction

11
g) {[(p q) r] [(p q) s]} (r s) s p q pq (pq)r pq (pq) s F F F F F F F F V V V V V V V V F F F F V V V V F F F F V V V V F F F F F F F F F F F F V V V V V V V V V V V V V V V V V V F F V V V V V V V V V V V V F F F F V F V F V F V F V F V F V V V V [(pq)r] [(pq)s] V F V F V F V F V F V F V V F F rs V V V F V V V F V V V F V V V F

p q

Formule V V V V V V V V V V V V V V V V

V V V V V V V F V V F V V V F F V F V V V F V F V F F V V F F F F V V V F V V F F V F V F V F F F F V V F F V F F F F V F F F F Formule valide

On vrie de la mme manire que : h) (p q) (p q) est valide i) j) l) (p q) q nest ni valide ni contradictoire (p q) (p q) est valide (p q) (p q) nest ni valide ni contradictoire

k) (p q) (p q) nest ni valide ni contradictoire m) [(p q) p] p est valide n) (p q) (p q) est contradictoire o) (p q) (q r) est valide p) (p p) (q q) est contradictoire q) (p q) [(q m) (p m)] est valide r) p (q p) est valide s) p (p q) est valide t) (p q) (p q) est valide u) (p q) (q r) (p r) est valide v) (p q) (q p) est valide

12
21.
a) (p r) r p V V F F r V F V F pr V F F F (pr) F V V V r F V F V

Corrigs dexercices

[(pr)] r V V F V

Raisonnement non valide b) {[p (q r)] (q r)} p p q r qr V V V F V V V F p(qr) V V V F V V V V qr V F F F V F F F (qr) F V V V F V V V [p(qr)](qr) F V V F F V V V p F F F F V V V V Formule V F F V V V V V

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

V V V F F F V F

Raisonnement non valide c) {[(p r) q] [q (p q)]} (p q) [(pr)q] [q(pq)] V V F V F F V V

pr V F V F F F F F

(pr)q V V F V V V V V

pq V V F F F F F F

q(pq) V V V V F F V V

pq V V F F F F V V

Formule V V V F V V V V

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

V V V F F F V F

Raisonnement non valide

Dduction

13
d) [(q p) (r s) (q r)] (p s) qp V V V V V V V V F F F F V V V V rs V F V V V F V V V F V V V F V V (qp)(rs) V F V V V F V V F F F F V F V V q F F F F V V V V F F F F V V V V qr F F F F V V F F F F F F V V F F (qp)(r s) (q r) F F F F V F F F F F F F V F F F ps V V V V V V V V V F V F V F V F

Formule V V V V V V V V V V V V V V V V

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

V V

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

V V

Raisonnement valide

22.

a) {[(s r) d] r s} d : Raisonnement non valide b) [(m d) i] (m i) : Raisonnement valide c) {[(s d) e] e} (s d) : Raisonnement valide d) [(e m) a] [a (e m)] : Raisonnement valide e) [(h i) (h i)] (i h) : Raisonnement non valide f) {(w q) [(w r) q] [(q r) w]} (w q) : Raisonnement valide g) {[p (l s)] (l g) (g s c) (c m) (m g)} p : Raisonnement valide

23.

a) Lattentat de Madrid a t perptr par Al-Qaida ou par lETA. Or, lattentat de Madrid a t perptr par lETA si et seulement sil a t perptr par Al-Qaida mais quil y a des connexions entre Al-Qaida et lETA. Donc lETA a perptr lattentat de Madrid ou nentretient pas de relations avec AlQaida. Raisonnement valide. b) Lattentat de Madrid a t perptr par Al-Qaida ou par lETA. Or, si Al-Qaida et lETA ont tous deux perptr lattentat de Madrid, cest quil y a des connexions entre eux. Donc il y a des connexions entre Al-Qaida et lETA. Raisonnement non valide.

14
24.

Corrigs dexercices

En passant de la quatrime la cinquime ligne du tableau, je conclus que p, q partir de (pq) alors que jaurais d ramier et envisager dune part le cas o p et dautre part le cas o q. Ds le passage de la premire la deuxime ligne du tableau, je conclus que r, (p q) partir de r(pq) alors que jaurais d ramier et envisager dune part le cas o r et dautre part le cas o (p q). Dmontrer quune formule nest ni valide ni contradictoire, cest dmontrer quon peut la rendre fausse et quon peut aussi la rendre vraie. Dans la pratique, cela suppose donc de construire deux tableaux smantiques, lun pour la ngation de la formule (sil se ferme, la formule est valide), lautre pour la formule (sil se ferme, la formule est contradictoire). Bien sr, si le premier tableau se ferme, il est inutile de construire le second : une formule valide est forcment non contradictoire. a)
{[(p q) p] q} (p q) p, q (p q) p, q (p q), p, q p, p, q O q, p, q O [(p q) p] q [(p q) p] (p q) p q O

25.

26.

Formule non valide

p, q O

p O

Formule non contradictoire b)


{[(p q) q] p} (p q) q, p p q, q, p p, q, q, p X p, q, q, p X

Formule valide

Dduction

15
c) {[(p q) (p q)] q}

(p q) (p q), q

p q, p q, q p, p q, q p, p, q X Formule valide d) {(pq) (pq)} (pq), (pq) (pq), pq p, q, q X q, p q, q X

p, q, (pq)

pq, pq pq, p p, p X q, p O pq, q p, q O q, q X

p, q, p, q X

Formule non valide (pq) (pq) (pq), pq (pq), (pq)

p, q, pq p, q, p O p, q, q O

pq, (pq)

pq, p, q

pq, p, q p, p, q O p, p, q O

Formule non contradictoire

16

{[p (q r)] [(p q) (p r)]}

e)

p (q r), [(p q) (p r)]

p, (q r), (p q) (p r) p, (q r), p q p, (q r), p r

[p (q r)], (p q) (p r)

p (q r), (p q), (p r) q r, (p q), (p r)

p, (p q), (p r)

q, r, (p q), (p r) p, (q r), p, q X X q, r, p, p O {[p (q r)] [(p q) (p r)]} [p (q r)], [(p q) (p r)] X q, r, p, r q, r, p, (p r) q, r, q, (p r) p, q, r O

p, (q r), p, r X

p, p, (p r) X

p, q, (p r)

p, q, p

Formule non valide

p (q r), (p q) (p r)

p, (p q) (p r)

q r, (p q) (p r)

p, (q r), [(p q) (p r)] p, (q r), (p q), (p r) p, q, (p q), (p r) p, q, p, (pr) p, q, (pr) p, q, q, (pr) p, q, (pr) p, r, (p q), (p r)
p, r, p, (pr) p, r, q, (pr)

p, p q q,r, p r

p, p r

q, r, (p q) (p r)


q, r, p, r q, r, p O

p, p, q

p, p, r

q, r, p q

p, q O

p, r O

q, r, p, q

q, r, p O

p,r, (pr)

p, r, q, p

p, r, q, r

p, q, p p, q, r p, q, p p, q, r p, r, p p, r, r p, r, q p, r, q O O O O O O O O

Corrigs dexercices

Formule non contradictoire

Dduction

{[(p q) r] [(p r) (q r)]}

f)

(p q) r, [(p r) (q r)]

[(p q) r], (p r) (q r)

(p q) r, (q r) [(p q) r], p r, q r

(p q) r, (p r)

(p q) r, p, r
(p q), q, r X p, q, r O {[(p q) r] [(p r) (q r)]} (p q) r, (p r) (q r) X X X q, q, r p, q, r, p, q r p, q, r, r, q r r, q, r

(p q) r, q, r p, q, r, p r, q r

p q, r, p r, q r

(p q), p, r

r, p, r

p, p, r

q, p, r

Formule non valide

[(p q) r], [(p r) (q r)]

(p q) r, p r, q r
(p q) r, r, q r (p q) r, r, q (p q), r, q r,q O p, r, q O q, r, q O p, r O q, r O (p q) r, r (p q), r r O

p q, r, [(p r) (q r)]
p, q, r, [(p r) (q r)] p, q, r, (p r) p, q, r, (q r)

(p q) r, p, q r (p q) r, p, r p, r O p, p, r O O q, p, r

(p q) r, p, q

p, q, r, p, r

p, q, r, q, r

(p q), p, q r, p, q (p q), p, r

p, p, q

q, p, q

p, q, r
O

p, q, r
O

Formule non contradictoire

17

18
g) {[(p q) r] [(p q) s]} (r s)

Corrigs dexercices

{[(p q) r] [(p q) s]} (r s)

[(p q) r] [(p q) s], (r s) (p q) r, (p q) s, (r s) (p q) r, (p q) s, r, s (p q) r, (p q), r, s (p q) r, s, r, s X

(p q) r, p, q, r, s (p q), p, q, r, s p, p, q, r, s p, p, q, r, s X q, p, q, r, s q, p, q, r, s X r, p, q, r, s X

Formule valide h-v) En traitant de la mme manire les exercices h) v), on vrie que lon parvient bien aux mmes conclusions que prcdemment (voir corrig de lexercice 20).

27.

a) (p r) r

[(p r) r] (p r), r (p r), r p, r O r, r X

Raisonnement non valide b) {[p (q r)] (q r)} p


{[p (q r)] (q r)} p

[p (q r)] (q r), p

[p (q r)] (q r), p p (q r), (q r), p p, (q r), p X q, (q r), p q, q, p X q, r, p O r, (q r), p r, q, p O r, r, p X q r, (q r), p

Raisonnement non valide

Dduction

{[(p r) q] [q (p q)]} (p q)

[(p r) q] [q (p q)], (p q)

Raisonnement non valide

(p r) q, q (p q), (p q) (p r) q, q (p q), p, q (p r) q, q, p, q (p r) q, p q, p, q

c) {[(p r) q] [q (p q)]} (p q)

(p r) q, q (p q), p, q (p r) q, p q, p, q

(p r) q, q, p, q

X (p r) q, p, q,p, q X (pr), q, p p, q, p X r, q, p O

(p r) q, q, p q, q, p X

(p r) q, p, q, p, q X

19

20
d) [(q p) (r s) (q r)] (p s) {[(q p) (r s) (q r)] (p s)}

Corrigs dexercices

(q p) (r s) (q r), (p s)

q p, r s, q, r,(p s) q p, r s, q, r, p, s q p, r, q, r, p, s X Raisonnement valide q p, s, q, r, p, s X

28.

a) {[(s r) d] r s} d {[(s r) d] r s} d

{[(s r) d] r s}, d

{[(s r) d] r s}, d (s r) d, r, s,d (s r), r, s, d d, r, s, d O

s, r, r, s, d

s, r, r, s, d O Raisonnement non valide b-g) En traitant de la mme manire les exercices b) g), on vrie que lon parvient bien aux mmes conclusions que prcdemment (voir corrig de lexercice 22).

Dduction

21
a) {(p q) [q (p r)]} (q r) {(p q) [q (p r)]} (q r)

29.

{(p q) [q (p r)]}, (q r)

{(p q) [q (p r)]}, q, r

{(p q) [q (p r)]}, q, r

p q, q (p r), q, r p, q (p r), q, r p, q, p r, q, r X q, q (p r), q, r X p, q, (p r), q, r

p, q, (p r), r p, q, p, r X p, q, r, r X

Raisonnement valide b) {(p q) [(p q) r]} r {(p q) [(p q) r]} r

{(p q) [(p q) r]}, r

p q, (p q) r, r p, (p q) r, r p, (p q), r p, p, r X p, q, r O p, r, r X q, p, r O q, q, r X q, (p q) r, r q, (p q), r q, r, r X

Raisonnement non valide

30.

22

{[(i r) h] (i r h)} [h (i r)]

[(i r) h] (i r h), [h (i r)] (i r) h, (i r h), [h (i r)] (i r) h, (i r h), h, (i r) (i r), (i r h), h, (i r) h, (i r h), h, (i r) X

(i r) h, (i r h), h, (i r)


h, (i r h), h, i, r i, r, (i r h), h, (i r) i, r, (i r), h, (i r) i, r, h, h, (i r)

(i r) h, (i r h), h, i, r

(i r), (i r h), h, i, r

h, (i r h), i, r


h, (i r), i, r h, h, i, r X h, i, i, r X X X h, r, i, r i, r, i, h i, r, r, h X i, r, h, i X i, r, h, r X i, r, (i r), h

{[(i r) h] (i r h)} [h (i r)]

i, r, (i r h), h, i, r

i, r, h, h, (i r) i, r, h, (i r)

i, r, (i r h), h, i, r

i, r, (i r h), h

i, r, (i r), h

i, r, h, h

i, r, i, h

i, r, r, h

X
Corrigs dexercices

Raisonnement valide

Dduction

23
a) Si vous avez deux enfants en charge et que vos revenus nets nexcdent pas le montant de 10.000 par an, vous tes dcharg de tout impt sur le revenu. Or, si vous tes dcharg de tout impt sur le revenu, vous entrez dans les conditions dadmission dans les habitats sociaux. Donc si vous nentrez pas dans les conditions dadmission dans les habitats sociaux, cest que vous navez pas deux enfants charge ou que vos revenus nets excdent le montant de 10.000 par an.

31.

{[(p q) r] (r s)} [s (p q)]

[(p q) r] (r s), [s (p q)]

(p q) r, r s,[s (p q)]

(p q) r, r s,s, (p q)

(p q) r, r s,s, p, q (p q) r, r s,s, p, q (p q) r, r, s, p, q (p q), r, s, p, q p, r, s, p, q X


Raisonnement valide

(p q) r, s, s, p, q X

r, r, s, p, q X

q, r, s, p, q X

24

Corrigs dexercices

b) Si vous avez deux enfants en charge et que vos revenus nets nexcdent pas le montant de 10.000 par an, alors soit vous tes dcharg de tout impt sur le revenu soit vous entrez dans les conditions dadmission dans les habitats sociaux, mais vous ne pouvez pas jouir des deux avantages. Or, vous avez deux enfants en charge, mais vos revenus nets excdent le montant de 10.000 par an. Donc vous ntes pas dcharg de tout impt sur le revenu et vous nentrez pas non plus dans les conditions dadmission dans les habitats sociaux.
r, s, p, q, s r, s, p, q, s q, p, q, r p, p, q, r r, s, p, q, r r, s, p, q, r q, p, q, r p, p, q, r

(p q) (r W s), p, q, s

(p q) (r W s), p, q, s

r W s, p, q, s

{[(p q) (r W s)] (p q)} (r s)

(p q), p, q, r

[(p q) (r W s)] (p q), (r s)

(p q) (r W s), p, q, (r s)

(p q) (r W s), p, q, r

(p q) (r W s), p, q, r

r W s, p, q, r

(p q), p, q, r

Raisonnement non valide c) Vous entrez dans les conditions dadmission dans les habitats sociaux si et seulement si vous avez deux enfants en charge et que vos revenus nets nexcdent pas le montant de 10.000 par an.

Dduction

25
Et si vous tes dcharg de tout impt sur le revenu, cest que vos revenus nets nexcdent pas le montant de 10.000 par an. Or, vous tes dcharg de tout impt sur le revenu, mais vous nentrez pas dans les conditions dadmission dans les habitats sociaux. Donc vos revenus nets nexcdent pas le montant de 10.000 par an, mais vous navez pas deux enfants en charge.
{[s (p q)] (r q) (r s)} (q p)

[s (p q)] (r q) (r s), (q p)

s (p q), r q, r, s, (q p) s (p q), r, r, s, (q p) X s (p q), q, r, s, q X s, p q, q, r, s, p X s, p, q, r, s, p X s, q, q, r, s, p X s, (p q), q, r, s, p s (p q), q, r, s, p s (p q), q, r, s, (q p)

Raisonnement valide

32.

l (e a) (l a) e a l
{[l (e a)] [(l a) e]} (a l)

[l (e a)] [(l a) e], (al)

l (e a), (l a) e,(al)

l (e a), (l a) e, a, l l (e a), (l a) e, a, l l, (e a), (l a) e, a, l X l, e a, (l a), a l, e a, l, a X l, e a, a, a X l, e a, e, a l, e, e, a O l, a, e, a O l, e a, (l a) e, a, l

Raisonnement non valide

26
33.

Corrigs dexercices

Une formule B est une consquence logique dune formule A si elle est vraie chaque fois que A est vraie, cest--dire pour tous les modles qui rendent A vraie. En pratique, on vriera que B est vraie pour toutes les lignes du tableau de vrit qui rendent A vraie, de sorte que le conditionnel A B est tautologique. a) p V V F F q V F V F pq V F F F pq V V V F pW q F V V F pq V F V V pq V F F V

On voit que p q = p q ; p q = p q ; p q = p q ; p q = p q ; p W q = p q

b) p V V F F q V F V F p F F V V q F V F V pq V F F F (p q) F V V V p q F F V F p q F V F F p q F F F V

On voit que p q = (p q) ; p q = (p q) ; p q = (p q)

c) p V V V V F F F F q V V F F V V F F r V F V F V F V F qr V F V V V F V V p (q r) V F V V V V V V pq V V F F V V V V (p q) r V F V V V F V F

On voit que (p q) r = p (q r)

Dduction

27

34.
p V V F F q V F V F p F F V V pq V F V V qp V F F F q V F V F q q V V V V q q F F F F

On voit que

q q = q p ; q q = q ; q q = p q ; q q = q q q p = q ; q p = p q ; q p = q q q = p q ; q = q q

p q = q q Donc q q est plus probable que p q, qui est plus probable que q, qui est plus probable que q p, qui est plus probable que q q

35.
p V V F F q V F V F q F V F V pq V V V F pq V F F F q q V V V V p (qq) V V F F p p F F F F

On voit que

p p = p q ; p p = p (qq) ; p p = p q p q = p (qq) ; p q = p q

p (qq) = p q Donc p q est plus probable que p (qq), qui est plus probable que p q, qui est plus probable que p p

36.

Dans la mesure o elles sont rendues vraies par toutes les interprtations sans exception, toutes les tautologies possdent les mmes modles et sont donc logiquement quivalentes entre elles.

37.
p V V F F q V F V F p F F V V q F V F V pq V F V V qp V V F V p q V V F V q p V F V V

p q est logiquement quivalent q p ; q p est logiquement quivalent p q

38.

Pour tre scientique, une thorie doit tre rfutable se formalise s r. Elle est quivalente aux propositions a), c), d), qui se formalisent de la mme faon. Comme nous venons de le voir, elle est aussi logiquement quivalente la proposition e), qui se forma-

28

Corrigs dexercices

lise r s. Elle nest par contre pas quivalente aux propositions b) et f), qui se formalisent r s.

39.

Comme on peut le vrier laide des tables de vrit ou des tableaux smantiques : a) s c est logiquement quivalent (s c). b) c (s a) est logiquement quivalent (c s) (c a). c) e (s a) est logiquement quivalent (e s) (e a). d) [s (c r)] est logiquement quivalent s (c r).

40.

r) Si une proposition est vraie, alors tous les conditionnels qui lont pour consquent sont vrais, quelle que soit la proposition antcdente. s) Si une proposition est fausse, alors tous les conditionnels qui lont pour antcdent sont vrais, quelle que soit la proposition consquente. t) De deux propositions quelconques, lune est toujours relie lautre ou la ngation de lautre par un biconditionnel vrai. u) Parmi trois propositions quelconques, il y en a toujours au moins deux qui sont relies par un biconditionnel vrai.

41.
{[(p q) (q r)] (p r)} (p q) (q r), (p r)

(p q), (q r), (p r)

(p q), (q r), p, r p, (q r), p, r X q, q, p, r X q, r, p, r X q, (q r), p, r

42.

a) Il est faux que le coupable ne soit ni un homme et ni une femme. b) Il est faux que cet homme ait foi ou loi. c) On nest pas ou on na pas t. a) s c b) c (s a) s c (s c) c (s a) (c s) (c a) (c s) (c a) e (s a) e s a e s e a (e s) (e a) s (c r) s (c r)

43.

c) e (s a)

d) [s (c r)]

Dduction

29
a) [(p q) (q r)] (p r) [(p q) (q r)] (p r) [(p q) (q r)] (p r) [(p q) (q r)] (p r) (p q) (q r) p r FND (pqr) (pqr) (qrp) (qrp) (pq) (pq) (rp) (rp) (pqr) (pqr) (qrp) (qrp) (pqr) (pqr) (pqr) (pqr) (rpq) (rpq) (rpq) (rpq) (pqr) (pqr) (pqr) (pqr) (pqr) (pqr) (pqr) (pqr) (pqr) (pqr) (pqr) (pqr) (pqr) (pqr) (pqr) (pqr) (pqr) (pqr) (pqr) (pqr) FND dveloppe Cest une tautologie. [(p q) (q r)] (p r) [(p q) (q r)] (p r) [(p q) (q r)] (p r) [(p q) (q r)] (p r) [(p q) (p r) (q q) (q r)] (p r) [(p q) (p r) (q r)] (p r) (p q p r) (p r p r) (q r p r) FNC et FNC dveloppe Les trois termes contiennent des littraux complmentaires. La formule est une tautologie. b) (p q) (p q) [(p q) (p q)] [(p q) (p q)] [(p q) (p q)] [(p q) (p q)] [(p q) (p q)] [(p q) (p q)] [(p q) (p q)] [(p q) (p q)] [(p q) p q] [(p q) p q] (pqpq) (pqp) (pqq) (ppq) (pp) (pq) (qpq) (qp) (qq) (pq) (qp) FND et FND dveloppe (p q) (p q) [(p q) (p q)] [(p q) (p q)] [(p q) (p q)] [(p q) (p q)] [(p q) (p q)] [(p q) (p q)] [(p q) (p q)] [(p q) (p q)] [(p p q) (q p q)] [(p p q) (q p q)] [(p q) (q p)] [(p q) (q p)] (p q) (p q) FNC et FNC dveloppe

44.

45.

(p q r) (p q r) (p q r) [(p q r) (p q r) (p q r)] (p q r) (p q r) (p q r) (p q r) (p q r) (p q r) (p q r) (p q r) (p q r)

30
46.
a) [(p q) p] q [(p q) p] q [(p q) p] q [(p q) p] q (p q) p q (p q) (p q) (p q) (q p) (q p) (p q) (p q) (p q) (p q) Tautologie

Corrigs dexercices

FND FND dveloppe

n) (p q) (p q) (p p q) (q p q) FND dveloppe Les deux termes contiennent des littraux complmentaires. Cest une contradiction. o) (p q) (q r) (p q) (q r) p q q r FND Si on la dveloppait, cette forme normale disjonctive contiendrait 8 termes et serait manifestement tautologique. Mais la prsence de q et q parmi les termes de la disjonction non dveloppe indique dj ce rsultat.

47.

(e m) a (e m) a (e m) a e m a a (e m) a (e m) a e m e m a {(w q) [(w r) q] [(q r) w]} (w q) {(w q) [(w r) q] [(q r) w]} (w q) {(w q) [(w r) q] [(q r) w]} (w q) {(w q) [(w r) q] [(q r) w]} (w q) {(w q) [(w q) (r q)] [(q w) (r w)]} (w q) (w q) (w q) (r q) (q w) (r w) (w q) FND (wqr) (wqr) (wqr) (wqr) (rqw) (rqw) (qwr) (qwr) (rwq) (rwq) (wqr) (wqr) (wqr) (wqr) (wqr) (wqr) (qwr) (qwr) (wqr) (wqr) FND dveloppe Cest une tautologie {d [(c p) (c e)]} {d [(c c) (p e)]} (p e) {d [(c p) (c e)]} {d [(c c) (p e)]} (pe) {d [(c p) (c e)]} {d [(c c) (p e)]} (pe) {d [(c p) (c e)]} {d [(c c) (p e)]} (pe) {d [(cc) (pc) (ce) (pe)]} {d [(c c) (p e)]} (pe) {d (pc) (ce) (pe)} {d (pe)} (pe)

48.

49.

Dduction

31
{d (pc) (ce) (pe)} {(dp) (pep) (de) (pee)} {d (pc) (ce) (pe)} {(dp) (pe) (de) (pe)} {d (pc) (ce) (pe)} {(dp) (pe) (de)} (ddp) (pcdp) (cedp) (pedp) (dpe) (pcpe) (cepe) (pepe) (dde) (pcde) (cede) (pede) (cedp) (dpe) (pcde) FND (cedp) (dpep) (dpep) (pcde) FND dvel. De ces 4 situations, la seule o p est vraie (et e faux) est celle o Dieu existe et je crois en lui.

50.

[p (l s)] (l g) (g s c) (c m) (m g) [p (l s)] (l g) (g s c) (c m) (m g) (p l s) (l g) (g s c) (c m) m g (p s g) (g s c) (c m) m g (p g c) (c m) m g (p g m) m g (p g) g p

FNC

51.

a) [(m c) (f p)] m (p c) [(m c) (f p)] m (p c) [(m c) (f p)] m (p c) (m c f p) m (p c) FNC (c f p) (p c) c f Il nest pas vrai que chaque mouvement a une cause ou il nest pas vrai que la rgression dans la chane des causes doit avoir une n. b) [p (b o)] (b o c) [p (b o)] (b o c) (p b) (p o) (b o c) (p b) (p b c) p c Dieu nest pas parfait ou il na pas cr ce monde de souffrances.

FNC

53.

a) t r (ou r t) Or t Donc r Raisonnement non valide : Ngation de lantcdent (ou Afrmation du consquent) b) t r Or t Donc r Raisonnement valide : Modus Ponens

32

Corrigs dexercices

c) (b a) (ou a b) Or b Donc a Raisonnement valide : Incompatibilit (ou Modus Tollens) d) c s Or c Donc s Raisonnement valide : Modus Ponens e) p c (ou c p) Or p Donc c Raisonnement non valide : Ngation de lantcdent (ou Afrmation du consquent) f) t m (ou (t m)) Or m Donc t Raisonnement non valide : Afrmation du consquent g) d s Or d Donc s Raisonnement valide : Modus Ponens h) v W g (ou g v) Or g Donc v Raisonnement valide : Alternative (ou Modus Ponens) i) (e a) Or e Donc a Raisonnement valide : Incompatibilit j) c d Or c p Et d p Donc p Raisonnement valide : Dilemme

54.

a) (1) p Hyp. (2) p 1, Rit. (3) pp 1, 2, Dch. 1 I La dmonstration est, on le voit, immdiate et contraste, cet gard, avec la dmonstration de la mme formule au moyen de la mthode axiomatique (cf. thorie p. 53). b) (1) (2) (3) (4) pq pq p q Hyp. Hyp. 2, E 1, 3, E

Dduction

33
(5) (6) (7) (8) (9) (10) (11) (12) (13) (14) (15) (16) c) (1) (2) (3) (4) (5) (6) (7) (8) (9) (10) (11) (12) (13) (14) (15) (16) d) (1) (2) (3) (4) (5) (6) (7) (8) (9) (10) (11) (12) (13) (14) q (pq) (pq) (pq) (pq) p 2, E 4, 5 Dch. 2 I 1, 6, Dch. 1 I Hyp. Hyp. q Hyp. pq 9, 10, I q 8, 11, Dch. 10 I q 12, E pq 9, 13, Dch. 9 I (pq) (pq) 8, 14, Dch. 8 I (pq) (pq) 7,15, I pq q p q p qp (pq) (qp) qp p q p q q pq (qp) (pq) (pq) (qp) (pq) (pq) p pq p q pq q pq (pq) pq (pq) (pq) pq p q Hyp. Hyp. Hyp. 1, 3, E 2, 4, Dch. 3 I 2, 5, Dch. 2 I 1, 6, Dch. 1 I Hyp. Hyp. Hyp. 8, 10, E 9, 11, Dch. 10 I 12, E 9, 13, Dch. 9 I 8, 14, Dch. 8 I 7,15, I Hyp. Hyp. Hyp. 3, I 2, 4, Dch. 3, I Hyp. 6, I 2, 7, Dch. 6, I 5, 8, I 1, 9, Dch. 2 I 10, E 1, 11, Dch. 1 I Hyp. Hyp. Hyp.

34
(15) (16) (17) (18) (19) (20) pq p (pq) ( pq) (pq) (pq) (pq) (pq) (pq) pq q

Corrigs dexercices

Hyp. Hyp. 15, E 15, E 14, 16, Dch. 15 I idem 13, 17, Dch. 14 E 13, 18, Dch. 13 I 11, 18, I

e) Nous allons cette fois rutiliser des rsultats dmontrs prcdemment. (1) p(qr) Hyp. (2) [(pq)r] Hyp. (3) (pq)r Transf. cond. en conj. (cf. b) (4) p 3, E (5) qr 1, 4, E (6) q 3, E (7) r 5, 6, E (8) r 3, E (9) [(pq)r] 7, 8, Dch. 2 I (10) (pq)r 9, E (11) [p(qr)] [(pq)r] 1, 10, Dch. 1 I (12) (pq)r Hyp. (13) [p(qr)] Hyp. (14) p(qr) Transf. cond. en conj. (cf. b) (15) (qr) 14, E (16) qr Transf. cond. en conj. (cf. b) (17) p 14, E (18) q 16, E (19) pq 17, 18, I (20) r 12, 19, E (21) r 16, E (22) [p(qr)] 20, 21, Dch. 13 I (23) [p(qr)] 22, E (24) [(pq)r] [p(qr)] 12, 23, Dch. 12 I (25) [p(qr)] [(pq)r] 11, 24, I

55.

(1) (2) (3) (4) (5) (6) (7) (8)

(pq) (qr) pq qr p q r pr [(pq) (qr)] [pr]

Hyp. 1, E 1, E Hyp. 2, 4, E 3, 5, E 4, 6, Dch. 4 I 1, 7, Dch. 1 I

Dduction

35
(1) (2) (3) (4) (5) (6) (m d) i m md i mi [(m d) i] (m i) d a s a a d s d a a (d s) up p r c (h r) uc u p r r (u c) r du f d d f d f f u f u u f u c h r r s a Hyp. Hyp. 2, I 1, 3, E 2, 4, Dch. 2 I 1, 5, Dch. 1 I Pr. Pr. Pr. Hyp. Hyp. Hyp. 1, 5, E 2, 5, E 4,6, Dch. 5 E 3, 7, Dch. 4 I Pr. Pr. Pr. Hyp. Hyp. Hyp. 1, 5, E 3, 5, E 2, 6, E 6, E 4, 7, Dch. 5 E 4, 8, Dch. 4 I Pr. Pr. Hyp. Hyp. Hyp. 3, I 2, 4, E 3, 5, Dch. 4 I 6, I 4, Rit. 1, 7, Dch. 3 E

56.

57.

a) (1) (2) (3) (4) (5) (6) (7) (8) b) (1) (2) (3) (4) (5) (6) (7) (8) (9) c) (1) (2) (3) (4) (5) (6) (7) (8)

f u

58.

Rponse : b) La rgle du dtachement traduit le Modus Ponens, mais il est noter quelle ne sapplique ici qu des thses alors que le Modus Ponens permettait dinfrer une conclusion supposer que les prmisses soient vraies. a) (1) (2) (3) (4) (5) (6) (p q) [(q m) (p m)] A1 q/p, m/pq (p p) p (p (p q)) ((p p) (p q)) p (p q) (p p) (p q) A3 2, 3, dtachement A2 4, 5, dtachement [(pp) p] [(p (pq)) ((pp) (pq))] 1, subst. p/pp,

59.

36
b) (1) (2) (3) (4) (p q) [(q m) (p m)] [(pp) (pq)] [((pq) p) ((pp) p)] (p p) (pq) ((pq) p) ((pp) p) A1

Corrigs dexercices

1, subst. p/pp, q/pq, m/p Exercice a) 2, 3, dtachement

c) On va dmontrer que si laxiome 3 a une consquence P, alors P est aussi la consquence de (pq) p. Donc on va dmontrer : {[(pp) p] P} {[(pq) p] P} (1) (2) (3) (p q) [(q m) (p m)] A1 1, subst. p/(pq)p, q/(pp)p, m/P ((pq) p) ((pp) p) Exercice b) (4) [((pp)p) P] [((pq) p) P] 2, 3, dtachement d) Le thorme dmontrer sobtient en fait comme simple substitution dans le thorme pp, dmontr dans la thorie la page 53 : (1) pp Thorme dmontr (2) (pp) (pp) 1, subst. p/pp Une autre possibilit consiste oprer une substitution partir du thorme dmontr dans lexercice a) ci-dessus : (1) (2) e) (1) (2) (3) (4) (p p) (p q) (pp) (pp) (p q) [(q m) (p m)] ((pp) p) [(pp) ((pp) p)] (pp) p (pp) [(pp)p] Exercice a) 1, subst. p/p, q/p A1 1,subst. p/(pp), q/p, m/p A3 2, 3, dtachement [((pq)p) ((pp)p)] {[((pp)p) P] [((pq) p) P]}

Dduction

37

Logique des prdicats


60.
a) E (Aucune rose nest sans pines) ou A (Toutes les roses ont des pines), quivalente par obversion la prcdente b) A (Tous les actes rprhensibles sont explicitement interdits par la loi) c) O (Certaines vrits ne sont pas bonnes dire) d) I (Certaines vrits sont drangeantes) e) O (Certaines vrits ne sont pas vraisemblables) f) A (Tout ce qui est aimable est vrai) g) E (Aucun plaisir nest tel quil ne perdrait pas tre connu) ou A (Tous les plaisirs perdent tre connus) quivalente par obversion h) E (Aucun roi na un cur)

61.

a) Certains complices de vol sont receleurs (conversion partielle) b) Aucun majeur nest mineur (conversion simple) c) Certains dlinquants sont ls de bonnes familles (conversion simple) d) Une proposition de type O nest pas convertible.

62.

a) Aucun conseiller juridique nest imprvoyant b) Tous les sentiments sont temporaires c) Certains produits dentretien ne sont pas sans danger

63. 64.

O (comme on le voit en considrant le carr logique) Aucune substance nest immatrielle : E (V/F) Contradictoire : Certaines substances sont immatrielles (F/V) Contraire : Toutes les substances sont immatrielles (F/ ?) Subalterne : Certaines substances ne sont pas immatrielles (V/ ?) Obverse : Toutes les substances sont matrielles (V/F) Converse : Rien de ce qui est immatriel nest une substance (V/F) Il y a des tristesses sans motif : I (V/F) Contradictoire : Aucune tristesse nest sans motif (F/V) Subcontraire : Certaines tristesses ne sont pas sans motif ( ?/V) Superalterne : Toutes les tristesses sont sans motif ( ?/F) Obverse : Il y a des tristesses qui ne sont pas motives (V/F) Converse : Certaines choses sans motif sont des tristesses (V/F)

65.

a) subalterne b) contraire c) quivalente par obversion d) contradictoire e) consquence par conversion partielle

38
66.
Contraires Les rapports humains sont toujours alinants Subalternes Les rapports humains ne sont jamais alinants

Corrigs dexercices

Contradictoires Contradictoires Subalternes

Les rapports humains sont parfois alinants

Subcontraires

Il arrive que les rapports humains ne soient pas alinants

67.
Contraires partout p nulle part p (partout non p)

Subalternes

Contradictoires Contradictoires Subalternes

quelque part p

Subcontraires

quelque part non p

68.

Disamis est un syllogisme de 3e gure (S-S) compos de propositions de type I A I : Certaines dcisions judiciaires sont contestables Toutes les dcisions judiciaires doivent tre excuts Certaines dcisions qui doivent tre excutes sont contestables. On ramne ce raisonnement la forme Darii en oprant une conversion simple sur la majeure, en permutant les prmisses et en oprant une conversion simple sur la conclusion : Toutes les dcisions judiciaires doivent tre excutes Certaines dcisions contestables sont des jugements Certaines dcisions contestables doivent tre excutes

69.

Baroco est un syllogisme de 2e gure (P-P) compos de propositions de type A O O : Tous les actes illgaux sont punissables Certains meurtres ne sont pas punissables Certains meurtres ne sont pas illgaux On ramne ce raisonnement la forme Barbara par un raisonnement par labsurde : Tous les actes illgaux sont punissables Tous les meurtres sont illgaux (contradictoire de la conclusion du syllogisme rduire) Tous les meurtres sont punissables (Si on suppose la conclusion du syllogisme en Bocardo fausse, on obtient, par un syllogisme en Barbara, la contradictoire de la mineure. On peut donc afrmer que la conclusion ne peut tre fausse).

70.

Syllogisme en Darii :

Tous les mammifres sont vivipares Certains animaux aquatiques sont des mammifres Certains animaux aquatiques sont vivipares

Dduction

39
Ramen par labsurde un syllogisme en Camestres Tous les mammifres sont vivipares Aucun animal aquatique nest vivipare (contradictoire de la conclusion du syllogisme prcdent) Aucun animal aquatique nest un mammifre Lui-mme ramen un syllogisme en Celarent par permutation des prmisses et conversion simple de la mineure : Aucun vivipare nest un animal aquatique Tous les mammifres sont vivipares Aucun mammifre nest un animal aquatique

71.

Syllogisme en Fesapo : Aucun oiseau nest un mammifre Tous les mammifres sont des animaux Certains animaux ne sont pas des oiseaux Ce syllogisme est valide pour autant quil existe des mammifres. On peut ramener ce syllogisme la forme Ferio en effectuant une conversion simple sur la majeure et une conversion partielle sur la mineure : Aucun mammifre nest un oiseau Certains animaux sont des mammifres Certains animaux ne sont pas des oiseaux La validit du syllogisme en Fesapo dcoule de la validit du syllogisme en Ferio pour autant que lon puisse dduire certains animaux sont des mammifres partir de tous les mammifres sont des animaux , ce qui est le cas pour autant quil y ait des mammifres.

72.

Syllogisme en Celarent : Aucun homme nest parfait Tous les Grecs sont des hommes Aucun Grec nest parfait Le syllogisme en Camestres correspondant doit tre tel quil se ramne au prcdent lorsque lon permute ses prmisses et que lon applique une conversion simple sa mineure. Ce syllogisme est donc : Tous les Grecs sont des hommes Aucun tre parfait nest un homme Aucun Grec nest parfait. Il sagit dun syllogisme de la deuxime gure.

73.

Syllogisme en Cesaro de la 2e gure. Ce syllogisme se rattache la forme Cesare : Aucune ralit sensible nest immortelle Toutes les mes sont immortelles Donc aucune me nest une ralit sensible Ce syllogisme en Cesare peut tre ramen la forme Celarent (1re gure) par conversion simple de la majeure : Rien de ce qui est immortel nest une ralit sensible Toutes les mes sont immortelles Donc aucune me nest une ralit sensible

40

Corrigs dexercices

La validit du syllogisme de dpart peut tre dduite de celle du syllogisme en Cesare pourvu quil soit possible de conclure de aucune me nest une ralit sensible que certaines mes ne sont pas des ralits sensibles , ce qui nest le cas que pour autant quil y ait des mes.

74.

Rgle des contraires : Une proposition de type A et la proposition de type E correspondante ne peuvent tre vraies en mme temps. Les propositions Tout F est G et Aucun F nest G ne peuvent tre vraies en mme temps. F G F G

On constate que cette rgle nest valable que si lon suppose quil y a des F (sil ny a pas de F, les deux diagrammes ne sexcluent pas ncessairement).

75.

Il faut ajouter la prmisse suivante : il y a des triangles On ne peut en effet passer du diagramme qui exprime quaucun triangle na quatre cts Triangles 4 cts

au diagramme qui exprime que certains triangles nont pas quatre cts Triangles X 4 cts

que si lon suppose quil y a des triangles.

76.

A : Tous les flins sont granivores


Flins Granivores

E : Aucun flin nest un granivore


Flins Granivores

Dduction

41
I : Certains flins sont granivores
Flins X Granivores

O : Certains flins ne sont pas granivores


Flins X Granivores

E dcoule de il ny a pas de granivore . I est incompatible avec ce jugement.

77.

a) Tout ceux qui trahissent sont des lches ; aucun homme juste ne trahit
Tratres

Justes

Lches

Si lon fait lhypothse quil y a des tratres, on peut conclure certains lches ne sont pas justes . b) Aucun homme nest irremplaable ; les femmes ne sont pas des hommes
Hommes

Femmes

Irremplaables

On ne peut tirer aucune conclusion de ces prmisses. c) Aucun dauphin nest ovipare ; tous les poissons sont ovipares
Ovipares

Poissons

Dauphins

On peut conclure aucun poisson nest un dauphin (ou aucun dauphin nest un poisson )

42

Corrigs dexercices

d) Rien de ce que tu as crit ne mest indiffrent ; certains textes de ce recueil me sont indiffrents
Choses qui me sont indiffrentes X

Textes de ce recueil

Choses que tu as crites

On peut conclure certains textes de ce recueil ne sont pas de ta main . e) tre majeur est une condition sufsante pour tre pnalement responsable. tre majeur est une condition ncessaire pour avoir le droit de vote.
Majeurs

Possdant le droit de vote

Pnalement responsables

On peut conclure tous les lecteurs sont pnalement responsables .

78.

a)
Jugements libres

Jugements rationnels

Jugements dsintresss

Ce raisonnement est valide pour autant que lon ajoute la prmisse il y a des jugements rationnels b) Actes explicitement interdits par la loi

X Dtournements d'argent Ce syllogisme est valide Actes rprhensibles

Dduction

43
c) Majeurs

Dputs Ce syllogisme est valide. d)

Dispenss de voter

Dchus des droits civiques

X? Criminels

X? ligibles

Ce syllogisme nest pas valide (les prmisses ne permettent pas dafrmer que la croix qui reprsente les criminels qui ne sont pas dchus de leur droits civiques se trouve dans lensemble des personnes ligibles). e) noncs logiques

noncs tautologiques

noncs tirs de lexprience

Ce raisonnement est valide pour autant que lon ajoute la prmisse il y a des noncs tautologiques .

79.

a) Tous les alins sont dments. Tous les fous sont alins. Donc, tous les fous sont dments.
Alins

Fous

Dments

44

Corrigs dexercices

b) Certaines infractions la loi ne sont pas noties dans le casier judiciaire. Tous les crimes sont notis dans le casier judiciaire. Donc certaines infractions la loi ne sont pas des crimes.
Notifis au casier

X Infractions la loi Crimes

c) Qui est gnreux est forcment juste Certains hommes ne sont pas justes. Certains hommes ne sont pas gnreux.
Justes

X Hommes Gnreux

80.

On peut tirer les conclusions suivantes : Il y a des philosophes qui ne sont pas ralistes , il y a des solipsistes qui ne sont pas ralistes , il y a des philosophes solipsistes qui ne sont pas ralistes .
Solipsistes

Philosophes

Ralistes

81.

Il faut ajouter la prmisse : Il y a des philosophes


Solipsistes

Philosophes

Ralistes

Dduction

45
a) b) c) d) f(x) x g(x,y) x [f(x,y) y g(x,y)] f(x) f(x) x [g(x,y) y h(y,x)] x{f(x,y) [y g(y,x) h(x,y)]}

82.

83. 84.

b,c et f. Notons que a et e sont des expressions bien formes, mais que la prsence dune variable libre a pour consquence quil ne sagit pas de propositions (vraies ou fausses). a) Soit

a(x) : x est aimable v(x) : x est vrai x (a(x) v(x)) (tout ce qui est aimable est vrai) Contradictoire : x (a(x) v(x)) (il y a des choses aimables qui ne sont pas vraies) Contraire : x (a(x) v(x)) (aucune chose aimable nest vraie) Subalterne : x (a(x) v(x)) (il y a des choses aimables qui sont vraies)

b) Soit

v(x) : x est vrai s(x) : x est vraisemblable x (v(x) s(x)) (il y a des choses vraies qui ne sont pas vraisemblables) Contradictoire : x (v(x) s(x)) ou x (v(x)s(x)) (il ny a pas de choses qui soient la fois vraies et pas vraisemblables ou tout ce qui est vrai est vraisemblable). Subcontraire : x (v(x) s(x)) (il y a des choses vraies qui sont vraisemblables) Superalterne : x (v(x)s(x)) (tout ce qui est vrai est non-vraisemblable) Soit a(x,y) : x aime y x y a(x,y) signie que chacun aime quelquun (chaque individu aime au moins une personne, qui nest, bien sr, pas ncessairement la mme pour chacun) y x a(x,y) signie quil y a quelquun que tout le monde aime (autrement dit, il y a un individu qui est aim par tout le monde) y x a(x,y) signie que chacun est aim par quelquun (chaque individu est aim par au moins une personne) x y a(x,y) signie quil y a quelquun qui aime tout le monde

85.

86.

a) j(x) : x est juriste a(x) : x est admis laudience x (j(x) a(x)) ou x(j(x)a(x)) b) (avec les mmes notations) x (j(x)a(x)) ou x(j(x) a(x)) c) d(x) : x est une dcision r(x) : je refuse de me prononcer sur x x (d(x) r(x)) d) (avec les mmes notations) x (d(x) r(x)) e) m(x) : x est condamn mort g(x) : x est grci e(x) : x est excut x [m(x) (g(x) W e(x))] f) i(x) : x est inculp s(x) : x est suspect x(s(x) i(x)) x(i(x) s(x)) g) p(x) : x apprcie le cours de psychologie s(x) : x apprcie le cours de sociologie

46
l(x) : x apprcie le cours de logique r(x) : x apprcie le cours de droit romain d(x) : x apprcie le cours de droit pnal x(p(x) s(x) l(x) d(x)) x[(p(x)d(x)) (l(x) r(x))] h) s(x, y) : x est soumis y c(x) : x est citoyen t(x) : x est une taxe x[t(x) y(c(y)s(y,x))] x[c(x)y(t(y)s(x,y))] i) p(x,y,z) : x parle y de z xy[z p(z,x,y) t p(x,t,y)] j) d(x,y) : x dnonce y a(x) : a est un accus x[a(x) y(a(y)d(y,x))] x(a(x)d(x,x)) k) a(x,y) : a admire y xyz [(a(x,y)a(y,z)) a(x,z)] l) c(x) : x est un cheval a(x) : s est un animal t(x,y) : x est la tte de y [x (c(x)a(x))] x [y(t(x,y)c(y))z(a(z)t(x,z))]

Corrigs dexercices

87.

p(x) : x est philosophe s(x) : x est spiritualiste m(x) : x est matrialiste x(p(x)s(x)m(x)) ou x[p(x)(s(x)m(x))] Contradictoire : x[p(x)(s(x)m(x))] ou x [p(x)(s(x)m(x))] ou x[p(x) (s(x)m(x))] Cest--dire : Il ny a personne qui est philosophe et qui nest pas spiritualiste ou matrialiste ou Tout philosophe est spiritualiste ou matrialiste a) b) c) d) e) f) g) h) i) a) b) c) d) e) xy a(x,y) xy p(x,y) x y (p(x,y)a(x,y)) x y (p(y,x)a(x,y)) x y (p(y,x)a(x,y)) x [p(x,x)a(x,x)] x p(x,x) xy (a(x,y)a(y,x)) xy (p(x,y)p(y,x)) xy (a(x,y)p(y,x)) xy(p(x,y)p(y,x))

88.

89.

Il y a quelquun qui doit de largent tout le monde (il y a un dbiteur universel) Il y a quelquun qui tout le monde doit de largent (il y a un crancier universel) Chacun a au moins un dbiteur Chacun a au moins un crancier Personne ne se doit de largent soi-mme (personne nest son propre dbiteur ou personne nest son propre crancier) et personne ne doit de largent son dbiteur f) Il y en a qui se doivent mutuellement de largent et il y en a mme qui se doivent de largent eux-mmes g) Chacun est le dbiteur des cranciers de ses cranciers

Dduction

47
a) Il y a quelquun qui est le matre penser de tous les philosophes b) Chaque philosophe a un matre penser c) Aucun philosophe nest le matre penser de son matre penser et personne nest son propre matre penser d) Tout matre penser dun matre penser dun philosophe est aussi un matre penser de ce philosophe (Un matre penser dun philosophe est aussi un matre penser de ceux dont ce philosophe est un matre penser)

90.

91.

a) Les caisses de ltat sont vide mais le gouvernement ne dmissionne pas b) Si tout le monde paie ses impts, les caisses de ltat ne seront pas vides c) Le gouvernement dmissionnera si et seulement si personne ne paie ses impts d) Si quelquun ne paie pas ses impts, chacun se mera de tout le monde

92.

a) Si tout le monde ne travaille pas efcacement, la socit fera des pertes et licenciera du personnel b) Si la socit licencie du personnel, cest quil y a des gens qui ne travaillent pas efcacement c) Il ne sagit pas dune formule bien forme d) Il ny aura personne qui ne travaillera pas efcacement si et seulement si il y a quelquun qui tout le monde obit (Tout le monde travaillera efcacement si et seulement si il y a un chef qui tout le monde obit) e) Chacun obit quelquun f) Il y a quelquun qui obit tout le monde et qui travaille efcacement g) Il sagit dune formule ouverte

93.

f(x,y) : x atte y m(x,y) : x mprise y prmisses : xy(m(y,x)f(x,y)) xy m(x,y) conclusion : xy f(x,y)

94.

Exemple dinterprtation qui est un modle de la formule : Domaine dinterprtation : ensemble des nombres naturels strictement infrieurs 10 I(a) : 4 I(b) : 3 I(p) : (p(x,y) est une fonction qui associe V au couple (x,y) ssi x est plus grand ou gal y) Cette interprtation rend vraie la formule p(a,b) xy p(x,y) car 43 et il y a bien un nombre (9) qui est plus grand ou gal tous les lments du domaine. Exemple dinterprtation qui nest pas un modle de la formule : Domaine dinterprtation : ensemble des individus humains I(a) : Lopold III I(b) : Albert II I(p) : est le pre de (p (x,y) est une fonction qui associe V au couple (x,y) ssi x est le pre de y)

48

Corrigs dexercices

Cette interprtation nest pas un modle de la formule p(a,b) xy p(x,y) car, si p(a,b) est vrai - puisque Lopold III est le pre dAlbert II- il est en revanche faux quil existe un individu humain x qui soit le pre de tous les individus humains.

95.

En considrant que le domaine dinterprtation est lensemble des continents et en utilisant les notations suivantes : a : Asie ; b : Afrique ; c : Amrique du Nord ; d : Amrique du Sud ; e : Europe ; f : Ocanie s(x,y) : x a une supercie suprieure(ou gale) y p(x,y) : x a une population suprieure (ou gale) y a) x p(a,x) b) p(d,c)s(c,d) c) x(s(b,x)p(b,x)) d) x(p(x,e)s(e,x)) e) x(s(x,e)p(e,x)) f) xy(s(y,x)p(y,x)) g) xy(s(x,y)p(x,y)) Une interprtation conforme la ralit gographique actuelle rend a,b,c,e, et f vraies et d et g fausses. Une interprtation conforme la ralit gographique de 1900 rend a, e et f vraies et b,c,d et g fausses. a) ligne 3 : non respect de la rgle qui exige de choisir une variable indite pour instancier lexistentielle. Le tableau correct serait : yx p(x,y), x p(x,x) x p(x,x), x p(x,a) x p(x,x), p(b,a) x p(x,x), p(b,a), p(a,a) x p(x,x), p(b,a), p(a,a), p(b,b) Le tableau est ouvert. b) ligne 3 et ligne 5 : non respect de la rgle qui exige de choisir une variable indite pour instancier lexistentielle. Le tableau correct serait : x y p(x,y), x y p(x,y) y p(a,y), x y p(x,y) y p(a,y), y p(b,y) p(a,c), y p(b,y) p(a,c), p(b,d) Le tableau est ouvert.

96.

Dduction

x y (p(x) r(x, y)), ( x p(x) x y r(x, y)) x y (p(x) r(x, y)), x y r(x, y)

x y (p(x) r(x, y)), x p(x)

x y (p(x) r(x, y)), y r(c, y)


x y (p(x) r(x, y)), y r(c, y), y (p(c) r(c, y))

x y (p(x) r(x, y)), p(a)


x y (p(x) r(x, y)), y r(c, y), p(c) r(c, d)

x y (p(x) r(x, y)), p(a), y (p(a) r(a, y))

Le tableau correct serait :

x y (p(x) r(x, y)), p(a), p(a)r(a, b)

c) ligne 2 : application errone de la rgle


x y (p(x) r(x, y)), y r(c, y), p(c), r(c, d) x y (p(x) r(x, y)), y r(c, y), p(c)r(c, d), r(c, d) x y (p(x) r(x, y)), y r(c, y), r(c, d), r(c, d) X

(A B)

x y (p(x) r(x, y)), p(a), p(a)

x y (p(x) r(x, y)), p(a), r(a, b)

x y (p(x) r(x, y)), r(a, b), p(a), y(p(b)r(b, y)

x y (p(x) r(x, y)), r(a, b), p(a), p(b) r(b, c), etc.

x y (p(x) r(x, y)), y r(c, y), p(c), r(c, d), y(p(d) r(d, y) x y (p(x) r(x y)), y r(c, y), p(c), r(c, d), p(d) r(d, e) etc.

49

ligne 7 (partie droite du tableau) : non respect de la rgle qui exige de choisir une variable indite pour instancier luniverselle ngative.

Le tableau est inni. On nen nira jamais dinstancier les universelles avec les nouvelles constantes que linstanciation des existentielles ne cesse de faire apparatre.

50
97.

Corrigs dexercices

a) y [x p(x) p(y)] Cherchons les modles de la ngation de cette formule y [x p(x) p(y)] (x p(x) p(a)) x p(x), p(a) x p(x), p(a), p(a) X La formule de dpart est bien valide. b) y [p(y) x p(x)] Cherchons les modles de la ngation de cette formule y [p(y) x p(x)] (p(a) x p(x)) p(a), x p(x) p(a), p(b) O La formule de dpart nest donc pas valide. Remarquons que, dans un domaine rduit un seul lment, le tableau smantique se fermerait et la formule de dpart serait donc valide. c) y [x p(x) p(y)] Cherchons les modles de la ngation de cette formule. y [x p(x) p(y)] y [x p(x) p(y)], (x p(x) p(a)) y [x p(x) p(y)], x p(x), p(a) y [x p(x) p(y)], x p(x), p(a), p(a) X La formule de dpart est valide. d) y [p(y) x p(x)] Cherchons les modles de la ngation de cette formule. y [p(y) x p(x)] y [p(y) x p(x)], (p(a)x p(x)) y [p(y) x p(x)], p(a), x p(x) y [p(y) x p(x)], p(a), p(b)

Dduction

51
y [p(y) x p(x)], (p(b)x p(x)), p(a), p(b) y [p(y) x p(x)], p(b), x p(x), p(a), p(b) X La formule de dpart est valide e) x (p(x)q(x)) (x p(x) x q(x)) Cherchons les modles de la ngation de cette formule.
[x (p(x) q(x)) (x p(x) x q(x))] x (p(x) q(x)), (x p(x) x q(x)) x p(x) x q(x), x (p(x)q(x))

x (p(x) q(x)), xp(x) x (p(x)q(x)), p(a) x (p(x) q(x)) p(a), p(a) q(a)

x (p(x) q(x)), xq(x) x (p(x)q(x)), q(a) x (p(x) q(x)) q(a), p(a) q(a)

x p(x), x q(x), (p(a) q(a)) x p(x), x q(x), p(a) x p(x), x q(x), p(a), p(a) X x p(x), x q(x) q(a) x p(x), x q(x) q(a), q(a) X

x (p(x) q(x)), p(a), p(a), q(a) X

x (p(x) q(x)) q(a), p(a), q(a) X

La formule de dpart est bien valide. f) x (p(x)q(x)) (x p(x) x q(x)) De manire analogue au cas prcdent, on dmontre que la ngation de cette formule ne possde pas de modle, et que la formule de dpart est donc valide. g) x (p(x)q(x)) ( x p(x) x q(x)) Cherchons les modles de la ngation de cette formule [x (p(x)q(x)) ( x p(x) x q(x))]

x (p(x)q(x)), ( x p(x) x q(x)) x (p(x)q(x)), x p(x) x (p(x)q(x)), x q(x)

x p(x), p(a)q(a),

x q(x), p(a)q(a),

x p(x), p(a), q(a) x p(x), p(a), q(a), p(a) X La formule de dpart est valide.

x q(x), p(a), q(a) x q(x), p(a), q(a), q(a) X

52
h) ( x p(x) x q(x)) x (p(x)q(x)) Cherchons les modles de la ngation de cette formule
[( x p(x) x q(x)) x (p(x) q(x))]

Corrigs dexercices

x p(x) x q(x), x (p(x) q(x))

x p(x), x q(x), x (p(x) q(x)) x q(x), x (p(x) q(x)), p(a) x (p(x) q(x)), p(a), q(b) x (p(x) q(x)), p(a), q(b), (p(a) q(a)), (p(b) q(b)) x (p(x) q(x)), p(a), q(b), p(a) (p(b) q(b)) x (p(x) q(x)), p(a), q(b), q(a), (p(b) q(b))

x (p(x) q(x)), p(a), x (p(x)q(x)), p(a), x (p(x)q(x)), p(a), x (p(x)q(x)), p(a) q(b), p(a), p(b) q(b), p(a), q(b) q(b), q(a), p(b) q(b), q(a), q(b) X X O X

La formule de dpart nest pas valide. i) j) x (p(x)q(x)) (x p(x) x q(x)) : formule non valide x p(x) x q(x) (x (p(x)q(x))) : formule valide

k) xy r(x,y) xy r(x,y) Cherchons les modles de la ngation de cette formule [xy r(x,y) xy r(x,y)] xy r(x,y),xy r(x,y) xy r(x,y), xy r(x,y), y r(a,y) xy r(x,y), xy r(x,y), r(a,b) xy r(x,y), xy r(x,y), r(a,b), yr(a,y) xy r(x,y), xy r(x,y), r(a,b), yr(a,y), r(a,b) X La formule de dpart est valide.

Dduction

l)

{x p(x) [x (p(x) q(x)) x (p(x) q(x))]} [x (p(x) q(x)) x (p(x) q(x))] x p(x) x (p(x) q(x)), x (p(x) q(x)), x p(x) x (p(x) q(x)), x p(x), p(a) q(a) x p(x), p(a)q(a), p(b)q(b) x p(x), p(a), p(b) q(b) x p(x), q(a), p(b) q(b) x p(x), q(a) p(b) x p(x), q(a), p(b), p(b) X x p(x), q(a) q(b)

x p(x) [x (p(x) q(x)) x (p(x) q(x))]

[x (p(x) q(x)) x (p(x) q(x))], p(a) x (p(x) q(x)), p(a) x (p(x) q(x)) p(a), (p(a)q(a))

x (p(x) q(x)), p(a)

x (p(x) q(x)) p(a),(p(a)q(a))


x p(x), p(a), p(b) q(b), p(a) X

m) x p(x) [x (p(x) q(x)) x (p(x) q(x))] Cherchons les modles de la ngation de cette formule

x (p(x) q(x)) p(a), p(a), q(a) X

x (p(x) q(x)) p(a), p(a), q(a) X

x p(x) [x (p(x) q(x)) x (p(x) q(x))] : formule valide

x p(x), q(a), q(b), p(a) x p(x), q(a), q(b), p(a), p(b) O

53

Le tableau est ouvert. La formule de dpart nest donc pas valide. Notons que la partie gauche du tableau, qui correspond la ngation de limplication x p(x) [x (p(x) q(x)) x (p(x) q(x))] est, quant elle, ferme. Limplication dans ce sens est donc valide.

54
98.
Dans le cadre du calcul des propositions : Si lon adopte les notations suivantes h : Jean est heureux b : Jean part aux Bahamas l : Jean a du temps libre a : Jean a de largent p : Il faut de largent pour partir aux Bahamas, le raisonnement scrit : hb la p donc h

Corrigs dexercices

Il nest manifestement pas possible de dmontrer la validit de ce raisonnement. Dans le cadre du calcul des prdicats : Si lon adopte les notations suivantes h(x) : x est heureux b(x) : x part aux Bahamas l(x) : x a du temps libre a(x) : x a de largent j : Jean, le raisonnement scrit : h(j)b(j) l(j)a(j) x(b(x)a(x)) (cette expression du calcul des prdicats fait apparatre la structure de la proposition, qui restait invisible dans le cadre du calcul des propositions) donc h(j) On dmontre trs facilement la validit de ce raisonnement par la mthode des tableaux smantiques en prouvant que la proposition suivante ne possde pas de modle : {[h(j)b(j)] [l(j)a(j)] [x(b(x)a(x))] h(j)} [h(j) b(j)] [l(j) a(j)] [x(b(x) a(x))], h(j)

h(j) b(j), l(j) a(j), x(b(x) a(x)), h(j)

h(j) b(j), l(j), a(j), x(b(x) a(x)), h(j) h(j), l(j), a(j), x(b(x) a(x)), h(j) X b(j), l(j), a(j), x(b(x) a(x)), h(j)

b(j), l(j), a(j), b(j) a(j), h(j) b(j), l(j), a(j), b(j), h(j) X b(j), l(j), a(j), a(j), h(j) X

Dduction

55
Il faut montrer que la formule suivante est valide : [xy (p(x,y) p(y,x))] x p(x,x) Pour cela, on recherche un modle pour la ngation de cette formule.
{[xy (p(x,y) p(y,x))] x p(x,x)}

99.

xy (p(x,y) p(y,x)), x p(x,x)

xy (p(x,y) p(y,x)), x p(x,x), p(a,a)

xy (p(x,y) p(y,x)), x p(x,x), p(a,a), y (p(a,y) p(y,a)) xy (p(x,y) p(y,x)), x p(x,x), p(a,a), p(a,a) p(a,a) xy (p(x,y) p(y,x)), x p(x,x), p(a,a), p(a,a) X xy (p(x,y) p(y,x)), x p(x,x), p(a,a), p(a,a) X

100.

Pour prouver que A et O sont contradictoires, nous allons montrer quaucune des deux formules suivantes ne possde de modle {[x(p(x) q(x))] [x(p(x)q(x)]} {[x(p(x)q(x))] [x(p(x) q(x))]}.
{[x(p(x) q(x))] [x(p(x) q(x))]}

x(p(x) q(x)), x(p(x) q(x))

x(p(x) q(x)), x(p(x) q(x)) x(p(x) q(x)), p(a) q(a)

x(p(x) q(x)), p(a), q(a)

x(p(x) q(x)), p(a) q(a), p(a), q(a) x(p(x) q(x)), p(a), p(a), q(a) X x(p(x) q(x)), q(a), p(a), q(a) X

{[x(p(x) q(x))] [x(p(x) q(x))]}

x(p(x) q(x)), x(p(x) q(x))

x(p(x) q(x)), (p(a) q(a))

x(p(x) q(x)), (p(a) q(a)), p(a), q(a) x(p(x) q(x)), p(a), p(a), q(a) X x(p(x) q(x)), q(a), p(a), q(a) X

56
101.

Corrigs dexercices

Il faut montrer que le schma x(p(x) q(x))x(p(x)) x(p(x)q(x)) ne possde pas de modle : x(p(x) q(x)) x(p(x)) x(p(x) q(x))

x(p(x) q(x)), x(p(x)), x(p(x) q(x))

x(p(x) q(x)), x(p(x) q(x)), p(a)

x(p(x) q(x)), x(p(x) q(x)), p(a), p(a) q(a)

x(p(x) q(x)), x(p(x) q(x)), p(a), p(a) q(a), (p(a) q(a)) x(p(x) q(x)), x(p(x) q(x)), p(a), p(a) q(a), p(a) X x(p(x) q(x)), x(p(x) q(x)), p(a), p(a), q(a) X x(p(x) q(x)), x(p(x) q(x)), p(a), q(a), q(a) X x(p(x) q(x)), x(p(x) q(x)), p(a), p(a) q(a), q(a)

Sans la condition dexistence, on obtient : x(p(x) q(x)) x(p(x) q(x))

x(p(x) q(x)), x(p(x) q(x)) x(p(x) q(x)), x(p(x) q(x)), p(a) q(a),

x(p(x) q(x)), x(p(x) q(x)), p(a) q(a), (p(a) q(a)) x(p(x) q(x)), x(p(x) q(x)), p(a) q(a), p(a) x(p(x) q(x)), x(p(x) q(x)), p(a), p(a) O x(p(x) q(x)), x(p(x) q(x)), q(a), p(a) O x(p(x) q(x)), x(p(x) q(x)), p(a) q(a), q(a) x(p(x) q(x)), x(p(x) q(x)), p(a), q(a) O x(p(x) q(x)), x(p(x) q(x)), q(a), q(a) X

La ngation de la formule de dpart donne lieu un tableau ouvert. La formule de dpart nest donc pas valide.

Dduction

57
Montrer que, si A est vraie, I est vraie, pour autant que la condition dexistence soit satisfaite, cest montrer que le schma [x(p(x) q(x))x(p(x))] x(p(x)q(x)) est valide, ou encore, que sa ngation {[x(p(x) q(x))x(p(x))] x(p(x)q(x))} ne possde pas de modle. Cette dernire formule est en fait quivalente celle qui a t traite dans lexercice prcdent. Ds la deuxime ligne, le tableau smantique quil faudrait faire ici est identique celui de lexercice prcdent. Les conclusions demandes (y compris propos de la ncessit de la condition dexistence) peuvent donc tre tires du tableau de lexercice prcdent. Montrer que, si E est vraie, O lest aussi, pour autant que la condition dexistence soit satisfaite, cest montrer que le schma [x(p(x)q(x)) x p(x)] x(p(x)q(x)) est valide, ou encore que sa ngation {[x(p(x)q(x)) x p(x)] x(p(x)q(x))} ne possde pas de modle {[x(p(x) q(x)) x p(x)] x(p(x) q(x))}

102.

[x(p(x) q(x)) x p(x)], x(p(x) q(x))

x(p(x) q(x)), x p(x), x(p(x) q(x))

x(p(x) q(x)), x p(x), x(p(x) q(x)), p(a) x(p(x) q(x), x(p(x) q(x)), p(a), (p(a) q(a))

x(p(x) q(x), x(p(x) q(x)), p(a), (p(a) q(a)), (p(a) q(a)) x(p(x) q(x)), x(p(x) q(x)), p(a), p(a), (p(a) q(a)) X x(p(x) q(x)), x(p(x) q(x)), p(a), q(a), p(a) X x(p(x) q(x)), x(p(x) q(x)), p(a), q(a), q(a) X x(p(x) q(x)), x(p(x) q(x)), p(a), q(a), (p(a ) q(a))

La rgle des subalternes applique aux propositions de type E et O est donc bien valide. On dmontrera sans difcult (en sinspirant, par exemple, du cas trs semblable trait dans lexercice 101) que la condition dexistence est bien ncessaire.

103.

Il sagit de montrer que le raisonnement suivant est valide : Prmisses : x(g(x)h(x)) x(f(x)g(x)) Conclusion : x (f(x)h(x))

58

Corrigs dexercices

Pour cela, on va montrer que {[x(g(x)h(x)) x(f(x)g(x))]x (f(x)h(x))} na pas de modle.

{[x(g(x) h(x)) x(f(x) g(x))] x (f(x) h(x))}

[x(g(x) h(x)) x(f(x) g(x))], x (f(x) h(x))

x(g(x) h(x)), x(f(x) g(x)), x (f(x) h(x)) x(g(x) h(x)), x (f(x) h(x)), f(a) g(a) x(g(x) h(x)), x (f(x) h(x)), f(a), g(a), (g(a) h(a)) x(g(x) h(x)), x (f(x) h(x)), f(a), g(a), (g(a) h(a)), (f(a) h(a)) x(g(x) h(x)), x (f(x) h(x)), f(a), g(a), g(a), (f(a) h(a)) X x(g(x) h(x)), x (f(x) h(x)), f(a), g(a), h(a), f(a) X
Le syllogisme en Ferio est donc bien valide.

x(g(x) h(x)), x (f(x) h(x)), f(a), g(a), h(a), (f(a) h(a)) x(g(x) h(x)), x (f(x) h(x)), f(a), g(a), h(a), h(a) X

104.

a) On note d(x) : x est un jugement dsintress l(x) : x est un jugement libre r(x) : x est un jugement rationnel Le raisonnement scrit : Prmisses: Conclusion : x (l(x)d(x)) x (r(x)l(x)) x (r(x)d(x))

On peut lexprimer par la formule [x (l(x)d(x)) x (r(x)l(x))] x (r(x) d(x)) On tudie sa validit en cherchant un modle pour la ngation de cette formule :

Dduction

{[x (l(x) d(x)) x (r(x) l(x))] x (r(x) d(x))}

x (l(x) d(x)) x (r(x) l(x)), x (r(x) d(x))

x (l(x) d(x)), x (r(x) l(x)), x (r(x) d(x))

x (l(x) d(x)), x (r(x) l(x)), x (r(x) d(x)), l(a) d(a)

x (l(x) d(x)), x (r(x) l(x)), x (r(x) d(x)), l(a) d(a), r(a) l(a)

x (l(x) d(x)), x (r(x) l(x)), x (r(x) d(x)), l(a) d(a), r(a) l(a), (r(a) d(a))
x (l(x) d(x)), x (r(x) l(x)), x (r(x) d(x)), d(a), r(a) l(a), (r(a) d(a))

x (l(x) d(x)), x (r(x) l(x)), x (r(x) d(x)), l(a), r(a) l(a), (r(a) d(a))

x (l(x) d(x)), x (r(x) l(x)), x (r(x) d(x)), l(a), r(a), (r(a) d(a))

x (l(x) d(x)), x (r(x) l(x)), x (r(x) d(x)), l(a), l(a), (r(a) d(a)) X x (l(x) d(x)), x (r(x) l(x)), d(a), r(a), r(a) O

x (l(x) d(x)), x (r(x) l(x)), d(a), r(a), (r(a) d(a)) x (l(x) d(x)), x (r(x) l(x)), d(a), r(a), d(a) X

x (l(x) d(x)), x (r(x) l(x)), d(a), l(a), (r(a) d(a)) x (l(x) d(x)), x (r(x) l(x)), d(a), l(a), r(a) O x (l(x)d(x)), x (r(x)l(x)), d(a), l(a), d(a) X

x (l(x) d(x)) x (r(x) (x)), x (r(x) d(x)), l(a), r(a), r(a)

x (l(x) d(x)) x (r(x) l(x)), x (r(x) d(x)), l(a),r(a), d(a)

59

60

Corrigs dexercices

Le tableau est ouvert. Le raisonnement propos nest donc pas valide. Remarquons cependant que, si on ajoutait lhypothse supplmentaire il y a des jugements rationnels , le tableau se fermerait et le raisonnement de dpart serait valide. b) On note i(x) : x est un acte explicitement interdit par la loi r(x) : x est un acte rprhensible d(x) : x est un dtournement dargent Le raisonnement scrit : Prmisses: Conclusion : x (r(x)i(x)) x (d(x)i(x)) x (d(x)r(x)) On peut lexprimer par la formule [x (r(x)i(x)) x (d(x)i(x))] x (d(x)r(x)) On tudie sa validit en cherchant un modle pour la ngation de cette formule : {[x (r(x) i(x)) x (d(x) i(x))] x (d(x) r(x))}

[x (r(x) i(x)) x (d(x) i(x))], x (d(x) r(x))

x (r(x) i(x)), x (d(x) i(x)), x (d(x) r(x))

x (r(x) i(x)), x (d(x) r(x)), (d(a) i(a))

x (r(x) i(x)), x (d(x) r(x)), d(a), i(a) x (r(x) i(x)), x (d(x) r(x)), d(a), i(a), r(a) i(a)

x (r(x) i(x)), x (d(x) r(x)), d(a), i(a), r(a) i(a), (d(a) r(a)) x (r(x) i(x)), x (d(x) r(x)), d(a), i(a), r(a), (d(a) r(a)) x (r(x) i(x)), x (d(x) r(x)), d(a), i(a), r(a), d(a) X x (r(x) i(x)), x (d(x) r(x)), d(a), i(a), r(a), r(a) X x (r(x) i(x)) ,x (d(x) r(x)), d(a), i(a), i(a), (d(a) r(a)) X

Le raisonnement propos est valide. d) On note d(x) : x est dchu de ses droits civiques e(x) : x est ligible c(x) : x est criminel

Dduction

61
Le raisonnement scrit : Prmisses: Conclusion : x (d(x)e(x)) x (c(x)d(x)) x (c(x)e(x))

On peut lexprimer par la formule [x (d(x)e(x)) x (c(x) d(x))] x (c(x)e(x)) On tudie sa validit en cherchant un modle pour la ngation de cette formule :
{[x (d(x) e(x)) x (c(x) d(x))] x (c(x) e(x))} x (d(x) e(x)) x (c(x) d(x)), x (c(x) e(x)) x (d(x) e(x)), x (c(x) d(x)), x (c(x) e(x)) x (d(x) e(x)), x (c(x) e(x)), c(a) d(a) x (d(x) e(x)), x (c(x) e(x)), c(a), d(a)

x (d(x) e(x)), x (c(x) e(x)), c(a), d(a), d(a) e(a)

x (d(x) e(x)), x (c(x) e(x)), c(a), d(a), d(a) e(a), (c(a) e(a)) x (d(x) e(x)), x (c(x) e(x)), c(a), d(a), d(a), (c(a) e(a)) x (d(x) e(x)), x (c(x) e(x)), c(a), d(a), c(a) X x (d(x) e(x)), x (c(x) e(x)), c(a), d(a), e(a) O x (d(x) e(x)), x (c(x) e(x)), c(a), d(a),e(a), (c(a) e(a)) x (d(x) e(x)), x (c(x) e(x)), c(a), d(a), e(a), c(a) X x (d(x) e(x)), x (c(x) e(x)), c(a), d(a), e(a),e(a) X

Le raisonnement propos nest pas valide.

105.

a) On note c(x,y) : x commente les ides de y Le raisonnement scrit : Prmisse : Conclusion : xy c(x,y) xy c(y,x)

On peut exprimer ce raisonnement par la formule xy c(x,y) xy c(y,x). On tudie sa validit en cherchant un modle pour la ngation de cette formule : [xy c(x,y) xy c(y,x)] xy c(x,y) , xy c(y,x)

62

Corrigs dexercices

xy c(x,y) , xy c(y,x) y c(a,y) , xy c(y,x) y c(a,y) , y c(y,b) y c(a,y), y c(y,b), c(a,b) y c(a,y), y c(y,b), c(a,b), c(a,b) X La ngation de la formule de dpart ne possde pas de modle. La formule de dpart est bien valide. b) On note a(x,y) : x aime y m(x,y) : x fait du mal y Le raisonnement scrit : Prmisses : xy (m(y,x)a(x,y)) xy m(x,y) Conclusion : xy a(x,y) On peut lexprimer par la formule [xy (m(y,x)a(x,y))xy m(x,y)]xy a(x,y). On tudie sa validit en cherchant un modle pour la ngation de cette formule : {[xy (m(y,x) a(x,y)) xy m(x,y)] xy a(x,y)} [xy (m(y,x) a(x,y)) xy m(x,y)], xy a(x,y) xy (m(y,x) a(x,y)), xy m(x,y), xy a(x,y) y (m(y,a) a(a,y)), xy m(x,y), xy a(x,y) y (m(y,a) a(a,y)), xy m(x,y), y a(a,y)

y (m(y,a) a(a,y)), xy m(x,y), a(a,b)

y (m(y,a) a(a,y)), xy m(x,y), m(b,a) a(a,b), a(a,b) y (m(y,a) a(a,y)), xy m(x,y), m(b,a) a(a,b), a(a,b), y m(b,y) y (m(y,a) a(a,y)), xy m(x,y), m(b,a) a(a,b), a(a,b), m(b,a) y(m(y,a) a(a,y)), xy m(x,y), m(b,a), m(b,a), a(a,b) X Le raisonnement propos est bien valide. y(m(y,a) a(a,y)), xy m(x,y), a(a,b), m(b,a), a(a,b) X

Dduction

{xyz [(a(x,y) a(y,z)) (x,z)] x a(x,x)} xy (a(x,y) a(y,x))

xyz [(a(x,y) a(y,z)) a(x,z)] x a(x,x), xy (a(x,y) a(y,x))

xyz [(a(x,y) a(y,z)) a(x,z)] x a(x,x), xy (a(x,y) a(y,x))

Prmisses : Conclusion :

xyz [(a(x,y) a(y,z)) a(x,z)], x a(x,x), xy (a(x,y) a(y,x))

c) On note a(x,y) : x admire y

xyz [(a(x,y) a(y,z)) a(x,z)], x a(x,x), y (a(b,y) a(y,b))

Le raisonnement scrit :

xyz [(a(x,y) a(y,z)) a(x,z)], x a(x,x), a(b,c) a(c,b)

Le raisonnement propos est valide.

xyz [(a(x,y) a(y,z)) a(x,z)], x a(x,x), a(b,c), a(c,b)

xy (a(x,y)a(y,x))

xyz [(a(x,y) a(y,z)) a(x,z)], x a(x,x), a(b,c), a(c,b), yz [(a(b,y) a(y,z)) a(b,z)]

xyz [(a(x,y) a(y,z)) a(x,z)], x a(x,x), a(b,c), a(c,b), z [(a(b,c) a(c,z)) a(b,z)]

xyz [(a(x,y)a(y,z))a(x,z)] x a(x,x)

xyz [(a(x,y) a(y,z)) a(x,z)], x a(x,x), a(b,c), a(c,b), (a(b,c) a(c,b)) a(b,b)

On peut exprimer ce raisonnement par la formule {xyz [(a(x,y)a(y,z))a(x,z)] x a(x,x)} xy (a(x,y)a(y,x))

xyz [(a(x,y) a(y,z)) a(x,z)], x a(x,x), a(b,b), a(b,c), a(c,b), (a(b,c) a(c,b)) a(b,b) xyz [(a(x,y) a(y,z)) a(x,z)], xa(x,x), a(b,b), a(b,c), a(c,b), a(b,b) X

xyz [(a(x,y) a(y,z)) a(x,z)], x a(x,x), a(b,b), a(b,c), a(c,b), (a(b,c) a(c,b)) xyz [(a(x,y) a(y,z)) a(x,z)], x a(x,x), a(b,b), a(b,c), a(c,b), a(c,b) X

On tudie sa validit en cherchant un modle pour la ngation de cette formule :

xyz [(a(x,y) a(y,z)) a(x,z)], x a(x,x), a(b,b), a(b,c), a(c,b), a(b,c)

63

64
d) On note c(x,y) : x est cause de y, Le raisonnement scrit Prmisse : Conclusion : xy c(y,x) yx c(y,x)

Corrigs dexercices

On peut exprimer ce raisonnement par la formule xy c(y,x) yx c(y,x). On tudie sa validit en cherchant un modle pour la ngation de cette formule : [xy c(y,x) yx c(y,x)] xy c(y,x) , yx c(y,x) xy c(y,x), yx c(y,x), y c(y,a) xy c(y,x), yx c(y,x), c(b,a) xy c(y,x), yx c(y,x), c(b,a), x c(b,x) xy c(y,x), yx c(y,x), c(b,a), c(b,c) xy c(y,x), yx c(y,x), c(b,a), c(b,c), y c(y,c), xy c(y,x), yx c(y,x), c(b,a), c(b,c), c(d,c) xy c(y,x), yx c(y,x), c(b,a), c(b,c), c(d,c), x c(d,x), xy c(y,x), yx c(y,x), c(b,a), c(b,c), c(d,c), c(d,e) etc. On obtient un tableau inni. La formule de dpart nest pas valide. e) On note i(x,y) : x est identique y Le raisonnement scrit : Prmisses : xy (i(x,y)i(y,x)) xyz (i(x,y)i(y,z)i(x,z)) xy i(x,y) Conclusion : x i(x,x) On peut exprimer ce raisonnement par la formule [xy (i(x,y)i(y,x)) xyz (i(x,y)i(y,z)i(x,z)) xy i(x,y)] x i(x,x) On tudie sa validit en cherchant un modle pour la ngation de cette formule :

Dduction

65

{[xy (i(x,y) i(y,x)) xyz (i(x,y) i(y,z) i(x,z)) xy i(x,y)] x i(x,x)}

[xy (i(x,y) i(y,x)) xyz (i(x,y) i(y,z) i(x,z)) xy i(x,y)], x i(x,x)} [xy (i(x,y) i(y,x)) xyz (i(x,y) i(y,z) i(x,z)) xy i(x,y)], x i(x,x)} xy (i(x,y) i(y,x)), xyz (i(x,y) i(y,z) i(x,z)),xy i(x,y), x i(x,x) xy (i(x,y) i(y,x)), xyz (i(x,y) i(y,z) i(x,z)), xy i(x,y), i(a,a) xy (i(x,y) i(y,x)), xyz (i(x,y) i(y,z) i(x,z)), xy i(x,y), i(a,a), y i(a,y) xy (i(x,y) i(y,x)), xyz (i(x,y) i(y,z) i(x,z)), xy i(x,y), i(a,a), i(a,b) xy (i(x,y) i(y,x)), xyz (i(x,y) i(y,z) i(x,z)),xy i(x,y), i(a,a), i(a,b), y (i(a,y) i(y,a))

xy (i(x,y) i(y,x)), xyz (i(x,y) i(y,z) i(x,z)), xy i(x,y), i(a,a), i(a,b), (i(a,b) i(b,a))

xy (i(x,y) i(y,x)), xyz (i(x,y) i(y,z) i(x,z)), xy i(x,y), i(a,a), i(a,b), (i(a,b) i(b,a)), yz (i(a,y) i(y,z) i(a,z))

xy (i(x,y) i(y,x)), xyz (i(x,y) i(y,z) i(x,z)),xy i(x,y), i(a,a), i(a,b), (i(a,b) i(b,a)), z (i(a,b) i(b,z) i(a,z))

xy (i(x,y) i(y,x)), xyz (i(x,y) i(y,z) i(x,z)), xy i(x,y), i(a,a), i(a,b), (i(a,b) i(b,a)), (i(a,b) i(b,a)) i(a,a) xy (i(x,y) i(y,x)), xyz (i(x,y) i(y,z) i(x,z)), xy i(x,y), i(a,a), i(a,b), i(a,b), i(a,b) i(b,a) i(a,a) X xy (i(x,y) i(y,x)), xyz (i(x,y) i(y,z) i(x,z) xy i(x,y), i(a,a), i(a,b), i(b,a), i(a,b) i(b,a) i(a,a) xy (i(x,y) i(y,x)) xyz (i(x,y) i(y,z) i(x,z), xy i(x,y), i (a,a), i(a,b), i(b,a), i(a,a) X

xy (i(x,y) i(y,x)), xyz (i(x,y) i(y,z) i(x,z), xy i(x,y), i (a,a), i(a,b) i(b,a), (i(a,b) i(b,a)) xy (i(x,y) i(y,x)), xyz (i(x,y) i(y,z) i(x,z), xy i(x,y), i (a,a), i(a,b), i(b,a), i(a,b) X

xy (i(x,y) i(y,x)), xyz (i(x,y) i(y,z) i(x,z), xy i(x,y), i (a,a), i(a,b), i(b,a), i(b,a) X

Le raisonnement propos est valide.

106.

a) xy(p(x,y)a(x,y)) x(p(x,x)a(x,x))x p(x,x) b) xy(p(y,x)a(x,y)) xy(a(x,y)p(y,x)) c) xy(p(x,y)p(y,x)) xy(a(x,y)a(y,x)) xy(p(x,y)p(y,x)) Prouvons, par exemple, que les deux noncs du groupe a) ne peuvent pas tre tous deux vrais. Nous allons montrer que la formule suivante na pas de modle : xy(p(x,y)a(x,y)) x(p(x,x)a(x,x)) x p(x,x)

66

Corrigs dexercices

xy(p(x,y) a(x,y)) (x(p(x,x) a(x,x)) x p(x,x) xy(p(x,y) a(x,y)), x(p(x,x) a(x,x)), x p(x,x)

x(p(x,x) a(x,x)), x p(x,x), y(p(a,y) a(a,y))

x(p(x,x) a(x,x)), x p(x,x), y(p(a,y) a(a,y)), p(a,a) a(a,a)

x(p(x,x) a(x,x)), x p(x,x), y(p(a,y) a(a,y)), p(a,a) a(a,a), p(a,a)

x(p(x,x) a(x,x)), x p(x,x), y(p(a,y) a(a,y)), p(a,a) a(a,a), p(a,a), p(a,a) a(a,a) x(p(x,x) a(x,x)), x p(x,x), y(p(a,y) a(a,y)), p(a,a) p(a,a), p(a,a) a(a,a) X x(p(x,x) a(x,x)), x p(x,x), y(p(a,y) a(a,y)), a(a,a), p(a,a), p(a,a) X x(p(x,x) a(x,x)), x p(x,x), y(p(a,y) a(a,y)), a (a,a), p(a,a), a(a,a) X x(p(x,x) a(x,x)), x p(x,x), y(p(a,y) a(a,y)), a(a,a), p(a,a), p(a,a) a(a,a)

107. 108. 109.

a) (f(a) g(a)) (f(b) g(b)) (f(c) g(c)) b) (f(a) g(a)) (f(b) g(b)) (f(c) g(c)) a) p(a) p(b) p(c) (p(a) p(b) p(c)) b) p(a) p(b) p(c) (p(a) p(b) p(c)) a) Il y a quelquun qui boit le champagne sil russit lexamen b) Si tout le monde russit lexamen, il y a quelquun qui boira le champagne c) Si quelquun russit lexamen, tout le monde boira le champagne d) Chacun boit le champagne sil russit lexamen

110.

Avec

p(x) : x est rouge q(x) : x est bleu

a) Il y a un objet qui est la fois rouge et bleu nest pas quivalent Il y a un objet qui est rouge et il y a un objet pas ncessairement le mme - qui est bleu b) Chaque objet est rouge ou bleu nest pas quivalent Tous les objets sont rouges ou tous les objets sont bleus Avec q(x) : p: x arrive je prfre men aller

c) Il y a quelquun qui est tel que, sil arrive, je prfre men aller nest pas quivalent Sil y a quelquun qui arrive, je prfre men aller . d) Si qui que ce soit arrive, je prfre men aller nest pas quivalent Si tout le monde arrive, je prfre men aller

Dduction

67
b, c et e sont valides. Les autres ne le sont pas. a) et b) : Voir les rgles 3 et 4 dans la partie thorique. On a x (P(x)Q(x)) (x P(x)x Q(x)) et x (P(x)Q(x)) (x P(x)x Q(x)), mais le quanticateur universel ne se distribue pas sur la disjonction, ni le quanticateur existentiel sur la conjonction. c) Nest autre que la rgle 9 d) Nest pas valide. La rgle 10 nous apprend en effet que x (Q(x) p) (x Q(x) p) e) Est une application immdiate de la rgle 12 qui afrme que x (Q(x) p) (x Q(x) p) f) Nest pas valide. Les rgles du calcul des propositions permettent dafrmer que (x p(x) x q(x)) est quivalent (x p(x) x q(x)), qui nest pas quivalent x (p(x) q(x))

111.

112.

Les formules a, g, h et j sont quivalentes x (p(x)q(x)). Les autres ne le sont pas. a) x (p(x)q(x)) x (p(x)q(x)) x(p(x)q(x)) x(p(x) q(x)) b) x(p(x)q(x)) x(p(x)q(x)), qui nest manifestement pas quivalente x (p(x)q(x)) c) x p(x) x q(x)) x p(x) x q(x) x (p(x) q(x)) x (p(x) q(x)), qui nest autre que la formule b) d) x (p(x)q(x)), quivalente b) et donc pas quivalente x (p(x)q(x)) e) x(p(x)q(x)) Dire que tous les x sont non p ou non q, ce nest pas quivalent dire quil y a un x qui est la fois non p et non q f) x (p(x) q(x)) x (p(x)q(x), qui nest manifestement pas quivalent x (p(x)q(x)) g) x (p(x) q(x)) x (p(x) q(x)) h) x (p(x)q(x)) Se ramne a) par une application des lois de De Morgan : x (p(x) q(x)) i) x p(x) x q(x) Cette formule nest pas quivalente a), car le quanticateur existentiel ne se distribue pas sur la conjonction j) x (q(x) p(x)) x (q(x) p(x)) qui nest autre que la formule h)

113.

a) x(p(x) q(x)) (x p(x) x q(x)) x(p(x) q(x)) x(p(x) q(x)) Prop. xp(x) x q(x) Prd. x p(x) x q(x) Prd. x p(x) x q(x) Prop.

68
b) yx (p(x,y) q(x)) (yx p(x,y) x q(x)) yx (p(x,y) q(x)) yx (p(x,y) q(x)) Prop. y (x p(x,y) x q(x)) Prd. y x p(x,y) x q(x) Prd. y x p(x,y) x q(x) Prd y x p(x,y) x q(x)) Prd. yx p(x,y) x q(x) Prop. c) (yx (p(x,y) q(x))) yx (p(x,y) q(x)) yx (p(x,y) q(x)) yx (p(x,y) q(x)) Prop. y (xp(x,y) x q(x)) Prd. y (x p(x,y) x q(x)) Prd. y (x p(x,y) x q(x)) Prop. yx p(x,y) x q(x) Prd.

Corrigs dexercices

114.

titre dexemple, voici la rsolution de six des treize exercices proposs : a) y [x p(x) p(y)] 1. x p(x) Hyp. 2. p(c) 1, E 3. x p(x) p(c) 1,2, Dch. 1, I 4. y(x p(x) p(c)) I c b) y (p(y) x p(x)) 1. p(c) Hyp. 2. x p(x) 1, I c 3. p(c) x p(x) 1,2, Dch.1, I 4. ?? Il est impossible de conclure, car il faudrait introduire un quanticateur universel sur une variable (c) qui a dj t signale prcdemment. e) x (p(x)q(x)) x p(x) x q(x) 1. x (p(x)q(x)) 2. p(c)q(c) 3. p(c) 4. x p(x) 5. p(d) q(d) 6. q(d) 7. x q(x) 8. x p(x)x q(x) 9. x (p(x)q(x)) x p(x) x q(x) 10. x p(x) x q(x) 11. x p(x) 12. p(e) 13. x q(x)

Hyp. 1,E 2, E 3, I 1, E 5, E 6, I 4,7, I 1,8, Dch.1, I Hyp. 10, E 11, E 10, E

Dduction

69
14. q(e) 15. p(e)q(e) 16. x (p(x) q(x)) 17. x p(x) x q(x) x (p(x) q(x)) 18. x p(x) x q(x) x (p(x) q(x)) g) x (p(x)q(x)) x p(x) x q(x) 1. x (p(x)q(x)) 2. p(c)q(c) 3. p(c) 4. x p(x) 5. q(c) 6. x q(x) 7. x p(x) x q(x) 8. x (p(x)q(x)) x p(x) x q(x) 13, E 12,14, I 15, I e 10,16, Dch.1, I 9,17, I

Hyp. 1, E 2, E 3, I 2, E 5, I 4,6, I 1,7, Dch.1, I

h) x p(x) x q(x) x (p(x)q(x)) 1. x p(x) x q(x) Hyp 2. x p(x) 1, E 3. p(c) 2, E c 4. x q(x) 1, E 5. q(d) 4, E d 6. ?? Il nest pas possible de conclure. Pour poursuivre la dmonstration, il aurait fallu instancier x q(x) avec la constante c, de manire obtenir p(c)q(c) que lon pourrait ensuite quantier pour obtenir la seconde partie de limplication. Mais linstanciation de x q(x) avec c nest pas autorise, il faut toujours instancier les existentielles avec des constantes indites et le c a dj t utilis la ligne 3. k) xy r(x,y) xy r(x,y) 1. [xy r(x,y) xy r(x,y)] 2. xy r(x,y) 3. xy r(x,y) xy r(x,y) 4. xy r(x,y) 5. xy r(x,y) 6. xy r(x,y) xy r(x,y) 7. xy r(x,y) 8. r(a,b) 9. y r(a,y) 10. xy r(x,y) 11. r(a,b) 12. yr(a,y) 13. x y r(x,y) 14. xy r(x,y) xy r(x,y) 15. xy r(x,y) xy r(x,y)

Hyp Hyp. 2, I 1,3, Dch. 2, I Hyp. 5, I 1,6, Dch. 5, I Hyp 8, I 9, I 4,10, Dch.8, I 11, I 12, I 7,13,Dch.1, I 14, E

70
115.
Il sagit de dmontrer la validit du raisonnement suivant Prmisses : h(j)b(j) l(j)a(j) x(b(x)a(x)) Conclusion : h(j) 1. 2. 3. 4. 5. 6. 7 8. 9. h(j)b(j) l(j)a(j) x(b(x)a(x)) h(j) b(j) b(j)a(j) a(j) a(j) h(j) Pr. Pr. Pr. Hyp. 1,4, E 3, E 5,6, E 2, E 7,8, Dch.4, I

Corrigs dexercices

116.

Il sagit de montrer que la formule suivante est valide : [xy (p(x,y) p(y,x))] x p(x,x) 1. xy (p(x,y) p(y,x)) Hyp. 2. p(a,a) Hyp. 3. y(p(a,y)p(y,a)) 1, E 4. p(a,a)p(a,a)) 3, E 5. p(a,a) 2,4,E 6. p(a,a) 2,5, Dch.2, I 7. xp(x,x) 6, I 8. [xy (p(x,y) p(y,x))] x p(x,x) 1,7, Dch.1, I Il faut dmontrer que [x(p(x) q(x))] [x(p(x)q(x))] 1. x(p(x) q(x)) Hyp. 2. x(p(x)q(x) Hyp. 3. p(a)q(a) 2, E a 4. p(a) 3, E 5. q(a) 3, E 6. p(a)q(a) 1, E 7. q(a) 4,6,E 8. x(p(x)q(x)) 5,7, Dch.2, I 9. [x(p(x) q(x))] [x(p(x)q(x)] 1,8, Dch.1, I 10. x(p(x)q(x)) Hyp. 11. p(b) Hyp. 12. q(b) Hyp. 13. p(b)q(b) 11,12, I 14. x(p(x)q(x)) 13, I 15. q(b) 10,15, Dch.12, I 16. q(b) 15, E

117.

Dduction

71
17. 18. p(b)q(b) x (p(x)q(x)) 11,16, Dch.11, I 17, I 10, 18, Dch.10, I 9,19, I b

19. [x(p(x)q(x))] [x(p(x) q(x))] 20. [x(p(x) q(x))] [x(p(x)q(x))]

118.

Il faut dmontrer que, pour autant que la condition dexistence soit ralise, A et E ne peuvent tre vraies en mme temps, cest--dire que [x(p(x)q(x))xp(x)] x(p(x) q(x)) 1. 2. 3. 4. 5. 6. 7. 8. 9. 10. x(p(x) q(x))x p(x) x(p(x) q(x)) p(a)q(a) x p(x) p(a) q(a) p(a)q(a) x(p(x)q(x)) x(p(x)q(x)) x(p(x)q(x)) Hyp. 1, E 2, E 1,E 4, E 3,5, E 5,6, I 7, I Hyp. 8,9, Dch.9, I 1,10, Dch.1 I a

9. (x(p(x) q(x))x(p(x))) x(p(x)q(x))

Remarquons que si nous ne disposons pas de la conditions dexistence, il nest pas possible de conclure : les lignes 4, 5 et 6 sont indispensables pour pouvoir obtenir p(a)q(a) partir de p(a)q(a)

119.

On peut videmment reprendre ici la remarque faite prcdemment dans le cadre de la rsolution de lexercice par les tableaux smantiques : montrer que, si A est vraie, I est vraie, pour autant que la condition dexistence soit satisfaite, cest montrer que le schma [x(p(x) q(x))x(p(x))] x(p(x)q(x)) est valide. Cette dernire formule est prcisment celle qui a t traite dans lexercice prcdent (au fait prs que, dans lexercice prcdent, le second membre de limplication est prcd dune double ngation). Les conclusions demandes (y compris propos de la ncessit de la condition dexistence) peuvent donc tre tires du tableau de lexercice prcdent. Montrer que, si E est vraie, O lest aussi, pour autant que la condition dexistence soit satisfaite, cest montrer que le schma [x(p(x)q(x)) x p(x)] x(p(x)q(x)) est valide. 1. 2. 3. 4. 5. 6. 7. 8. 9. 10. x(p(x)q(x)) x p(x) x p(x) p(a) q(a) p(a)q(a) x (p(x)q(x)) x (p(x)q(x)) q(a) p(a)q(a) x(p(x)q(x)) Hyp. 1, E 2, E Hyp. 3,4, I 5, I 1,E 6,7, Dch.4, I 3,8, I 9, I 1,10, Dch.1, I a

11. [x(p(x)q(x)) x p(x)] x(p(x)q(x))

On constate que, dans ce cas galement, la condition dexistence est indispensable.

72
120.
Il sagit de montrer que le raisonnement suivant est valide : Prmisses : Conclusion : 1. 2. 3. 4. 5. 6. 7. 8. 9. 10. 11. x(g(x)h(x)) x(f(x)g(x)) f(a)g(a) f(a) h(a) g(a) g(a)h(a) x(g(x)h(x)) h(a) f(a)h(a) x(f(x)h(x)) x(g(x)h(x)) x(f(x)g(x)) x (f(x)h(x)) Pr. Pr. 2, E 3, E Hyp. 3, E 5,6, I 7, I 1,8, Dch. 5, I 4,9, I 10, I a

Corrigs dexercices

Le syllogisme en Ferio est donc bien valide.

121.

a) Il sagit dtudier le raisonnement suivant : Prmisses: Conclusion : 1. 2. 3. 4. 5. x (l(x)d(x)) x (r(x)l(x)) x (r(x)d(x)) Pr. Pr. 1, E 2, E x (l(x)d(x)) x (r(x)l(x)) l(a)d(a) r(a)l(a) ??

On constate assez vite que lon ne pourra pas conclure, mais que si on disposait de la condition dexistence x r(x), on pourrait obtenir r(a) par instanciation, puis l(a) par application du modus ponens 4 et d(a) par application du modus ponens 3. On pourrait ensuite conclure en quantiant existentiellement r(a)d(a).

122.

a) Le raisonnement scrit : Prmisse : Conclusion : 1. xy c(x,y) 2. 3. 4. 5. 6. xy c(y,x) y c(y,a) c(b,a) yc(b,y) c(b,a) xy c(x,y) xy c(y,x) Pr. Hyp. 2, E 3, E 1,E 5, E 4,6, Dch.2, I b a

7. xy c(y,x) Le raisonnement propos est bien valide.

Dduction

73
b) Le raisonnement scrit : Prmisses : Conclusion : 2. xy m(x,y) 3. y m(b,y) 4. m(b,a) 5. y (m(y,a)a(a,y)) 6. m(b,a)a(a,b) 7. a(a,b) 8. y a(a,y) 9. xy a(x,y) Le raisonnement propos est valide. c) Le raisonnement scrit : Prmisses : Conclusion : 2. x a(x,x) 3. 4. 5. 6. 7. 8. 9. 10. xy (a(x,y)a(y,x)) y (a(a,y)a(y,a)) a (a,b) a (b,a) yz [(a(a,y)a(y,z))a(a,z)] z [(a(a,b)a(b,z))a(a,z)] a(a,b)a(b,a)a(a,a) a (a,a) x a (x,x) xyz [(a(x,y)a(y,z))a(x,z)] x a(x,x) xy (a(x,y)a(y,x)) Pr. Pr. Hyp. 3, E 4, E 1, E 6, E 7, E 5,8, E 9, I 2, 10, Dch.3 I a b 1. xyz [(a(x,y)a(y,z))a(x,z)] xy (m(y,x)a(x,y)) xy m(x,y) xy a(x,y) Pr. Pr. 2, E 3, E 1, E 5, E 4,6, E 7,I 8, I b a 1. xy (m(y,x)a(x,y))

11. xy (a(x,y)a(y,x)) Le raisonnement propos est valide. d) Le raisonnement scrit : Prmisse : Conclusion : 1. xy c(y,x) 2. y c(y,a) 3. c(b,a) xy c(y,x) yx c(y,x)

Hyp. 1, E 2, E b

Il est impossible de poursuivre la dmonstration, parce que pour obtenir la conclusion, il faudrait dabord quantier universellement c(b,a) sur la variable a (pour obtenir x c(b,x), que lon pourrait ensuite sans problme quantier existentiellement sur y). Or nous ne sommes pas autoriss quantier universellement c(b,a) sur la variable a, parce que a est alphabtiquement postrieure b. Et il nest pas possible de rsoudre le problme en instantiant avec une lettre postrieure b dans la ligne 2, parce qualors la ligne 3 contiendrait une variable libre postrieure la lettre b signale.

74
e) Le raisonnement scrit : Prmisses : xy (i(x,y)i(y,x)) xyz (i(x,y)i(y,z)i(x,z)) xy i(x,y) Conclusion : 1. 2. 3. 4. 5. 6. 7. 8. 9. 10. 11. 12. 13. 14. 15. 16. 17. 18. 19. x i(x,x) Pr. Pr. Pr. Hyp 4, E 3, E 6, E Hyp. 7,8, I 9, I 10, I 1,11, Dch. 8 I 12, E 7,13, I 2, E 15, E 16, E 14,17 E 5,18, Dch. 4, I b a xy (i(x,y)i(y,x)) xyz (i(x,y)i(y,z)i(x,z)) xy i(x,y) xi(x,x) i(a,a) y i(a,y) i(a,b) i(b,a) i(a,b)i(b,a) y (i(a,y)i(y,a)) xy(i(x,y)i(y,x)) i(b,a) i(b,a) i(a,b)i(b,a) yz (i(a,y)i(y,z)i(a,z)) z (i(a,b)i(b,z)i(a,z)) (i(a,b)i(b,a))i(a,a) i (a,a) x i(x,x)

Corrigs dexercices

123.

Dmontrons par exemple que les deux noncs du groupe b. sont incompatibles en prouvant que si xy(p(y,x)a(x,y)) est vrai, xy(a(x,y)p(y,x)) est ncessairement faux, cest--dire que si lon prend xy(p(y,x)a(x,y)) comme prmisse, on peut dmontrer la ngation de xy(a(x,y)p(y,x)). 1. xy(p(y,x)a(x,y)) 2. 3. 4. 5. 6. 7. 8. 9. xy(a(x,y)p(y,x)) y(a(a,y)p(y,a)) a(a,b)p(b,a) y(p(y,a)a(a,y)) p(b,a)a(a,b) a(a,b) p(b,a) p(b,a) Hyp. 2, E 3, E 1, E 5, E 6, E 4,7, E 6, E 8,9, Dch. 2, I b Pr.

10. xy(a(x,y)p(y,x))

Dduction

75
a) x f(x) x f(x) 1. 2. 3. 4. 5. 7. 8. 9. 10. 11. f(a) x f(x) xf(x) f(b) x f(x) f(b) x f(x) x f(x) f(a) x f(x) Hyp. Hyp. 2,I 1,3, Dch.2, I 4, I 1,4, Dch.1, I Hyp. 7, E Hyp. 9, E 8,10, Dch.9, I 7,11, Dch.7, I 6,12, I b a

124.

6. x f(x) xf(x)

12. xf(x) x f(x) 13. x f(x) x f(x) c) xy r(x,y) xy r(x,y) 1. 2. 3. 4. 5. 6. 7. 9. 10. 11. 12. 13. 14. 15. r(a,b) yr(a,y) xyr(x,y) xyr(x,y) xy r(x,y) y r(c,y) r(c,d) yr(c,y) r(c,d) xy r(x,y) xy r(x,y) r(a,b) y r(a,y) x y r(x,y)

Hyp. Hyp 2, I 3, I 1,4, Dch.2, I 5, I 6, I 1, 7, Dch.1, I Hyp. Hyp. 10, E 11, E 12, E 13, E 12,14, Dch.10, I 9,15,Dch.9, I 8,16, I d c a b

8. xy r(x,y) xyr(x,y)

16. xyr(x,y) xy r(x,y) 17. xy r(x,y) xy r(x,y)

76
125.
Les propositions sont : a) b) c) d) p l lp l l (pl) (pl) (ou p l) p V V F F l V F V F p F F V V l F V F V pl V F V V lp V F F F l l V V V V p l V V F V

Corrigs dexercices

(pl) (pl) V F F V

On voit que

l p = (pl) (pl) ; l p = p l ; l p = l l (pl) (pl) = p l ; (pl) (pl) = l l p l = l l Donc l l est plus probable que p l, qui est plus probable que (pl) (pl), qui est plus probable que l p

126.

[(p l) (p i)] (i l)
p V V V V F F F F l V V F F V V F F i V F V F V F V F pl V V F F F F V V pi V F V F V V V V (pl) (pi) V F F F F F V V il V V F V V V F V Formule V V V V V V F V

Raisonnement non valide

127.
{[(p l) (p i)] (i l)} (p l) (p i), (i l) p l, p i, (i l) p l, p i, i, l p, l, p i, i, l X p, l, p i, i, l p, l, p i, i p, l, p, i O p, l, i, i O

Raisonnement non valide ; on retrouve dailleurs linterprtation qui rendait fausse la formule du raisonnement dans les tables de vrit.

Dduction

77
[(p l) (p i)] (i l) [(p l) (l p) (p i)] (i l) [(p l) (l p) (p i)] (i l) [(p l) (l p) (p i)] (i l) [(p l) (l p) (p i)] (i l) (p l) (l p) (p i) i l FND (pli) (pli) (lpi) (lpi) (pil) (pil) (ip) (ip) (lp) (lp) (pli) (pli) (lpi) (lpi) (pil) (pil) (ipl) (ipl) (ipl) (ipl) (lpi) (lpi) (lpi) (lpi) (pli) (pli) (lpi) (lpi) (pil) (ipl) (lpi) Il ny a que sept termes. Manque le terme pli. Le raisonnement nest pas valide.

128.

129.

partir des prmisses, je ne peux pas dmontrer que Frege ne mintresse que sil est logicien . On pourrait chercher dmontrer que i l en ajoutant i comme hypothse supplmentaire et en essayant den dduire l, mais cette tentative est voue lchec : de i, je ne puis rien dduire partir de p i. En revanche, je puis dmontrer que Frege mintresse sil est logicien : (1) pl Pr. (2) pi Pr. (3) l Hyp. (4) p 1, 3, E (5) i 2, 4, E (6) li 3, 5, Dch. 3, I Il faut tre logicien pour tre philosophe est quivalent Tous les philosophes sont logiciens . sa contradictoire est d) sa subalterne est a) sa contraire est b) son obverse est c)
Il faut tre logicien pour tre philosophe Contraires Personne nest philosophe et non logicien Subalternes Nul philosophe nest logicien

130.

131.

Contradictoires Contradictoires Subalternes

Beaucoup de logiciens sont philosophes

Subcontraires

Il est des philosophes qui ne sont pas logiciens

132.

a) Il faut tre logicien pour tre philosophe Personne nest philosophe sans tre logicien Philosophes Logiciens

78
b) Beaucoup de philosophes sont logiciens
Philosophes X Logiciens

Corrigs dexercices

c) Nul philosophe nest logicien


Philosophes Logiciens

d) Il est des philosophes qui ne sont pas logiciens


Philosophes X Logiciens

133.

En notant p(x) : x est philosophe l(x) : x est logicien a) Il faut tre logicien pour tre philosophe x (p(x) l(x)) b) Beaucoup de philosophes sont logiciens x (p(x)l(x)) c) Nul philosophe nest logicien x (p(x)l(x)) ou x (p(x)l(x)) d) Personne nest philosophe et non logicien x (p(x)l(x)) e) Il est des philosophes qui ne sont pas logiciens x (p(x)l(x)) Il sagit de dmontrer que x (p(x) l(x)) x (p(x)l(x)) x (p(x) l(x)) x (p(x) l(x)) Prop. x (p(x) l(x)) Prd. x (p(x)l(x)) Prop. Le moyen terme tendu dans lespace est attribut dans la majeure, sujet dans la mineure. Il sagit donc dun syllogisme de la 4e gure. Les propositions sont du type AEE. Il sagit donc dun syllogisme en Camenes Pour ramener un syllogisme en Camenes un syllogisme de la premire gure (en Celarent), il faut permuter ses prmisses (m) et oprer une conversion simple (s) sur sa conclusion. On obtient ainsi un syllogisme en Celarent : Rien de ce qui est tendu dans lespace nest immortel. Tous les corps sont tendus dans lespace. Donc aucun corps nest immortel.

134.

135.

136.

Dduction

79

137.
tendus dans lespace

Immortels

Corps

138.

On note
c(x) : x est un corps e(x) : x est tendu dans lespace i(x) : x est immortel Le raisonnement scrit : Prmisses x (c(x)e(x)) x (e(x)i(x)) Conclusion x (i(x)c(x)) Il correspond la proposition [x (c(x)e(x)) x (e(x)i(x))] x (i(x)c(x)) dont on tudie la validit en recherchant des modles de {[x (c(x)e(x)) x (e(x)i(x))] x (i(x)c(x))} {[x (c(x) e(x)) x (e(x) i(x))] x (i(x)c(x))}

[x (c(x) e(x)) x (e(x) i(x)), x (i(x) c(x))

x (c(x) e(x)), x (e(x) i(x)), x (i(x) c(x))

x (c(x) e(x)), x (e(x) i(x)), i(a ) c(a)

x (c(x) e(x)), x (e(x) i(x)), i(a), c(a)

x (c(x) e(x)), x (e(x) i(x)), i(a), c(a), c(a) e(a)

x (c(x) e(x)), x (e(x) i(x)), i(a), c(a), c(a) e(a), (e(a) i(a)) x (c(x ) e(x)), x (e(x) i(x)), i(a), c(a), c(a), (e(a) i(a)) X x (c(x) e(x)), x (e(x) i(x)), i(a), c(a), e(a), e(a) X Le syllogisme est bien valide. x (c(x) e(x)), x (e(x) i(x)), i(a), c(a), e(a), i(a) X x (c(x) e(x)), x (e(x) i(x)), i(a), c(a), e(a), (e(a) i(a))

80
139.
Il sagit de dmontrer la validit du raisonnement suivant : Prmisses x (c(x)e(x)) x (e(x)i(x)) Conclusion x (i(x)c(x)) 1. x (c(x)e(x)) Pr. 2. x (e(x)i(x)) Pr. 3. x (i(x)c(x)) Hyp. 4. i(a)c(a) 3, E 5. c(a) 4, E 6. c(a)e(a) 1, E 7. e(a) 5,6, E 8. i(a) 4, E 9. e(a)i(a) 7,8, I 10. x(e(x)i(x)) 9, I 11. x (i(x)c(x)) 2,10, Dch.3,I

Corrigs dexercices

noter que, en posant x (i(x)c(x)) la ligne 3 et en tirant de cette hypothse et de la prmisse 1 la conclusion 10, qui est la ngation de la prmisse 2, cette dduction naturelle consiste en fait en un raisonnement par labsurde, qui montre le lien de Celarent Darii.

C O R R I G

2
Argumentation

82
I. 1) 3 ; 2) 2 ; 3) 4 ; 4) 5 ; 5) 6 ; 6) 1 II. 1) 2) 3) 4) 5) 6) 7) 8) 9) 29 18 46 21 53 63 53 12 17 23) 54 24) 24 25) 16 26) 51 27) 28 28) 36 29) 56 30) 1 31) 68 32) 11 33) 43 34) 13 35) 25 36) 35 (et 40) 37) 55 38) 34 39) 30 40) 45 41) 7 42) 49 43) 20 44) 38 (et 36) 45) 19 46) 31 47) 14 48) 40 49) 4 50) 60 51) 67 52) 65 53) 37 54) 64 55) 23 56) 66 57) 6 58) 58 59) 6 (et 5) 60) 24

Corrigs dexercices

10) 59 (et 14) 11) 15 12) 25 13) 9 14) 61 15) 8 16) 58 17) 10 18) 33 19) 62 20) 19 21) 44 22) 22 III. 1) 2) 3) 4) 5) 6) 7) 8) 9) 3 1 3 2 1 1 6 (Ad carotam) 3 2

61) 12 (et 13) 62) 63 63) 49 64) 29 65) 34

11) 1 12) 2 13) 6 (Ad verecundiam) 14) 2 15) 1 16) 2 17) 3 18) 1 19) 1 20) 4

21) 1 22) 6 (Chaudron) 23) 4 24) 2 25) 1 26) 3 27) 1 28) 1 29) 2 30) 1

10) 6 (Dilemme- valide)

Argumentation

83
61) 1 62) 2 63) 1 64) 2 65) 1 66) 3 67) 1 68) 1 69) 3 70) 3 71) 2 72) 6 (Ad consequentiam) 73) 1 74) 1 75) 2 76) 1 77) 1 78) 2 79) 1 80) 3 81) 2 82) 2 83) 1 84) 1 85) 1 86) 3 87) 1 88) 1 89) 1 90) 2 91) 1 92) 3 93) 1 94) 1 95) 3 96) 2 97) 3 98) 2 99) 3 100) 101) 102) 103) 104) 105) 106) 107) 108) 109) 110) 111) 112) 113) 114) 115) 116) 117) 118) 119) 120) 121) 122) 1 2 1 2 2 1 1 1 1 1 2 2 2 2 2 2 1 3 1 1 1 3 1

31) 2 32) 3 33) 1 34) 2 35) 3 36) 1 37) 2 38) 1 39) 2 40) 2 41) 6 (Attaque personnelle injurieuse) 42) 2 43) 2 44) 1 45) 2 46) 1 47) 4 48) 3 49) 3 50) 1 51) 2 52) 1 53) 2 54) 3 55) 3 56) 1 57) 1 58) 2 59) 6 (Ambigut lexicale) 60) 2