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:
Terminología relacionada con cláusulas lógicas (en inglés)
(en inglés)
Datos:Q1228746
Noviembre 02, 2021
cláusula, lógica, lógica, matemática, cláusula, expresión, formada, colección, finita, literales, variables, negaciones, verdadera, cuando, verdadero, menos, literales, forman, lógica, proposicional, normalmente, cláusulas, descritas, como, disyunción, literal. En logica matematica una clausula es una expresion formada por una coleccion finita de literales variables o sus negaciones que es verdadera cuando es verdadero al menos uno de los literales que la forman En logica proposicional normalmente las clausulas son descritas como una disyuncion de literales l i displaystyle l i l 1 l n displaystyle l 1 vee cdots vee l n Analogamente se llama clausula conjuntiva a una conjuncion de literales l 1 l n displaystyle l 1 wedge cdots wedge l n Vease tambien EditarClausula de HornEnlaces externos EditarTerminologia relacionada con clausulas logicas en ingles Termino clausula simultaneamente traducido a diversos lenguajes y significados en ingles Datos Q1228746 Obtenido de https es wikipedia org w index php title Clausula logica amp oldid 118018787, wikipedia, wiki, leyendo, leer, libro, biblioteca,