Voici Le QCM 3 qui me pose problème, l'énoncé est :
Le modus tollens est un forme de syllogisme. Comment est-il formalisé ?
Les items A et D sont comptés vrais
A. Si A est vrai et que A-> B, alors B est vrai
D. Si non B est vrai et que A-> B alors non A est vrai
Je suis d'accord avec la réponse D mais je ne comprends pas pourquoi la A est compté vraie car pour moi il s'agirait de la formalisation du Modus Ponens et pas celui du Modus Tollens, est ce que vous pourriez m'expliquer svp ?
Ou alors est ce que c'est une mauvaise interprétation de ma part de l'énoncé et on se réfère au syllogisme et non pas au modus tollens ?
