Valide ou invalide?

(1) Si ces chevaux ont des ailes, ce sont des licornes. (2) Or, ces chevaux ont des ailes. (C) Ce sont donc des licornes.

• modus ponens

  si P alors Q

  P

  Q

• modus tollens

  Si P alors Q

  non Q

  non P

• invalide

  autre forme

(1) Si je n’ai pas assez dormi, alors je suis fatiguée. (2) Or, je ne suis pas fatiguée du tout. (C) Donc, j’ai assez dormi.

• modus ponens

• modus tollens

• invalide

(1) Si l’autobus est en retard, alors je vais rater le début du film. (2) J’ai raté le début du film. (C) Ça veut dire que l’autobus était en retard.

• modus ponens

• modus tollens

• invalide

(1) Si j’oublie de nourrir mon chat, il se met à miauler très fort. (2) En ce moment, mon chat hurle à la fenêtre. (C) C’est sans doute parce que j’ai oublié de le nourrir.

• modus ponens

• modus tollens

• invalide

(1) Si j’oublie de nourrir mon chien, alors il se transforme en citrouille. (2) J’ai oublié de nourrir mon chien. (C) Alors il va se transformer en citrouille.

• modus ponens

• modus tollens

• invalide

(1) Si j’oublie de nourrir mon perroquet, il va crier « Coco a faim! ». (2) Mon perroquet n’a pas dit qu’il avait faim. (C) Je n’ai donc pas oublié de le nourrir.

• modus ponens

• modus tollens

• invalide

(1) Si j’oublie de nourrir mon alligator, alors il va aller s’acheter des beignes. (2) J’ai complètement oublié de nourrir mon alligator. (C) Mon alligator va aller s’acheter des beignes.

• modus ponens

• modus tollens

• invalide

(1) Si mon alligator va s’acheter des beignes, il va y avoir une panique au Tim Hortons. (2) J’ai vu des gens paniquer dans le stationnement du Tim Hortons. (C) Mon alligator est en train de s’acheter des beignes.

• modus ponens

• modus tollens

• invalide

(1) S’il n’y a plus de beignes au Tim Hortons, alors mon alligator va aller chez Dunkin Donuts. (2) Mon cousin qui travaille au Dunkin m’a dit que mon alligator n’est pas venu. (C) Ça veut dire qu’il restait encore des beignes au Tim.

• modus ponens

• modus tollens

• invalide

Faites un diagramme pour montrer que ce raisonnement est invalide.

1) x est un A

2) tous les A sont des B

C) x n'est pas un B