) entre dos proposiciones es un conector lógico cuyo valor de la verdad resulta en cierto solo si ambas proposiciones son ciertas, y en falso de cualquier otra forma.
[1] Existen diferentes contextos donde se utiliza la conjunción lógica.
En lenguajes formales, el conectivo "y" se utiliza en español para simbolizar una conjunción lógica.
En álgebra booleana, la conjunción como operador binario entre dos variables se representa con el símbolo de punto medio ( · ).
, se puede definir la operación binaria: conjunción, por la que a una variable
Para todo par ordenado (a,b) en U por U, se cumple que existe un único c en U, tal que c es el resultado de la conjunción lógica a y b.
Si declaraciones en un lenguaje formal representan proposiciones en lógica proposicional con contenido de verdad o falsedad, entonces una conjunción lógica es cierta solo si ambas declaraciones son ciertas.
Dado un conjunto B = {0, 1}, se define · como una función tal que: 0 · 0 = 0, 0 · 1 = 0, 1 · 0 = 0, 1 · 1 = 1 La conjunción lógica presenta las siguientes propiedades: La conjunción es utilizada a menudo para operaciones con bits.