Usar a regra “Modus tollens” para deduzir a conclusão de cada um dos seguintes pares de premissas:
(1)
(2)
(1)
(2)
Passo 1
O enunciado nos dá as duas premissas
e
O conteúdo aqui é lógica proposicional, em particular a regra do modus tollens, que diz: de
e de
podemos inferir
Passo 2
Para aplicar o modus tollens, identificamos em nossa primeira premissa
e
:
é a afirmação “
” e
é a afirmação “
”.
Passo 3
A segunda premissa nos dá exatamente a negação de
, pois
é o mesmo que
Ou seja, temos
.
Passo 4
Pelo modus tollens, de
e
segue-se
Portanto obtemos
que equivale a