Bicondicional

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 Plantilla:Ecuación

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:

1. Si e entonces f y, recíprocamente, si f entonces e.
2. Si e entonces f, y viceversa.
3. Si e, y sólo entonces, f.
4. e si f, y sólo entonces.
5. e si f, y sólo si f.
6. e si sólo si f; que se abrevia "e sii f".
7. A fin de que e es necesario y suficiente que f.
8. e es condición necesaria y suficiente para f.

Ejemplos

• log_bx = h si, sólo si x= b^h 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 .

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