Cláusula (lógica)

Origem: Wikipédia, a enciclopédia livre.
(Redirecionado de Cláusulas (Lógica))
Ir para: navegação, pesquisa
Question book.svg
Esta página ou secção não cita fontes confiáveis e independentes, o que compromete sua credibilidade (desde Outubro de 2012). Por favor, adicione referências e insira-as corretamente no texto ou no rodapé. Conteúdo sem fontes poderá ser removido.
Encontre fontes: Google (notícias, livros e acadêmico)

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 | editar código-fonte]

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