𝖂𝖎ƙ𝖎𝖊

Cláusula (lógica)

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

Ícone de esboço Este sobre matemática é um esboço. Você pode ajudar a Wikipédia expandindo-o.

talvez você goste