Usar a regra “Modus ponens” para deduzir a conclusão de cada um dos seguintes pares de premissas:
(1)
.
(2)
(1)
(2)
Passo 1
Temos as seguintes premissas:
e
.
O objetivo é usar a regra de modus ponens, que diz: se temos e também
, então podemos deduzir
.
e
O objetivo é usar a regra de modus ponens, que diz: se temos
Passo 2
No esquema de modus ponens, identifiquemos
e
.
Ou seja, a primeira premissa é e a segunda é exatamente
.
e
Ou seja, a primeira premissa é
Passo 3
Como dispomos de
e de
, aplicamos modus ponens para concluir
. Portanto obtemos