Associe os exemplos a seguir a uma das regras de inferências da questão anterior.
& (1) P Q & (2) sim Q hline(3) sim P

Passo 1

O enunciado nos dá duas premissas em lógica proposicional e pede que a gente identifique qual regra de inferência está sendo usada para chegar à conclusão. O conteúdo aqui é reconhecer padrões de regras como modus ponens, modus tollens, silogismo disjuntivo etc.

Passo 2

Vamos escrever as premissas e a conclusão em forma simbólica para ficar mais claro:
(1) Pto Q
(2) neg Q
therefore (3) neg P

Passo 3

Relembrando a regra de inferência chamada modus tollens: sempre que temos
Pto Q
e
neg Q
podemos inferir
neg P

Passo 4

Comparando com as premissas que foram dadas, vemos que elas coincidem exatamente com o padrão de modus tollens. Logo, a conclusão neg P se obtém por aplicação dessa regra às premissas (1) e (2).

Resposta

Modus Tollens

Exercícios relacionados