Usar a regra “Modus tollens” para deduzir a conclusão de cada um dos seguintes pares de premissas:
(1) x>3 x>y
(2) x n>r y

Passo 1

O enunciado nos dá as premissas
(x>3)(x>y) e xn>r y.
O conteúdo é lógica proposicional, e vamos usar a regra do modus tollens, que diz que de
P Q
e
lnot Q
segue-se
lnot P

Passo 2

Identificamos Pequiv(x>3) e Qequiv(x>y). Como temos P Q e lnot Q (isto é, xn>r y), pelo modus tollens concluímos
lnot P,
ou seja, lnot(x>3).

Passo 3

Negar a proposição x>3 equivale a afirmar x<=3.

Resposta

x<=3

Exercícios relacionados