En razonamiento formal, una conjunción lógica ( formula_1 ) 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.