Cláusula (lógica)

Esta página ou secção não cita nenhuma fonte ou referência, o que compromete sua credibilidade (desde Outubro de 2012).
Por favor, melhore este artigo providenciando fontes fiáveis e independentes, inserindo-as no corpo do texto por meio de notas de rodapé. Encontre fontes: Google — notícias, livros, acadêmico — Scirus — Bing. Veja como referenciar e citar as fontes.

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 [editar]

Este artigo sobre matemática é mínimo. Você pode ajudar a Wikipédia expandindo-o.