Diferencia entre revisiones de «Bicondicional»
Contenido eliminado Contenido añadido
Sin resumen de edición Etiquetas: Revertido Edición desde móvil Edición vía web móvil |
m Revertidos los cambios de 188.249.35.234 (disc.) a la última edición de Hasley Etiqueta: Reversión |
||
Línea 1:
{{Ficha de conectiva lógica
|diagrama-de-venn = Diagrama de Venn 18.svg
|lenguaje-formal = <math>A \leftrightarrow B</math>
|lenguaje-natural = A si y solo si B<br>A es equivalente a B
|operador-booleano = <math>\leftrightarrow \ \iff \ =</math>
|operador-de-conjuntos = <math>\cup</math>
|tabla-de-verdad = <math>
\begin{array}{c|c||c}
A & B & A \leftrightarrow B \\
\hline
V & V & V \\
V & F & F \\
F & V & F \\
F & F & V \\
\end{array}
</math>
}}
{{Conectivas lógicas}}
En algunos contextos en [[matemáticas]] y [[lógica]], un '''bicondicional''' ('''equivalencia''' o '''doble implicación''', en ocasiones abreviado en español como '''sii''') es un operador lógico binario, es decir, una función <math>\leftrightarrow : B \times B \rightarrow B </math>, siendo B cualquier conjunto con <math>|B|=2</math>, aunque es común que se considere a B como <math>B=\{V,F\}</math> o <math>B=\{0,1\}</math>. El bicondicional también se desempeña como conectivo lógico, permitiendo formular expresiones de la forma «P si y solo si Q», que es verdadera en el caso de que ambos componentes tengan el mismo valor de verdad. En otro contexto el bicondicional representa la equivalencia lógica entre dos proposiciones.
== Definición ==
|