Clase 22

Hora: 8:45 am

¿Es posible cambiar la forma de escribir una proposición conjugada y que siga teniendo el mismo significado?

Cuando se hace la negación de un proposición condicional, o sea "~(p->q)",  es lo mismo que decir "p^~q". Esto sucede porque la validación de ambas combinaciones dan resultados inversos, eso quiere decir, que si es verdadero entonces en la otra situación da falso. Por ejemplo, "Si Carla da clases, entonces los estudiantes aprenden", la negación sería "Carla da clases y los estudiantes no aprenden".

También vimos las leyes de D´Morgan.

1- La negación de "p y q", "~(p^q)", es igual a la negación de p o negación de q. "~p o ~ q"

2- La negación de "p o q","~( p v q)", es igual a la negación de q y negación de p."~p  v ~q"

Ejemplo: "La mujer compró una tasa de café y unas galletas", la negación sería "La mujer no compró una tasa de café ni unas galletas"

Luego, se encuentra el bicondicional. El bicondicional de las proposiciones "p y q", es "p<->q" (p si y solo si q). En este caso, la validación será verdadera solo cuando las dos proposiciones tienen la misma combinación, o sea si ambas son verdaderas o falsas, de otro modo será falsa. 

La imagen a continuación aportará una mejor forma de comprender lo que vimos en clase.