Este artigo não cita fontes confiáveis. Ajude a inserir referências. Conteúdo não verificável pode ser removido.—Encontre fontes: Google (notícias, livros e acadêmico) (Outubro de 2012) |
Na lógica e na programação declarativa, uma cláusula é uma disjunção ou conjunção de literais, e pode ser interpretada como uma declaração (condicional).
Uma sentença expressa como uma conjunção de cláusulas disjuntivas é dita estar na forma normal conjuntiva.
Ver também
Este sobre matemática é um esboço. Você pode ajudar a Wikipédia expandindo-o. |