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 premissas
e
.
O conteúdo é lógica proposicional, e vamos usar a regra do modus tollens, que diz que de
O conteúdo é lógica proposicional, e vamos usar a regra do modus tollens, que diz que de
e
segue-se
Passo 2
Identificamos
e
. Como temos
e
(isto é,
), pelo modus tollens concluímos
ou seja,
.
Passo 3
Negar a proposição
equivale a afirmar
.