0 Bewertungen0% fanden dieses Dokument nützlich (0 Abstimmungen)
35 Ansichten15 Seiten
1) O documento descreve os processos de prenex e Skolem para transformar fórmulas lógicas.
2) Prenex consiste em mover todos os quantificadores para o prefixo da fórmula usando equivalências lógicas.
3) Skolem elimina quantificadores existenciais substituindo variáveis por funções dos quantificadores universais à esquerda.
Originalbeschreibung:
Apresentação de slides da aula de Logica aplicada a computação, assunto: Prenex e Skolem
1) O documento descreve os processos de prenex e Skolem para transformar fórmulas lógicas.
2) Prenex consiste em mover todos os quantificadores para o prefixo da fórmula usando equivalência…