Unas Cuantas Equivalecias Tautológicas

1. Ley de doble negación: P ¬ (¬P)



No sucede que el salón no está vacío. El salón está vacío.

2. Ley de contrapositiva: ( P Q ) (¬Q ¬P)



Si riego las rosas entonces crecerán.Si no riego las rosas entonces no crecerán.

3. Leyes de De Morgan: ¬(P v Q) ¬P ^ Q; ¬(P ^ Q) ¬P v ¬Q



No puedo salir y llegare tarde. No puede ser que no pueda salir o llegaré tarde; para el futbol o no hay juego o no hay jugadores. No hay juego y no hay jugadores para un partido

4. Leyes conmutativas: P ^ Q Q ^ P; P v Q Q v P



Max es un perro sucio y apestoso. Max es apestoso y un perro sucio; mi perro está sucio o está limpio. Mi perro está limpio o está sucio.