Associe os exemplos a seguir a uma das regras de inferências da questão anterior.
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:
Passo 3
Relembrando a regra de inferência chamada modus tollens: sempre que temos
e
podemos inferir
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
se obtém por aplicação dessa regra às premissas
e
.
Resposta
Modus Tollens