Bicondicional
De Wikipedia, la enciclopedia libre
 |
Se ha sugerido que este artículo o sección sea fusionado en Condición necesaria y suficiente. (Discusión). Una vez que hayas realizado la fusión de artículos, pide la fusión de historiales en WP:TAB/F. |
[editar] Sinónimos
En matemáticas y lógica, una implicación doble, también conocida como bicondicional o equivalencia es una proposición de la forma P si y sólo si Q, en la cual, tanto P como Q son ambas ciertas o ambas falsas. También se dice que Q es una condición necesaria y suficiente para P.
[editar] Definición semántica
El valor de verdad de una bicondicional «p si y sólo si q» es verdadero cuando ambas proposiciones (p y q) tienen el mismo valor de verdad, de lo contrario es falsa. Si p entonces q y si q entonces p. Escrito con símbolos lógicos: (p⇒q) ∧ (q⇒p).
[editar] Símbolos
Normalmente se usa el símbolo 
o ↔ para denotar esta coimplicación, quedando así: 
. En inglés se abrevia iff. Así, la proposición anterior queda “p iff q”. En español se usa a veces la abreviatura si o sii o sssi.
