bicondicional lógico

Concepto en lógica y matemáticas.

Diagrama de Venn de (parte verdadera en rojo) ${\displaystyle P\leftrightarrow Q}$

En lógica y matemáticas , el bicondicional lógico , también conocido como bicondicional material o equivalencia o biimplicación o bientailment , es el conectivo lógico utilizado para unir dos enunciados y formar el enunciado " si y sólo si " (a menudo abreviado como " iff " ^{[1 ]} ), donde se conoce como antecedente , y consecuente . ^{[2] [3]} ${\displaystyle P}$ ${\displaystyle Q}$ ${\displaystyle P}$ ${\displaystyle Q}$ ${\displaystyle P}$ ${\displaystyle Q}$ ${\displaystyle P}$ ${\displaystyle Q}$

Hoy en día, las notaciones para representar la equivalencia incluyen . ${\displaystyle \leftrightarrow ,\Leftrightarrow ,\equiv }$

${\displaystyle P\leftrightarrow Q}$es lógicamente equivalente a ambos y y al operador booleano XNOR (ni exclusivo) , que significa "ambos o ninguno". ${\displaystyle (P\rightarrow Q)\land (Q\rightarrow P)}$ ${\displaystyle (P\land Q)\lor (\neg P\land \neg Q)}$

Semánticamente, el único caso en el que un bicondicional lógico es diferente de un condicional material es el caso en el que la hipótesis (antecedente) es falsa pero la conclusión (consecuente) es verdadera. En este caso, el resultado es verdadero para el condicional, pero falso para el bicondicional. ^[2]

En la interpretación conceptual, P = Q significa "Todas las P son Q y todas las Q son P ". En otras palabras, los conjuntos P y Q coinciden: son idénticos. Sin embargo, esto no significa que P y Q deban tener el mismo significado (por ejemplo, P podría ser "trilátero equiángulo" y Q podría ser "triángulo equilátero"). Cuando se expresa como oración, el antecedente es el sujeto y el consecuente es el predicado de una proposición afirmativa universal (por ejemplo, en la frase "todos los hombres son mortales", "hombres" es el sujeto y "mortal" es el predicado).

En la interpretación proposicional, significa que P implica Q y Q implica P ; en otras palabras, las proposiciones son lógicamente equivalentes , en el sentido de que ambas son conjuntamente verdaderas o conjuntamente falsas. Nuevamente, esto no significa que deban tener el mismo significado, ya que P podría ser "el triángulo ABC tiene dos lados iguales" y Q podría ser "el triángulo ABC tiene dos ángulos iguales". Por lo general, el antecedente es la premisa , o la causa , y el consecuente es la consecuencia . Cuando una implicación se traduce por un juicio hipotético (o condicional ), el antecedente se llama hipótesis (o condición ) y el consecuente se llama tesis . ${\displaystyle P\leftrightarrow Q}$

Una forma común de demostrar un bicondicional de la forma es demostrar que y por separado (debido a su equivalencia con la conjunción de los dos condicionales inversos ^[2] ). Otra forma más de demostrar el mismo bicondicional es demostrando que y . ${\displaystyle P\leftrightarrow Q}$ ${\displaystyle P\rightarrow Q}$ ${\displaystyle Q\rightarrow P}$ ${\displaystyle P\rightarrow Q}$ ${\displaystyle \neg P\rightarrow \neg Q}$

Cuando ambos miembros del bicondicional son proposiciones, se puede separar en dos condicionales, de los cuales uno se llama teorema y el otro su recíproco . ^{[ cita necesaria ]} Por lo tanto, siempre que un teorema y su recíproco son verdaderos, tenemos un bicondicional. Un teorema simple da lugar a una implicación, cuyo antecedente es la hipótesis y cuyo consecuente es la tesis del teorema.

Se suele decir que la hipótesis es la condición suficiente de la tesis y que la tesis es la condición necesaria de la hipótesis. Es decir, basta que la hipótesis sea verdadera para que la tesis sea verdadera, mientras que es necesario que la tesis sea verdadera si la hipótesis fuera verdadera. Cuando un teorema y su recíproco son verdaderos, se dice que su hipótesis es la condición necesaria y suficiente de la tesis. Es decir, la hipótesis es a la vez causa y consecuencia de la tesis.

Notaciones

Las notaciones para representar la equivalencia utilizada en la historia incluyen:

• ${\displaystyle =}$en George Boole en 1847. ^[4] Aunque Boole usó principalmente en clases, también consideró el caso de que sean proposiciones en , y en ese momento es equivalencia. ${\displaystyle =}$ ${\displaystyle x,y}$ ${\displaystyle x=y}$ ${\displaystyle =}$
• ${\displaystyle \equiv }$en Frege en 1879; ^[5]
• ${\displaystyle \sim }$en Bernays en 1918; ^[6]
• ${\displaystyle \rightleftarrows }$en Hilbert en 1927 (mientras lo utilizaba como símbolo principal en el artículo); ^[7] ${\displaystyle \sim }$
• ${\displaystyle \leftrightarrow }$en Hilbert y Ackermann en 1928 ^[8] (también lo introdujeron mientras lo utilizan como símbolo principal en todo el libro; es adoptado por muchos seguidores como Becker en 1933 ^[9] ); ${\displaystyle \rightleftarrows ,\sim }$ ${\displaystyle \sim }$ ${\displaystyle \leftrightarrow }$
• ${\displaystyle E}$(prefijo) en Łukasiewicz en 1929 ^[10] y (prefijo) en Łukasiewicz en 1951; ^[11] ${\displaystyle Q}$
• ${\displaystyle \supset \subset }$en Heyting en 1930; ^[12]
• ${\displaystyle \Leftrightarrow }$en Bourbaki en 1954; ^[13]
• ${\displaystyle \subset \supset }$en Chazal en 1996; ^[14]

etcétera. Alguien más también lo usa u ocasionalmente. ^{[ cita necesaria ] [ vago ] [ aclaración necesaria ]} ${\displaystyle \operatorname {EQ} }$ ${\displaystyle \operatorname {EQV} }$

Definición

La igualdad lógica (también conocida como bicondicional) es una operación sobre dos valores lógicos , típicamente los valores de dos proposiciones , que produce un valor verdadero si y solo si ambos operandos son falsos o ambos operandos son verdaderos. ^[2]

Mesa de la verdad

La siguiente es una tabla de verdad para : ${\displaystyle A\leftrightarrow B}$

Cuando se trata de más de dos declaraciones, combinarlas puede resultar ambiguo. Por ejemplo, la declaración ${\displaystyle \leftrightarrow }$

${\displaystyle x_{1}\leftrightarrow x_{2}\leftrightarrow x_{3}\leftrightarrow \cdots \leftrightarrow x_{n}}$

puede interpretarse como

${\displaystyle (((x_{1}\leftrightarrow x_{2})\leftrightarrow x_{3})\leftrightarrow \cdots )\leftrightarrow x_{n}}$,

o puede interpretarse como que todos los x _i son conjuntamente verdaderos o conjuntamente falsos :

${\displaystyle (x_{1}\land \cdots \land x_{n})\lor (\neg x_{1}\land \cdots \land \neg x_{n})}$

Resulta que estas dos afirmaciones sólo son iguales cuando hay cero o dos argumentos involucrados. De hecho, las siguientes tablas de verdad solo muestran el mismo patrón de bits en la línea sin argumento y en las líneas con dos argumentos:

${\displaystyle ~x_{1}\leftrightarrow \cdots \leftrightarrow x_{n}}$
significa equivalente al diagrama de Venn central a continuación, y la línea (ABC) en esta matriz representa la misma operación.
${\displaystyle \neg ~(\neg x_{1}\oplus \cdots \oplus \neg x_{n})}$

${\displaystyle ~x_{1}\leftrightarrow \cdots \leftrightarrow x_{n}}$
significa una abreviatura del diagrama de Venn directamente debajo, y la línea (ABC) en esta matriz representa la misma operación.
${\displaystyle (~x_{1}\land \cdots \land x_{n}~)}$
${\displaystyle \lor ~(\neg x_{1}\land \cdots \land \neg x_{n})}$

El siguiente diagrama de Venn de la izquierda y las líneas (AB ) en estas matrices representan la misma operación.

diagramas de Venn

Las áreas rojas representan verdadero (como enPara y ).

Propiedades

Conmutatividad : Sí

Asociatividad : Sí

Distributividad : el bicondicional no se distribuye sobre ninguna función binaria (ni siquiera sobre sí mismo), pero la disyunción lógica se distribuye sobre el bicondicional.

Idempotencia : No

Monotonicidad : No

Preservación de la verdad: Sí
Cuando todas las entradas son verdaderas, la salida es verdadera.

Preservación de la falsedad: No
Cuando todas las entradas son falsas, la salida no es falsa.

Espectro de Walsh : (2,0,0,2)

No linealidad : 0 (la función es lineal)

Reglas de inferencia

Como todos los conectivos en lógica de primer orden, el bicondicional tiene reglas de inferencia que gobiernan su uso en pruebas formales.

Introducción bicondicional

La introducción bicondicional permite inferir que si B se sigue de A y A se sigue de B, entonces A si y sólo si B.

Por ejemplo, de las afirmaciones "si respiro, entonces estoy vivo" y "si estoy vivo, entonces respiro", se puede inferir que "estoy respirando si y sólo si". Estoy vivo" o, de manera equivalente, "Estoy vivo si y sólo si respiro". O más esquemáticamente:

B → A    A → B    ∴ A ↔ B

B → A    A → B    ∴ segundo ↔ un

Eliminación bicondicional

La eliminación bicondicional permite inferir un condicional a partir de un bicondicional: si A ↔ B es verdadero, entonces se puede inferir A → B o B → A.

Por ejemplo, si es cierto que respiro si y sólo si estoy vivo, entonces es cierto que si respiro, entonces estoy vivo; Asimismo, es cierto que si estoy vivo, entonces respiro. O más esquemáticamente:

 A↔B   ∴ A → B

 A↔B   ∴ B → A

Uso coloquial

Una forma inequívoca de expresar un bicondicional en inglés sencillo es adoptar la forma " b si a y a si b ", si no se utiliza la forma estándar " a si y sólo si b ". De manera un poco más formal, también se podría decir que " b implica a y a implica b ", o " a es necesaria y suficiente para b ". El inglés simple "if'" a veces puede usarse como bicondicional (especialmente en el contexto de una definición matemática ^[15] ). En cuyo caso, se debe tener en cuenta el contexto circundante al interpretar estas palabras.

Por ejemplo, la afirmación "Te compraré una billetera nueva si la necesitas" puede interpretarse como bicondicional, ya que el hablante no pretende que un resultado válido sea comprar la billetera, ya sea que la necesite o no (como en un condicional). Sin embargo, "está nublado si está lloviendo" generalmente no se considera bicondicional, ya que todavía puede estar nublado incluso si no está lloviendo.

Ver también

• Portal de filosofía
• Portal de psicología

• Si y solo si
• Equivalencia lógica
• Igualdad lógica
• puerta XNOR
• Eliminación bicondicional
• Introducción bicondicional

Referencias

1. Weisstein, Eric W. "Si". mathworld.wolfram.com . Consultado el 25 de noviembre de 2019 .
2. Peil, Timoteo. "Condicionales y Bicondicionales". web.mnstate.edu . Archivado desde el original el 24 de octubre de 2020 . Consultado el 25 de noviembre de 2019 .
3. Brennan, Joseph G. (1961). Manual de lógica (2ª ed.). Harper y fila. pag. 81.
4. Boole, G. (1847). El análisis matemático de la lógica, como ensayo hacia el cálculo del razonamiento deductivo. Cambridge/Londres: Macmillan, Barclay y Macmillan/George Bell. pag. 17.
5. Frege, G. (1879). Begriffsschrift, eine der arithmetischen nachgebildete Formelsprache des reinen Denkens (en alemán). Halle a/S.: Verlag von Louis Nebert. pag. 15.
6. Bernays, P. (1918). Beiträge zur axiomatischen Behandlung des Logik-Kalküls . Gotinga: Universität Göttingen. pag. 3.
7. Hilbert, D. (1928) [1927]. "Die Grundlagen der Mathematik". Abhandlungen aus dem mathematischen Seminar der Hamburgischen Universität (en alemán). 6 : 65–85. doi :10.1007/BF02940602.
8. Hilbert, D.; Ackermann, W. (1928). Grundzügen der theoretischen Logik (en alemán) (1 ed.). Berlín: Verlag von Julius Springer. pag. 4.
9. Becker, A. (1933). Die Aristotelische Theorie der Möglichkeitsschlösse: Eine logisch-philologische Untersuchung der Kapitel 13-22 von Analytica priora I de Aristóteles (en alemán). Berlín: Junker und Dünnhaupt Verlag. pag. 4.
10. Łukasiewicz, J. (1958) [1929]. Słupecki, J. (ed.). Elementy logiki matematycznej (en polaco) (2 ed.). Varsovia: Państwowe Wydawnictwo Naukowe.
11. Łukasiewicz, J. (1957) [1951]. Słupecki, J. (ed.). La silogística de Aristóteles desde el punto de vista de la lógica formal moderna (en polaco) (2 ed.). Glasgow, Nueva York, Toronto, Melbourne, Wellington, Bombay, Calcuta, Madrás, Karachi, Lahore, Dacca, Ciudad del Cabo, Salisbury, Nairobi, Ibadan, Accra, Kuala Lumpur y Hong Kong: Oxford University Press.
12. Heyting, A. (1930). "Die formalen Regeln der intuitionistischen Logik". Sitzungsberichte der Preussischen Akademie der Wissenschaften, Physikalisch-mathematische Klasse (en alemán): 42–56.
13. Bourbaki, N. (1954). Théorie des ensembles (en francés). París: Hermann & Cie, Éditeurs. pag. 32.
14. Chazal, G. (1996). Elementos de lógica formal . París: Publicaciones científicas de Hermes.
15. De hecho, tal es el estilo adoptado por el manual de estilo en matemáticas de Wikipedia .

enlaces externos

• Medios relacionados con el bicondicional lógico en Wikimedia Commons

Este artículo incorpora material de Bicondicional en PlanetMath , que tiene la licencia Creative Commons Attribution/Share-Alike License .