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.