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 P1 e P2
P1: “Se o gerente foi trabalhar, então o diretor foi à escola”;
P2: “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
o gerente foi trabalhar, o diretor não foi à escola e seu filho foi à autoescola.
o gerente foi trabalhar, o diretor não foi à escola e seu filho não foi à autoescola.
o gerente não foi trabalhar, o diretor não foi à escola e seu filho foi à autoescola.
o gerente não foi trabalhar, o diretor não foi à escola e seu filho não foi à autoescola.