ES
bicondicional Bicondicionalidad Coimplicacion coimplicación Condicion necesaria
ES
En algunos contextos en matemáticas y lógica, un bicondicional es un operador lógico binario, es decir, una función ↔: B × B → B {\displaystyle \leftrightarrow :B\times B\rightarrow B}, siendo B cualquier conjunto con | B | = 2 {\displaystyle |B|=2}, aunque es común que se considere a B como B = { V, F } {\displaystyle B=\{V,F\}} o B = { 0, 1 } {\displaystyle B=\{0,1\}}.
Wikipedia