Na Lógica proposicional, temos dois “ modus ”, um confirma a Verdade e o outro confirma uma Falácia (mentira). No modus ponens , o detetive usa a implicação para provar que a conse

Na Lógica proposicional, temos dois “modus”, um confirma a Verdade e o outro confirma uma Falácia (mentira). No modus ponens, o detetive usa a implicação para provar que a consequência é verdadeira ao demonstrar com provas que a premissa é verdadeira. No modus tollens, ele usa a implicação para provar que a premissa é falsa ao demonstrar com provas que a consequência é falsa.

Considere conjuntamente as premissas P₁ e P₂

P₁: “Se o gerente foi trabalhar, então o diretor foi à escola”;

P₂: “Se o diretor foi à escola ou seu filho foi à autoescola, então o prefeito foi à prefeitura”.

O detetive obteve prova de que o prefeito não foi à prefeitura, então ele usa o modus correto e conclui como consequência disso que