Suponha que tem a seguinte base de conhecimento: $P ightarrow (Q ightarrow R)$, $ eg P ightarrow P$, $ eg R$ Mostre utilizando a regra de inferência Resolução, que se pode concluir:

Demonstração Lógica via Regra de Resolução

A questão solicita a demonstração de que \neg Q é uma consequência lógica das premissas dadas, utilizando o método de resolução. Este processo envolve converter as fórmulas para a Forma Normal Conjunta (FNC) e aplicar a regra de resolução até obter uma contradição.

Resumo da Resposta

O objetivo é transformar as premissas em cláusulas lógicas, adicionar a negação da conclusão (Q) e derivar um conjunto vazio, provando assim que \neg Q é válido.

Desenvolvimento Didático

1. Conversão para Forma Normal Conjunta (FNC)

Primeiro, eliminamos as implicações (\Rightarrow) usando a equivalência A \Rightarrow B \equiv \neg A \lor B.

• Premissa 1: P \Rightarrow (Q \Rightarrow R)
• Aplicando a equivalência duas vezes: \neg P \lor (\neg Q \lor R)
• Cláusula: \{\neg P, \neg Q, R\}
• Premissa 2: \neg P \Rightarrow P
• Aplicando a equivalência: \neg(\neg P) \lor P \Rightarrow P \lor P
• Simplificação: P
• Cláusula: \{P\}
• Premissa 3: \neg R
• Já está na forma literal.
• Cláusula: \{\neg R\}

2. Adição da Negação da Conclusão

Para provar \neg Q por refutação, assumimos que ele é falso.

• Negação de \neg Q é Q.
• Cláusula de Hipótese: \{Q\}

3. Aplicação da Regra de Resolução

Agora, combinamos as cláusulas para eliminar literais complementares.

Análise Técnica

• Eliminação de Literais: Em cada passo, selecionamos um literal positivo e seu complemento negativo.
• Derivação de Contradição: Ao chegar ao conjunto vazio (\square), significa que as premissas somadas à negação da conclusão são inconsistentes.
• Validade: Isso prova matematicamente que a premissa inicial obriga a conclusão \neg Q a ser verdadeira.

Conclusão

Através da aplicação sistemática da regra de resolução sobre as cláusulas normalizadas, obtivemos uma contradição. Portanto, a afirmação \neg Q é logicamente válida baseada na base de conhecimento apresentada.