Diferenciação entre MODUS PONENS E MODUS TOLLENS
Assim, sendo a principal forma de diferenciar é que:
No modus ponens, você usa a implicação para provar que a consequência é verdadeira ao demonstrar que a premissa é verdadeira.
No modus tollens, você usa a implicação para provar que a premissa é falsa ao demonstrar que a consequência é falsa.
Ou seja, são quase que opostos, vendo-se sobre esse ângulo.
Além disso, dá para dizer que o processo matemático de demonstração por inferência é uma aplicação do modus ponens, enquanto que o processo por trás da demonstração por redução ao absurdo é uma aplicação do modus tollens.
------------------------------------------------
p -> q
p
--------
q
LETRA C
Entendi lendo aqui
https://pt.stackoverflow.com/questions/137204/qual-a-diferen%C3%A7a-entre-modus-ponens-e-modus-tollens