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á duas premissas:
-
-
Queremos usar a regra de inferência modus tollens, que nos ajuda a deduzir conclusões a partir de condicionais.
Passo 2
O modus tollens diz que, se temos
e sabemos que
então podemos concluir
Passo 3
Aqui podemos identificar
Pelas premissas temos
e
. Aplicando modus tollens, concluímos
ou seja,