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 fornece as premissas
e pede para deduzir a conclusão usando a regra de inferência “modus ponens”.
Passo 2
A regra de modus ponens afirma que, se temos
e
então podemos concluir
Passo 3
Aqui identificamos
Como temos
e também
, aplicando modus ponens concluímos