Bicondicional
De Enciclopedia Symploké, la enciclopedia libre.
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 p ↔q (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 |