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. L eyes 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: