En razonamiento formal, una conjunción lógica () entre dos proposiciones es un conector lógico cuyo valor de la verdad resulta en cierto sólo si ambas proposiciones son ciertas, y en falso de cualquier otra forma. Existen diferentes contextos donde se utiliza la conjunción lógica. En lenguajes formales, la palabra "y" se utiliza en español para simbolizar una conjunción lógica. La noción equivalente en la teoría de conjuntos es la intersección (). En álgebra Booleana, la conjunción como operador binario entre dos variables se representa con el símbolo de punto medio ( · ). En electrónica, una puerta AND es una puerta lógica que implementa la conjunción lógica.

Leer el artículo completo en Wikipedia · CC-BY-SA

In logic and mathematics, and is the truth-functional operator of logical conjunction; the and of a set of operands is true if and only if all of its operands are true. The logical connective that represents this operator is typically written as ∧ or ⋅ . "A and B" is true only if A is true and B is true. An operand of a conjunction is a conjunct. Related concepts in other fields are: \n* In natural language, the coordinating conjunction "and". \n* In programming languages, the short-circuit and control structure. \n* In set theory, intersection. \n* In predicate logic, universal quantification.

Leer el artículo completo en Wikipedia · CC-BY-SA