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
Referencies editar
Enllaces esternos editar
- 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)