Y lógico

Ambas afirmaciones deben ser verdaderas. En p ∧ q, la afirmación completa solo es verdadera cuando p y q son verdaderas. En cualquier otro caso es falsa. Los lógicos llaman conjunción a esta operación, y el símbolo suele llamarse cuña.

La cuña se imprimió por primera vez para la conjunción en 1930, en un artículo en el que el matemático neerlandés Arend Heyting formalizó la lógica intuicionista. La lógica intuicionista es una versión de la lógica que solo acepta una afirmación cuando existe una demostración de ella. Los lógicos anteriores escribían la conjunción de otras formas, como un punto o &. ∧ fue una opción de notación que acabó imponiéndose, pero no sustituyó a las demás en todas partes.

Hoy, los manuales de lógica y los cursos de informática usan ∧ en tablas de verdad y fórmulas. Los lenguajes de programación usan sobre todo && o and, porque se escriben con facilidad y cada lenguaje fija sus propias reglas para evaluarlos.