| colspan="1" style="text-align:center;font-size:7pt" | [[File:Venn0001.svg|100px]]<br />[[Diagrama de Venn]] de <math>\scriptstyle A \and B</math>
| colspan="1" style="text-align:center;font-size:7pt" | [[File:Venn 0000 0001.svg|100px]]<br />Diagrama de Venn de <math>\scriptstyle A \and B \and C</math>
En [[deducción | razonamiento formal]], una '''conjunción lógica''' ( <math> \and </math> ) entre dos proposiciones es un [[conector lógico]] cuyo [[valor verdadero | valor de la verdad]] resulta en ''cierto'' sólo si ambas proposiciones son ciertas, y en ''falso'' de cualquier otra forma.<ref>Richard Jhohnsonbaugh. Matemáticas discretas (6 edición). Pearson. p. 3. ISBN 970-26-0637-3.</ref> Existen diferentes contextos donde se utiliza la conjunción lógica.