Diferencia entre revisiones de «Bicondicional»
Contenido eliminado Contenido añadido
m Revertidos los cambios de 190.8.34.190 (disc.) a la última edición de Leonpolanco Etiqueta: Reversión |
Reemplazo Plantilla:Bicondicional por Plantilla:Ficha de conectiva lógica |
||
Línea 1:
{{Ficha de conectiva lógica
{{Bicondicional}}{{Conectivas lógicas}}▼
|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>
}}
En algunos contextos en [[matemáticas]] y [[lógica]], un '''bicondicional''', (también llamado '''equivalencia''' o '''doble implicación''', en ocasiones abreviado en español como '''ssi''') es un operador lógico binario, es decir, una función <math>\leftrightarrow : B \times B \rightarrow B </math>, siendo B cualquier conjunto con |B|=2, aunque es común que se considere a B como B={V,F} o B={0,1}. El bicondicional también funge 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.
| |||