Leyes de D'Morgan y Bicondicional
En la clase del día de hoy 28 de junio, lo que vimos en el curso fue lo que son las Leyes de D'Morgan y las proposiciones bicondicionales.
Leyes de D'Morgan
Estas leyes son dos, las cuales dicen lo siguiente:
1. La negación de "y" es lógicamente equivalente a "o" de cada una de las proposiciones simples negadas, esto quiere decir:
~(p∧q) = ~p∨~q
Ej. "Es verano y no hay nieve" = "No es verano o hay nieve"
2. La negación de "o" es lógicamente equivalente a "y" de cada una de las proposiciones simples negadas, esto quiere decir:
~(p∨q) = ~p∧~q
Ej. "Yo no voy o ella va" = "Voy y ella no va"
Proposiciones bicondicionales
Su conectivo es ⇔ y significa "si y solo si". Es verdadera cuando hay dos verdaderas o dos falsas. En la siguiente tabla se explica mejor:
:o Gracias por la explicación de la bicondicional. No sabía sobre esas leyes :o creo que logré entender, aunque creo que es difícil jajaja, gracias!
ResponderBorrar