Bonjour ! L'énoncé est : le modus tollens est une forme de sylogisme, comment est il formalisé ?
L'item "si A est vrai et que A-> B alors B est vrai" je ne comprends pas parce que dans le cours c'est exactement la definition du modus ponens.. ?! Peut etre qu'il y a un truc que j'ai pas compris ?
Merci d'avance