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').

Principio

El bicondicional material puede analizarse como la conjunción de dos implicaciones materiales: P ↔ Q es equivalente a (P → Q) ∧ (Q → P); valida la intercambiabilidad de fórmulas equivalentes en contextos clásicos.

Demostración

Por ejemplo, la afirmación 'n es par si y sólo si n mod 2 = 0' es verdadera para los mismos enteros en ambos lados; en la tabla de verdad P ↔ Q es verdadero cuando ambos P y Q son T o ambos son F, y falso en caso contrario.

Aplicación incorrecta

Usar el bicondicional para afirmar una dependencia bidireccional causal o explicativa sin justificación, o confundir la equivalencia material con una equivalencia lógica profunda entre teorías, son usos indebidos comunes.

Consecuencia

Los bicondicionales se usan para formular definiciones y equivalencias; cuando P ↔ Q se cumple, cada frase puede sustituir a la otra en pruebas y definiciones, permitiendo transformaciones reversibles.

Inversión

Negar un bicondicional produce el 'o' exclusivo (P ⊕ Q); reemplazar ↔ por una implicación unidireccional elimina la garantía de consecuencia mutua y simetría.

Límite

Esta explicación trata ↔ como equivalencia material verdad-funcional en lógica proposicional; la equivalencia semántica o demostrable entre lenguajes o modelos (equivalencia lógica) es una noción metateórica distinta y puede no coincidir con un simple ↔ en el lenguaje objeto.

Tensión semántica

Hay tensión entre el conector superficial ↔ y nociones más profundas de equivalencia (p. ej. identidad definicional, intertraducibilidad o equivalencia modelística); no toda equivalencia conceptual queda capturada por el bicondicional material.

Síntesis

El bicondicional es el conector simétrico y verdad-funcional que afirma la coincidencia de valores de verdad entre fórmulas; actúa como marca formal de 'si y sólo si' para definiciones e inferencias reversibles en contextos proposicionales clásicos.