CONTINUACIÓN LÓGICA

NEGACIÓN DEL CONDICIONALPara negar un condicional, se debe copiar la proposicion "p", colocar la letra "y" y luego negar la proposición "q".


Ejemplo:Si está lloviendo entonces hay nubes en el cielo". Su negación, por ser condicional, sería:
Está lloviendo y no hay nubes

LEYES DE D´MORGAN

La negación de "y" es lógicamente equivalente a "o" de cada una de las proposiciones simples negadas.

La negación de "o" es lógicamente equivalente a "y" de cada una de las proposiciones simples negadas.

Ejemplos:* Escriba la negación de "Es verano y no hay nieve"
~p^q --- negado: ~(p^q)
~pV-q
= NO es verano O hay nieve.

* Escriba la negacion de "Yo no voy o ella va"
~pVq --- negado: ~(pVq)
~p^-q
= Yo voy Y ella no va.


EL BICONDICIONALEs la conjunción de dos proposiciones: p->q y q->p. Se lee "si y solo si". 

COMENTARIO:

Este es un tema que cada vez crece más y se torna más difícil lo cual es algo que realmente se me hizo complicado al seguir los procedimientos, la comprensión es confusa ya que tendríamos que saber que valores usar, que tipo de proposición compuesta cambiar y a cual se debe cambiar. Todo esto me ha hecho difícil el comprender del todo el tema y hacer las tablas.