BICONDICIONAL

BICONDICIONAL 

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 :

${\displaystyle p\leftrightarrow q\equiv (p\to q)\wedge (q\to p)}$.

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

si y solo si

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

EJEMPLO:

opinión: es un tema muy complejo si prestamos atención a lo que se nos pida y conocer bien la tabla.