La conjunción es un operador, que actúa sobre dos valores de verdad, típicamente los valores de verdad de dos proposiciones, devolviendo el valor de verdad "verdadero" cuando ambas proposiciones son verdaderas, y "falso" en cualquier otro caso.