El bicondicional (o coimplicación)

Ya hemos comprobado que p→q no es lo mismo que q→p. Puede ocurrir, sin embargo, que tanto p→q como q→p sean verdaderos. Por ejemplo, si p:"La Tierra es cúbica", y q:"El Sol es un planeta", entonces tanto p→q como q→p son verdaderos, porque tanto p como q son falsos. Es necesario tener esto en cuenta para entender bien el concepto de coimplicador.

Mediante el coimplicador ↔ lo que queremos decir es que un enunciado es a la vez condición necesaria y suficiente para otro. Así, si digo que p: "apruebo Filosofía" y q: "saco un 5 o más en el examen de Lógica" la fórmula p↔q significa "apruebo Filosofía si y sólo si saco un 5 o más en el examen de Lógica". Con este "si y sólo si" quiero poner de manifiesto tres cosas:

  1. Al introducir el primer condicional "si" (en "si y sólo si"), introduzco el antecedente, y por tanto afirmo que p→q, (es decir aprobaré Filosofía si saco 5 o más en el examen de Lógica),
  2. Al introducir "sólo si" (en "si y sólo si"), introduzco el consecuente, buscando comunicar que q→p, (es decir, que si saco un 5 o más en el examen de Lógica, entonces apruebo la Filosofía), y
  3. Al utilizar la partícula "y" (en "si y sólo si"), quiero comunicar la conjunción de p→q con q→p.

Así pues, el enunciado "apruebo Filosofía si y sólo si saco un 5 o más en el examen de Lógica" se puede formalizar de dos formas equivalentes: (p→q)∧(q→p), o bien p↔q.

En consecuencia, el enunciado p↔q queda definido por el enunciado (p→q)∧(q→p). Por esta razón, el símbolo ↔ se llama bicondicional, y la tabla de verdad para p↔q es la misma que la de (p→q)∧(q→p).

El bicondicional

El bicondicional o coimplicador p↔q, que se lee "p si y sólo si q" o "p es equivalente a q", se define por la siguiente tabla de verdad:

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

La doble flecha horizontal ↔ es el operador bicondicional

Fíjate que de la observación de la tabla de verdad deducimos que para que p↔q sea verdadera, tanto p como q han de tener los mismos valores de verdad, y en caso contrario es falsa.

La formalización del bicondicional

El coimplicador puede tener varias expresiones equivalentes en lenguaje natural. Así p↔q es la formalización de las siguientes expresiones de lenguaje natural:

  • p si y sólo si q
  • p es necesario y suficiente para q
  • p es equivalente a q

Fíjate que p↔q y q↔p tendrían totalmente los mismos valores de verdad, puesto que ambas son coimplicaciones y por lo tanto si sus valores de verdad son los mismos, son verdaderas, y son falsas en los demás casos. En consecuencia, podemos reformular los enunciados anteriores intercambiando p y q:

  • q si y sólo si p
  • q es necesario y suficiente para p
  • q es equivalente a p