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

Passo 1

O enunciado apresenta as duas premissas
;2>1 3>1
e
;2>1
e pede para usar a regra de inferência Modus Ponens, que em lógica proposicional diz que de
;P Q e ;P
podemos inferir
;Q.

Passo 2

Aqui identificamos
;Pequiv 2>1
e
;Qequiv 3>1.

Passo 3

Aplicando Modus Ponens: de
;2>1 3>1
e
;2>1
seguimos que
;3>1.

Resposta

;3>1

Exercícios relacionados