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 nos dá duas premissas:
e pede para usar a regra do modus ponens, que diz: “se temos e temos
, então podemos inferir
”.
e pede para usar a regra do modus ponens, que diz: “se temos
Passo 2
Identificamos
Logo, a premissa 1 é e a premissa 2 é
.
Logo, a premissa 1 é
Passo 3
Aplicando modus ponens a
seguimos que
isto é, concluímos
.