Bitácora #14
En la clase del día de hoy siguiendo con el tema de tabla de valores aprendimos sobre: Las leyes de Morgan. Estas leyes declaran que la suma de n variables preposicionales globalmente negadas (o invertidas) es igual al producto de las n variables negadas individualmente y que inversamente, el producto de n variables proposicionales globalmente negadas es igual a la suma de las n variables negadas individualmente. Demostración formal si y solo si y . para cualquier x: ó Por lo tanto inclusión: ó Con proposiciones. La prueba utiliza la asociatividad y la distributividad de las leyes y . Verdad Si verdad por n. Son una parte de la Lógica preposicional, analítica, y fueron creadas por Augustus de Morgan. Estas declaran las reglas de equivalencia en las que se muestran que dos proposiciones pueden ser lógicamente equivalentes. Las Leyes de Morgan permiten: El cambio del operador de conjunción en operador de disyunción y viceversa. Las proposiciones conjuntivas o disyuntivas a las qu...