Leyes lógicas

Las leyes lógicas son reglas básicas que rigen el razonamiento lógico y la deducción. Estas leyes son universales y aplican a todas las formas de lógica, incluyendo la lógica proposicional y la lógica de predicados. Algunas de las leyes lógicas más comunes son:

• ·         Ley de identidad: una proposición es idéntica a sí misma, es decir, "p es p".
• ·         Ley de no contradicción: una proposición no puede ser verdadera y falsa al mismo tiempo, es decir, "p no es no p".
• ·         Ley del tercero excluido: una proposición es verdadera o falsa, no hay una tercera opción, es decir, "p o no p".
• ·         Leyes de De Morgan: la negación de una conjunción es la disyunción de las negaciones, y la negación de una disyunción es la conjunción de las negaciones, es decir, "no (p y q) es igual a no p o no q" y "no (p o q) es igual a no p y no q".
• ·         Leyes distributivas: la conjunción y la disyunción se distribuyen sobre la otra, es decir, "p y (q o r) es igual a (p y q) o (p y r)" y "p o (q y r) es igual a (p o q) y (p o r)".
• ·         Leyes asociativas: la conjunción y la disyunción son asociativas, es decir, "p y (q y r) es igual a (p y q) y r" y "p o (q o r) es igual a (p o q) o r".
• ·         Leyes conmutativas: la conjunción y la disyunción son conmutativas, es decir, "p y q es igual a q y p" y "p o q es igual a q o p".
• ·         Leyes de absorción: la conjunción y la disyunción tienen leyes de absorción, es decir, "p y (p o q) es igual a p" y "p o (p y q) es igual a p".

Estas leyes lógicas son importantes en la lógica proposicional porque permiten simplificar y reducir expresiones lógicas complejas, y son útiles en la demostración de teoremas y en la resolución de problemas lógicos.