Bicondicional

Bicondicional
Diagrama de Venn 18.svg
Diagrama de Venn de
Nomenclatura
Lenguaje formalA es equivalente a B,
si y sólo si
Operador booleano↔ ⇔ ≡
Operador de conjuntos
Tabla de la Verdad

En algunos contextos en matemáticas y lógica, un bicondicional, (también llamado equivalencia o doble implicación, en ocasiones abreviado en español como ssi) es un operador lógico binario, es decir, una función , siendo B cualquier conjunto con |B|=2, aunque es común que se considere a B como B={V,F} o B={0,1}. El bicondicional también funge como conectivo lógico, permitiendo formular expresiones de la forma «P si y solo si Q», que es verdadera en el caso de que ambos componentes tengan el mismo valor de verdad. En otro contexto el bicondicional representa la equivalencia lógica entre dos proposiciones.

Definición

El valor de verdad de un bicondicional «p si y solo si q» es verdadero cuando ambas proposiciones (p y q) tienen el mismo valor de verdad, es decir, ambas son verdaderas o falsas simultáneamente; de lo contrario, es falso.

Se tiene así que la afirmación «p si y solo si q» es lógicamente equivalente al par de afirmaciones «Si p, entonces q», y «si q, entonces p». Escrito utilizando conectivas lógicas :

.

De manera más precisa, el operador bicondicional tiene la siguiente tabla de verdad:[2]

si y solo si
p q
pq
V V V
V F F
F V F
F F V
Other Languages
العربية: إذا وفقط إذا
Ελληνικά: Αν και μόνο αν
Esperanto: Se kaj nur se
עברית: אם ורק אם
hrvatski: Akko
Bahasa Indonesia: Jika dan hanya jika
íslenska: Eff
italiano: Se e solo se
lumbaart: Si e noma si
македонски: Ако и само ако
norsk nynorsk: Viss og berre viss
português: Se e somente se
srpskohrvatski / српскохрватски: Ako i samo ako
Simple English: If and only if
српски / srpski: Ако и само ако
Türkçe: Ancak ve ancak
українська: Тоді й лише тоді
Tiếng Việt: Tương đương logic
中文: 当且仅当
Bân-lâm-gú: Nā chhiá ta nā