Wikidata facts
- Subclass of
- finite set
- Has part
- literal
Show 2 more facts
- studied by
- Boolean algebra
- maintained by WikiProject
- WikiProject Mathematics
Sources (1)
via Wikidata · CC0
Article · Español
En lógica matemática, una cláusula es una expresión formada por una colección finita de literales (variables o sus negaciones) que es verdadera cuando es verdadero al menos uno de los literales que la forman. En lógica proposicional, normalmente las cláusulas son descritas como una disyunción de literales : Análogamente, se llama cláusula conjuntiva a una conjunción de literales:
Abstract from DBpedia / Wikipedia · CC BY-SA