Bicondicional

Bicondicional

En matemáticas y lógica, un bicondicional, también llamado equivalencia o implicación doble, es una proposición de la forma "P si y solo 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.

Símbolos

Normalmente se usa el símbolo \Leftrightarrow o ↔ para denotar esta coimplicación, quedando así: p \Leftrightarrow q. En español se usan las abreviaturas sii, ssi y syss, de modo que es equivalente p \Leftrightarrow q a “p sii q”. En inglés se abrevia iff (If and only if).

Definición semántica

El valor de verdad de una bicondicional <<"p" solo si "q">> o «p si y solo 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).


Wikimedia foundation. 2010.

Игры ⚽ Поможем написать курсовую

Mira otros diccionarios:

  • bicondicional — ► adjetivo LÓGICA Operador de la lógica proposicional que significa «si y solo si...» …   Enciclopedia Universal

  • Lógica proposicional — En lógica, la lógica proposicional es un sistema formal diseñado para analizar ciertos tipos de argumentos. En lógica proposicional, las fórmulas representan proposiciones y las conectivas lógicas son operaciones sobre dichas fórmulas, capaces de …   Wikipedia Español

  • Tabla de verdad — Una tabla de verdad, o tabla de valores de verdad, es una tabla que despliega el valor de verdad de una proposición compuesta, para cada combinación de valores de verdad que se pueda asignar a sus componentes.[1] Fue desarrollada por Charles… …   Wikipedia Español

  • Cálculo lógico — Saltar a navegación, búsqueda El cálculo lógico, o derivación lógica, es un algoritmo que permite cómoda y fácilmente inferir o deducir un enunciado verdadero a partir de otro u otros que se tienen como válidamente verdaderos. La inferencia o… …   Wikipedia Español

  • Tabla de valores de verdad — Saltar a navegación, búsqueda Una tabla de valores de verdad, o tabla de verdad, es una tabla que despliega el valor de verdad de una proposición compuesta, para cada combinación de valores de verdad que se pueda asignar a sus componentes.[1] Fue …   Wikipedia Español

  • Conectiva lógica — En lógica, una conectiva lógica, o simplemente conectiva, es un símbolo que se utiliza para conectar dos fórmulas, de modo que el valor de verdad de la fórmula compuesta dependa del valor de verdad de las fórmulas componentes. En programación se… …   Wikipedia Español

  • Afirmación del consecuente — En lógica, la afirmación del consecuente, también llamado error inverso, es una falacia formal que se comete al razonar según la siguiente forma argumental: Si A, entonces B B Por lo tanto, A Los argumentos de esta forma son inválidos, porque la… …   Wikipedia Español

  • Wikipedia:Fusionar — Categoría:Wikipedia:Fusionar Saltar a navegación, búsqueda Atajos CAT:APFCAT:APF Atajos Para colocar un artículo en esta categoría, utilice las plantillas {{fusionar}}, {{fusionar en}} y {{fusionar desde}}. Estos artículos han sido marcados para… …   Wikipedia Español

  • Grafo plano — Grafos de ejemplo Plano No plano …   Wikipedia Español

  • IFF — Los términos IFF, Iff o iff son siglas de: Insomnio Familiar Fatal, un trastorno genético que deriva en la muerte de las personas por insomnio. Identification Friend or Foe, un sistema de identificación electrónico mediante radio. In Flanders… …   Wikipedia Español

Compartir el artículo y extractos

Link directo
… Do a right-click on the link above
and select “Copy Link”