Início
Aleatório
Aqui perto
Entrar
Definições
Donativos
Sobre a Wikipédia
Avisos gerais
Pesquisar
Forma normal clausal: diferenças entre revisões
Língua
Vigiar
Editar
Explorar interativamente o histórico
← Ver a alteração anterior
Ver a alteração posterior →
Conteúdo apagado
Conteúdo adicionado
Visual
Texto wiki
Revisão das 23h49min de 17 de dezembro de 2006
editar
200.157.219.131
(
discussão
)
→Veja também
← Ver a alteração anterior
Revisão das 02h59min de 18 de dezembro de 2006
editar
desfazer
Arthorius
(
discussão
|
contribs
)
118
edições
m
→Veja também
Ver a alteração posterior →
Linha 90:
*[[Cláusula (lógica)]]
*[[Forma normal prenex]]
*[[Lógica]]
*[[Princípio da Resolução]]
*[[Programação lógica]]