Indicar a Regra de inferência que justifica a validade dos seguintes argumentos:
Passo 1
O enunciado nos dá a premissa
e pede para inferirmos
.
Isso faz parte de inferências em lógica proposicional, em que usamos regras como eliminação de conjunção, simplificação, modus ponens etc.
Isso faz parte de inferências em lógica proposicional, em que usamos regras como eliminação de conjunção, simplificação, modus ponens etc.
Passo 2
Aplicamos a regra de eliminação da conjunção (também chamada de simplificação), que afirma que de
podemos inferir
(portanto, aqui com
e
).
Resposta
Eliminação da conjunção (simplificação).