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.