Diferencia entre revisiones de «Bicondicional»
m |
|||
| Línea 1: | Línea 1: | ||
{{Normalizar}} | {{Normalizar}} | ||
| + | {{Definición | ||
| + | |nombre=Bicondicional | ||
| + | |imagen= | ||
| + | |tamaño= | ||
| + | |concepto=Función binaria formada por dos proposiciones | ||
| + | }} | ||
Una '''bicondicional''', llamada también ''equivalencia material'' o ''coimplicación'', es una proposición compuesta o función binaria formada por dos proposiciones. Exactamente es la conjunción de una implicación material y de su recíproca. Simbólicamente | Una '''bicondicional''', llamada también ''equivalencia material'' o ''coimplicación'', es una proposición compuesta o función binaria formada por dos proposiciones. Exactamente es la conjunción de una implicación material y de su recíproca. Simbólicamente | ||
<ref> Rea Ravello</ref> | <ref> Rea Ravello</ref> | ||
| Línea 10: | Línea 16: | ||
La bicondional es verdadera cuando y sólo cuando sus dos componentes tienen el mismo valor de verdad. Algunos teoremas de las matemáticas se presentan en la forma bicondicinal; esto conlleva que hay que demostrar tanto “la condición suficiente” cuanto la “condición necesaria”. Las definiciones en matemáticas, esencialmente, conllevan una coimplicación, aunque en muchos casos solo enuncien en forma implicativa o sin acudir a estas fórma del lenguaje de la lógica. | La bicondional es verdadera cuando y sólo cuando sus dos componentes tienen el mismo valor de verdad. Algunos teoremas de las matemáticas se presentan en la forma bicondicinal; esto conlleva que hay que demostrar tanto “la condición suficiente” cuanto la “condición necesaria”. Las definiciones en matemáticas, esencialmente, conllevan una coimplicación, aunque en muchos casos solo enuncien en forma implicativa o sin acudir a estas fórma del lenguaje de la lógica. | ||
| + | |||
==Diversidad de formas expresivas== | ==Diversidad de formas expresivas== | ||
| + | |||
La coimplicación p <-->q tiene las siguientes lecturas: | La coimplicación p <-->q tiene las siguientes lecturas: | ||
# ''Si'' e ''entonces'' f ''y'', ''recíprocamente'', ''si'' f ''entonces'' e. | # ''Si'' e ''entonces'' f ''y'', ''recíprocamente'', ''si'' f ''entonces'' e. | ||
| Línea 22: | Línea 30: | ||
===Ejemplos=== | ===Ejemplos=== | ||
| + | |||
* log<sub>b</sub>x = h si, sólo si x= b<sup>h</sup> donde x > 0, b no es raíz de y(y-1) = 0. | * log<sub>b</sub>x = h si, sólo si x= b<sup>h</sup> donde x > 0, b no es raíz de y(y-1) = 0. | ||
* A fin de que m <n es necesario y suficiente que haya x > 0 tal que m+x=n. | * A fin de que m <n es necesario y suficiente que haya x > 0 tal que m+x=n. | ||
* Un polígono es convexo cuando, solo cuando se traza una recta por cualquiera de sus lados el resto del polígono queda exactamente en un semiplano <ref> Espinoza de los Monteros </ref>. | * Un polígono es convexo cuando, solo cuando se traza una recta por cualquiera de sus lados el resto del polígono queda exactamente en un semiplano <ref> Espinoza de los Monteros </ref>. | ||
| + | |||
==Referencias== | ==Referencias== | ||
{{listaref}} | {{listaref}} | ||
| + | |||
== Fuentes == | == Fuentes == | ||
| Línea 32: | Línea 43: | ||
* Gonzalo Zubieta Russi. “Manual de lógica para estudiantes de matemáticas”. Editorial F. Trillas S. A., 1968. | * Gonzalo Zubieta Russi. “Manual de lógica para estudiantes de matemáticas”. Editorial F. Trillas S. A., 1968. | ||
* Julián Espinoza de los Monteros.“Diccionario de Matemáticas”. Cultural S. A. , 2001. | * Julián Espinoza de los Monteros.“Diccionario de Matemáticas”. Cultural S. A. , 2001. | ||
| − | |||
| − | |||
==Véase además== | ==Véase además== | ||
| Línea 41: | Línea 50: | ||
* Negación conjunta | * Negación conjunta | ||
* Disyunción inclusiva | * Disyunción inclusiva | ||
| − | |||
[[Categoría:Lógica]] | [[Categoría:Lógica]] | ||
[[Categoría:Matemáticas]] | [[Categoría:Matemáticas]] | ||
| − | [[Categoría: Proposiciones]] | + | [[Categoría:Proposiciones]] |
Revisión del 11:35 17 sep 2019
| ||||
Una bicondicional, llamada también equivalencia material o coimplicación, es una proposición compuesta o función binaria formada por dos proposiciones. Exactamente es la conjunción de una implicación material y de su recíproca. Simbólicamente [1]
Sumario
Tabla de valores de verdad
- vv|v
- vf|f
- fv|f
- ff|v
La bicondional es verdadera cuando y sólo cuando sus dos componentes tienen el mismo valor de verdad. Algunos teoremas de las matemáticas se presentan en la forma bicondicinal; esto conlleva que hay que demostrar tanto “la condición suficiente” cuanto la “condición necesaria”. Las definiciones en matemáticas, esencialmente, conllevan una coimplicación, aunque en muchos casos solo enuncien en forma implicativa o sin acudir a estas fórma del lenguaje de la lógica.
Diversidad de formas expresivas
La coimplicación p <-->q tiene las siguientes lecturas:
- Si e entonces f y, recíprocamente, si f entonces e.
- Si e entonces f, y viceversa.
- Si e, y sólo entonces, f.
- e si f, y sólo entonces.
- e si f, y sólo si f.
- e si sólo si f; que se abrevia "e sii f".
- A fin de que e es necesario y suficiente que f.
- e es condición necesaria y suficiente para f. [2]
Ejemplos
- logbx = h si, sólo si x= bh donde x > 0, b no es raíz de y(y-1) = 0.
- A fin de que m <n es necesario y suficiente que haya x > 0 tal que m+x=n.
- Un polígono es convexo cuando, solo cuando se traza una recta por cualquiera de sus lados el resto del polígono queda exactamente en un semiplano [3].
Referencias
Fuentes
- Bernardo Rea ravello. “Introducción a la Lógica”. Ediciones Amaru, 1982.
- Gonzalo Zubieta Russi. “Manual de lógica para estudiantes de matemáticas”. Editorial F. Trillas S. A., 1968.
- Julián Espinoza de los Monteros.“Diccionario de Matemáticas”. Cultural S. A. , 2001.
Véase además
- Conjunción (lógica)
- Disyunción exclusiva
- Negación alterna
- Negación conjunta
- Disyunción inclusiva
