Si a y b dos proporciones la condicional entre a y b representada simbólicamente por a -> b cuya tabla de verdad es la siguiente:
a b a->b
0 0 1
0 1 1
1 0 0
1 1 1
Este operador lógico también se denomina enunciación epotetico o implicación en la proporción a-> b, a es el antecedente hipótesis o premisa y b es el consecuente conclusión o tesis, la proposición resultante sera falsa solamente cuando el valor de verdad del antecedente sea verdadero y el de consecuente sea falso, en español se presenta con los siguientes términos gramaticales: si a entonces b, a solo si b, a solamente si b, b si a, si a b, b con la condición de que a, b siempre que a, b cada vez que a , se tiene b si se tiene a, no si b ,a, o cualquier excreción de note causa y efecto:
Reciproca: a-> b
Inversa: b-> a
Contrareciproca: 7 b-7 a
1) Si es un carro entonces es un medio de transporte
2) Si es un medio de transporte entonces es un carro
3) "Si no es un carro entonces no es un medio transporte"
4) "Si no es un medio de transporte entonces no es un carro"
Condiciones necesarias y suficiente
Necesarias: B->A
Suficiente:A->B
Necesaria y suficiente: A <->B
Condición necesaria: Es aquella que a de cumplirse, para poder afirmar el cumplimento de otro, si la condición necesaria me se cumple podemos afirmar con toda seguridad que la proporción condicionada a ella tampoco se cumple.
Condición suficiente: Es aquella que de cumplirse b implica directamente cumplimiento de a de no cumplirse b no podemos afirmar que a no se cumple.
Condición necesaria y suficiente: Es la suma de ambos condiciones a es condición necesaria y suficiente de b. si se da a, entonces podemos afirmar que siempre se cumple se cumple si no se da entonces podemos afirmar con toda seguridad que no se cumplirá b, entre a y b representando por a <-> n es una nueva propocicion cuya tabla de verdad esto dado por.
a b a<->b
0 0 1
0 1 0
1 0 0
1 1 1
Necesaria:
a: Si es un cuadrado
b: Tiene cuatro lados
Suficiente:
a: Si es un animal
b: Es un perro
Necesaria y suficiente:
a: Si esta soñando entonces esta durmiendo
b: Si esta durmiendo entonces esta soñando
