Indicar a regra de inferencia gue fustifica a validade dos seguintes angumentos:
,
Passo 1
O enunciado quer saber qual a regra de inferência que permite, a partir de
e
concluir
O conteúdo é lógica proposicional elemental, e para resolver precisamos reconhecer o esquema “da premissa condicional mais o antecedente, infiro o consequente”.
Passo 2
Observamos que temos exatamente o padrão
onde aqui
é
e
é
. A partir deste esquema clássico, aplicamos a regra de Modus Ponens, que afirma que de
e
se infere
.
Resposta
A regra de inferência usada é Modus Ponens.