En la construccion logica A Implica B, se establece una relacion, ente el Antecedente o Hipotesis A y la Conclusion o Consecuente B, esta relacion puede ser de varias formas, asi tenemos:
Entonces
Cuando un evento A, provoca que otro evento B suceda, ejemplo:
Si sales a caminar cuando llueve y sin paraguas ENTONCES de seguro te mojaras
Como es evidente, estos eventos estan Logicamente Relacionados, si uno sucede, el siguiente forzosamente sucedera tambien.
Si y Solo Si
En este caso, ambos casos tienen que suceder al mismo tiempo o nunca sucederan, ejemplo:
Puedes comer, SI y solo Si, Hay algo de comer
Estos dos son los casos basicos de Relacion Logica
Y es muy importante comprender que tipo de Relacion es, porque en base a ella se podran hacer las argumentaciones demostrativas, de esa forma en el caso
Se tiene que establecer que A es una hipotesis y todos los argumentos seran en base a ella, para llegar a B.
En este caso, se ha encontrado que la forma mas facil de hacer una demostracion es dividirlo en dos partes
A⇒B ( Demostracion de ida)
y
B⇒A (Demostracion de Regreso)
De esa forma se puede usar la Argumentacion sencilla de lo que ya explique.
Y ahora bien, lo que se aprende en Logica es ver como usar estas herramientas basicas, para usarlas en casos mas complicados, o bien decidir que metodos demostrativos nos convienen mas, asi, usando las reglas podemos convertir A⇒B en sus equivalentes logicos como, entre otras, no B ⇒ no A, o acomodar la construccion logica a la que mas nos convenga.
