Questão de Raciocínio Lógico

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