Cláusula (lógica)
En lógica matemática, una cláusula ye una disyunción de lliterales. En cálculo proposicional, de normal escríbense de la forma:
onde cada , con ye un lliteral.
Análogamente, llámase cláusula conxuntiva a una conjunción de lliterales:
Ver tamién[editar | editar la fonte]
Referencies[editar | editar la fonte]
Enllaces esternos[editar | editar la fonte]
- Terminoloxía rellacionada con cláusulas lógicas (n'inglés)
- Término "cláusula" simultáneamente traducíu a diversos llinguaxes y significaos (n'inglés)