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 que se aplican las leyes de Morgan pueden estar afirmadas o negadas (en todo o en sus partes).

Casos:

¬(P ^ Q) ≡ (¬P v ¬Q) Si nos encontramos con una proposición conjuntiva totalmente negada, la ley de Morgan nos permite transformarla en una proposición disyuntiva con cada uno de sus miembros negados
¬(P v Q) ≡ (¬P ^ ¬Q) Si nos encontramos con una proposición disyuntiva totalmente negada, la ley de Morgan nos permite transformarla en una proposición conjuntiva con cada uno de sus miembros negados
(P ^ Q) ≡ ¬ (¬ P v ¬ Q) Si nos encontramos con una proposición conjuntiva afirmada, la ley de Morgan nos permite transformarla en una proposición disyuntiva negada en su totalidad y en sus miembros.
(P v Q) ≡ ¬(¬P ^ ¬Q) Si nos encontramos con una proposición disyuntiva afirmada, la ley de Morgan nos permite transformarla en una proposición conjuntiva negada en su totalidad y en sus miembros.

Sección: 9
Carné: 1037918

mendezharry@gmail.com
manrique.perez99@gmail.com
ogarriopilar2013@gmail.com

Comentarios

Entradas más populares de este blog

Bitácora #5

Bitácora #17

Bitácora #6