Leyes de De Morgan (Condicional)

-
Como expresé en entradas pasadas, las leyes de Demorgan son aplicables a todos los conectores lógicos de las tablas de verdad, la condicional no es la excepción. Esta vez, el resultado será más un poco más complejo.



Como podemos observar la negación de p -> q da como resultado p ^ ~q.
Esto se puede entender más fácil si realizamos la representación gráfica de la proposición

Opinión personal
Las leyes de De morgan me están gustando y las estoy entendiendo bien, creo que es la simplicidad del análisis lo que me atrae. Es aún más interesante que en las próximas clases veremos estas leyes aplicadas al conector lógico bicondicional.

Mejorar Comprensión
Al igual que con las otras leyes debemos estar finos en la creación de tablas de verdad y sus variantes. Además en estos resultados que son un poco más extensos debemos cuidar el orden de operaciones para no perdernos.

Comentarios

Publicar un comentario

Entradas más populares de este blog

Leyes de De Morgan (Bicondicional)

-
Imagen
Este es el último tema respecto a las proposiciones y tablas de verdad. Es la negación más larga y compleja. Al igual que en la condicional, al momento de realizar una negación los conectores lógicos cambian. Ejemplo: ~(P<->q) ~(p->q) v ~(q->p) (P^~q) v (q^~p) Opinión personal Es la negación con la que más cuidado hay que tener al momento de operar, pues se deben cambiar conectores y utilizar negaciones individuales por término. Pero es bastante útil y ejercita nuestra capacidad de análisis. Mejorar Comprensión Como este es el último tema de las tablas de verdad debemos tener muy claros todos los conceptos de los otros conectores lógicos ya que haremos una unión de todos.
Leer más

Leyes de DeMorgan (Conjunción y Disyunción)

-
Imagen
Este fue el primer tema del curso que desconocía en su totalidad, pero me di cuenta que son sumamente útiles al momento de trabajar negaciones dentro de las tablas de verdad y son aplicables a cualquier conector lógico. Las leyes de Demorgan dictan que la negación de la conjunción es la siguiente: Original: (p ^ q) Negación ~ (p ^ q) = ~p v ~q  Las leyes de Demorgan dictan que la negación de la disyunción es la siguiente: Original: (p v q) Negación ~ (p v q) = ~p ^ ~q Representación gráfica Opinión personal Este tema, aunque esté relacionado con las tablas de verdad que no me agradan, me gustó pues lleva un análisis un poco más elevado, y las representaciones gráficas sirven bastante para enterlo. Mejorar comprensión Para entender las leyes de Demorgan primero debemos tener claras las tablas de verdad. Además, la representación gráfica por medio de conjuntos es sumamente útil.
Leer más