Conjunción

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Un conectivo lógico binario (escrito ∧) que es verdadero exactamente cuando ambas fórmulas operandas son verdaderas; representa el 'y' lógico en lógica proposicional.