Lógicas Clássicas
Resolução
RESOLUÇÃO NA LÓGICA PROPOSICIONAL
- Na Lógica Proposicional, o procedimento para produzir uma prova pela resolução da proposição S, com relação a um conjunto de axiomas F, é o seguinte:
1. Converter todas as proposições de F em cláusulas.
2. Negar S e converter o resultado em cláusulas. Acrescente-as ao conjunto de cláusulas obtidas no passo 1.