Las Leyes de Morgan, y Reglas para Condicionales y Bicodicionales
El día de hoy aprendimos las Leyes de Morgan, creadas por Augustus De Morgan, las cuales simplifican el proceso de obtener el resultado de operaciones entre diferentes valores. Estas son dos leyes que se aplican para la negación de un proposición con conectivos de disyunción y conjunción, las cuales dicen que:
~(p^q) = ~pv~q
~(pvq) = ~p^~q
Y también vimos la negación entre condicionales y bicondicionales las cuales dicen que:
~(p=>q) = p^~q
~(p<=>q) = (p^~q) v (q^~p)
Para mi esta clase fue muy interesante, pues me parece curioso como una operación es equivalente a otra operación completamente distinta. Y la más interesante fue la regla de la negación bicondicional, sin embargo la más complicada.
No hay comentarios:
Publicar un comentario