En esta sesión se vio el tema negación de
una proposición compuesta, leyes de Morgan.
En lógica proposicional y
álgebra de Boole, las leyes de De Morgan son un par de reglas de
transformación que son ambas reglas de inferencia válidas. Las normas permiten
la expresión de las conjunciones y disyunciones puramente en términos de vía
negación. Las reglas se pueden expresar como:
Ejemplos:
Utilice las Leyes de Morgan para
escribir la negación de las proposiciones siguientes
1. Una hora tiene 60 minutos y un minuto tiene 60 segundos.
Una hora no tiene 60 minutos o un minuto no tiene 60 segundos
2. Una longitud se mide en metros o se mide en pulgadas.
Una longitud no
se mide en metros y no se mide en pulgadas
3. Hoy no es lunes y mañana es miércoles.
Hoy es lunes o mañana no es miércoles.
4. 7 no es un número par o 6 no es un número impar.
7 es un número par y 6 es un número par.
5. Marzo es el tercer mes del año y tiene 31 días.
Marzo no es el tercer mes del año o no tiene 31 días.
No hay comentarios:
Publicar un comentario