Usar a regra “Modus ponens” para deduzir a conclusão de cada um dos seguintes pares de premissas:
(1)
(2)
(1)
(2)
Passo 1
O enunciado apresenta as duas premissas
e
e pede para usar a regra de inferência Modus Ponens, que em lógica proposicional diz que de
e
podemos inferir
.
e
e pede para usar a regra de inferência Modus Ponens, que em lógica proposicional diz que de
podemos inferir
Passo 2
Aqui identificamos
e
.
e
Passo 3
Aplicando Modus Ponens: de
e
seguimos que
.
e
seguimos que