Tabla de verdad del Bicondicional

El bicondicional o doble implicación es un operador que funciona sobre dos valores de verdad, típicamente los valores de verdad de dos proposiciones, devolviendo el valor de verdad verdadero cuando ambas proposiciones tienen el mismo valor de verdad, y falso cuando sus valores de verdad difieren (Mespol, 2006).

EJEMPLO:

a:  “10 es un número impar”

b: “6 es un número primo”

a↔b: “10 es un número impar si y solo si 6 es un número primo”

BIBLIOGRAFÍA 

Mespol, E. (2006). Fundamentos de matemática para bachillerato. Guayaquil: Comité editorial de la ESPOL