Leyes de la lógica proposicional

Volver al temario Otras leyes de lógica proposicional

Leyes de la lógica proposicional.

Las leyes lógicas son principios fundamentales que regulan el comportamiento de las proposiciones dentro del ámbito de la lógica formal. Estas leyes permiten manipular, simplificar y establecer equivalencias entre expresiones lógicas. Al comprender y aplicar estas leyes, es posible analizar y resolver problemas lógicos de manera más eficiente, ya sea en matemáticas, informática, filosofía o en cualquier campo que requiera razonamiento estructurado.

Las leyes lógicas no solo son esenciales para la lógica proposicional, sino que también constituyen la base para desarrollar sistemas de álgebra booleana, utilizados en el diseño de circuitos digitales y en algoritmos informáticos. A continuación, se enunciarán algunas de las leyes lógicas más fundamentales, que son esenciales para la resolución de problemas dentro de este campo.

A continuación las leyes de lógica proposicional:

Ley de doble negación

Esta ley establece que la doble negación de una proposición es equivalente a la proposición original. Es decir, negar dos veces una proposición devuelve la proposición original. Matemáticamente se expresa como:

\(\neg (\neg p) \equiv p\)

Leyes de idempotencia

Las leyes de idempotencia dicen que cuando una proposición es combinada consigo misma mediante la conjunción (\(\land\)) o la disyunción (\(\lor\)), el resultado es la proposición misma. Las fórmulas correspondientes son:

\(p \land p \equiv p\)

\(p \lor p \equiv p\)

Leyes asociativas

Estas leyes afirman que la agrupación de las proposiciones no afecta al resultado de una operación lógica, ya sea conjunción (\(\land\)) o disyunción (\(\lor\)). Se expresan de la siguiente manera:

\(p \land (q \land r) \equiv (p \land q) \land r\)

\(p \lor (q \lor r) \equiv (p \lor q) \lor r\)

Leyes conmutativas

Las leyes conmutativas indican que el orden de las proposiciones en una conjunción o disyunción no cambia el valor de la operación. Esto es, por ejemplo:

\(p \land q \equiv q \land p\)

\(p \lor q \equiv q \lor p\)

Leyes distributivas

Estas leyes muestran cómo las operaciones de conjunción y disyunción se distribuyen entre sí, como se expresa en las siguientes fórmulas:

\(p \land (q \lor r) \equiv (p \land q) \lor (p \land r)\)

\(p \lor (q \land r) \equiv (p \lor q) \land (p \lor r)\)

Leyes de De Morgan

Las leyes de De Morgan permiten transformar la negación de una conjunción o disyunción en una disyunción o conjunción de las negaciones de las proposiciones. Se expresan como:

\(\neg (p \land q) \equiv \neg p \lor \neg q\)

\(\neg (p \lor q) \equiv \neg p \land \neg q\)

Ley del condicional

Esta ley describe la equivalencia entre un condicional y su forma equivalente usando la disyunción. Se expresa como:

\(p \to q \equiv \neg p \lor q\)

Ley del bicondicional

El bicondicional establece que dos proposiciones son equivalentes si ambas son verdaderas o ambas son falsas. Se expresa como:

\(p \leftrightarrow q \equiv (p \to q) \land (q \to p)\)

Ley de absorción

La ley de absorción indica que una proposición combinada con una de sus propias implicaciones no cambia el valor de la proposición original. Se expresa como:

\(p \land (p \lor q) \equiv p\)

\(p \lor (p \land q) \equiv p\)

Ley de identidad

Esta ley establece que una proposición combinada con la conjunción de la proposición misma o la disyunción de la proposición misma no cambia el valor de la proposición. Se expresa como:

\(p \land \top \equiv p\)

\(p \lor \bot \equiv p\)

Ley del tercio excluido

La ley del tercero excluido establece que una proposición \(p\) es verdadera o falsa, es decir, no existe una tercera opción. Se expresa como:

\(p \lor \neg p \equiv \top\)

Ir al principio