Diferencia entre revisiones de «Bicondicional»
Contenido eliminado Contenido añadido
Sin resumen de edición |
m Revertidos los cambios de 85.60.54.187 a la última edición de 190.139.109.170 |
||
| Línea 11: | Línea 11: | ||
Normalmente se usa el símbolo <math>\Leftrightarrow</math> o ↔ para denotar esta coimplicación, quedando así: <math>p \Leftrightarrow q</math>. En [[idioma Inglés|inglés]] se abrevia '''iff'''. Así, la proposición anterior queda “''p'' iff ''q''”. En [[idioma Español|español]] se usa a veces la abreviatura '''si''' o '''sii''' o '''sssi'''. |
Normalmente se usa el símbolo <math>\Leftrightarrow</math> o ↔ para denotar esta coimplicación, quedando así: <math>p \Leftrightarrow q</math>. En [[idioma Inglés|inglés]] se abrevia '''iff'''. Así, la proposición anterior queda “''p'' iff ''q''”. En [[idioma Español|español]] se usa a veces la abreviatura '''si''' o '''sii''' o '''sssi'''. |
||
== Nota == |
|||
En el algebra booleana la operacion es [[XNOR#Puerta_equivalencia_.28XNOR.29|XNOR]] |
|||
[[Categoría:Lógica]] |
[[Categoría:Lógica]] |
||
Revisión del 23:37 5 jul 2009
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.
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).
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.
