Diferencia entre revisiones de «Bicondicional»
Contenido eliminado Contenido añadido
"añadí contenido" Etiquetas: Edición desde móvil Edición vía web móvil |
Etiqueta: Revertido |
||
Línea 52:
En [[Lógica]] y en [[matemáticas]] los símbolos empleados para denotar el bicondicional son <math> \leftrightarrow </math>,<math> \iff </math> y ≡. La notacion <math> \leftrightarrow </math> se utiliza frecuentemente como un conectivo u operador lógico, que permite combinar dos proposiciones más simples para generar una proposición compuesta de la forma <math>P \leftrightarrow Q</math>, mientras que la segunda y tercera notación se emplean casi siempre para denotar la relación de [[equivalencia lógica]] entre dos proposiciones lógicas. El significado de cada notación depende fuertemente del contexto en que se utilicen.<ref>Copi, Irving M.: "Lógica Simbólica" (2000) ISBN 968-26-0134-7, Cecsa. México D.F., décima novena reimpresión p. 45</ref> <ref>Russell, Bertrand y Whitehead, Alfred North : ''Principia Mathematica (Hasta el *56)'' (1981) Paraninfo S. A., Madrid, p.60</ref>
Adicionalmente, en el ámbito de la lógica digital, el funcionamiento del operador bicondicional puede emularse mediante la puerta lógica [[Puerta lógica#Puerta equivalencia (XNOR)|XNOR]], y a la negación de la puerta [[Puerta lógica#Puerta OR-exclusiva (XOR)|XOR]]. ah shit
== Ejemplos ==
| |||