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 em lógica proposicional e pede para usar o Modus ponens (regra de inferência que, a partir de
e
, permite concluir
) para deduzir a conclusão.
Passo 2
Identificamos as premissas:
Passo 3
A regra de Modus ponens diz que, se temos
e
, então podemos inferir
.
Passo 4
Aplicando Modus ponens às premissas (i) e (ii), obtemos diretamente