Bicondicional

De Enciclopedia Symploké, la enciclopedia libre.
Saltar a: navegación, buscar

Conectiva lógica cuyo símbolo es ↔. Se lee «si y sólo si ..., entonces ...»

Ejemplo: Si y sólo si la fórmula química de este líquido es H20, entonces es agua. Su forma lógica es pq (donde p es «La fórmula química de este líquido es H20», q es «Es agua» y ↔ significa «si y sólo si ..., entonces ...»)

Una fórmula bicondicional es verdadera sólo cuando los valores de verdad de su antecedente y su consecuente coinciden. En caso contrario, la expresión es siempre falsa.

La tabla de verdad del bicondicional es la siguiente:

p q p ↔ q
V V V
V F F
F V F
F F V