Indicar a Regra de inferência que justifica a validade dos seguintes argumentos:
Passo 1
O enunciado nos dá as premissas
e
e pede para inferirmos
Estamos em lógica proposicional e precisamos aplicar uma regra que permita usar uma implicação e seu antecedente para obter o consequente.
Passo 2
Usamos a regra de eliminação do condicional (também chamada de Modus Ponens): de
e
podemos inferir diretamente
Resposta
A regra de inferência usada é o Modus Ponens (eliminação de
).