Bicondicional

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Un conector binario (generalmente escrito ↔) que es verdadero exactamente cuando sus dos fórmulas operandas tienen el mismo valor de verdad; en lógica clásica captura la equivalencia material ('si y sólo si').