LEYES DEL ÁLGEBRA PROPOSICIONAL El álgebra proposicional es una rama de la lógica matemática que estudia las propiedades de las proposiciones y los conectivos lógicos. Las proposiciones son enunciados que pueden ser verdaderos o falsos, como "Llueve" o "El cielo es verde". Los conectivos lógicos, como "y", "o" y "si... entonces", se utilizan para combinar proposiciones y crear proposiciones más complejas.
Las leyes del álgebra proposicional son un conjunto de reglas que permiten simplificar y manipular proposiciones compuestas. Estas leyes se basan en la idea de que el valor de verdad de una proposición compuesta no depende del orden en que se combinan las proposiciones individuales, sino de la forma en que se combinan.
Algunas de las leyes más importantes del álgebra proposicional son:
Leyes de Idempotencia: Esta ley establece que repetir una proposición consigo misma no altera su valor de verdad. En otras palabras, si una proposición es verdadera o falsa, seguirá siendo verdadera o falsa al repetirla.
Fórmulas: p ^ p ≡ p (La conjunción de una proposición consigo misma es equivalente a la proposición original)
p v p ≡ p (La disyunción de una proposición consigo misma es equivalente
a la proposición original)
Ejemplo: La proposición "Llueve" es verdadera. Si la repetimos una vez, "Llueve, llueve", sigue siendo verdadera.
Leyes de Asociatividad:
Esta ley establece que el orden en que se agrupan las proposiciones en una expresión compuesta no afecta su valor de verdad. En otras palabras, el resultado final es el mismo sin importar cómo se agrupen las proposiciones.
Fórmulas: (p ^ q) ^ r ≡ p ^ (q ^ r) (La agrupación de conjunciones no afecta el valor de verdad) (p v q) v r ≡ p v (q v r) (La agrupación de disyunciones no afecta el valor de verdad)
Ejemplo: La proposición "(Llueve ^ Nieva) ^ Hace frío" es equivalente a "Llueve ^ (Nieva ^ Hace frío)". Ambas proposiciones tienen el mismo significado y valor de verdad.
Leyes de Conmutatividad: Esta ley establece que el orden en que se combinan dos proposiciones en una conjunción o disyunción no afecta su valor de verdad. En otras palabras, el resultado final es el mismo sin importar el orden de las proposiciones.
Fórmulas: p ^ q ≡ q ^ p (El orden de las proposiciones en una conjunción no afecta el valor de verdad)
p v q ≡ q v p (El orden de las proposiciones en una disyunción no afecta el
valor de verdad)
Ejemplo: La proposición "Llueve v Nieva" es equivalente a "Nieva v Llueve". Ambas proposiciones tienen el mismo significado y valor de verdad.
Leyes de Distribución: Esta ley establece que la distribución de una conjunción sobre una disyunción (o viceversa) es equivalente a la conjunción (o disyunción) de cada término de la primera proposición con cada término de la segunda proposición.
Fórmulas: p ^ (q v r) ≡ (p ^ q) v (p ^ r) (La distribución de una conjunción sobre una disyunción) p v (q ^ r) ≡ (p v q) ^ (p v r) (La distribución de una disyunción sobre una conjunción)
Ejemplo: La proposición "Llueve ^ (Nieva v Hace frío)" es equivalente a "(Llueve ^ Nieva) v (Llueve ^ Hace frío)". Ambas proposiciones tienen el mismo significado y valor de verdad.
Leyes de Identidad: Esta ley establece que la conjunción de una proposición con su negación siempre es falsa, y la disyunción de una proposición con su negación siempre es verdadera.
Fórmulas: p ^ ¬p ≡ F (La conjunción de una proposición con su negación es falsa)
p v ¬p ≡ T (La disyunción de una proposición con su negación es
verdadera)
Ejemplo: La proposición "Llueve ^ ¬Llueve" siempre es falsa, independientemente del valor de verdad de "Llueve".
Leyes de Morgan: Estas leyes establecen que la negación de una conjunción es equivalente a la disyunción de las negaciones, y la negación de una disyunción es equivalente a la conjunción de las negaciones.
Fórmulas: ¬(p ^ q) ≡ ¬p v ¬q (La negación de una conjunción es equivalente a la disyunción de las negaciones)
¬(p v q) ≡ ¬p ^ ¬q (La negación de una disyunción es equivalente a la
conjunción de las negaciones)
Ejemplo: La proposición "¬(Llueve ^ Nieva)" es equivalente a "¬Llueve v ¬Nieva". Ambas proposiciones tienen el mismo significado y valor de verdad.
Leyes de Absorción: Esta ley establece que una proposición absorbida por su conjunción o disyunción con su negación no cambia su valor de verdad.
Fórmulas: p ^ (p v ¬q) ≡ p (La absorción de una conjunción por su disyunción con su negación)
p v (p ^ ¬q) ≡ p (La absorción de una disyunción por su conjunción con su
negación) Ejemplo: La proposición "Llueve ^ (Llueve v ¬Nieva)" es equivalente a "Llueve". Ambas proposiciones tienen el mismo significado y valor de verdad.
Leyes de Complementación: Esta ley establece que la conjunción de una proposición con su negación siempre es falsa, y la disyunción de una proposición con su negación siempre es verdadera.
Fórmulas: p ^ ¬p ≡ F (La conjunción de una proposición con su negación es falsa)
p v ¬p ≡ T (La disyunción de una proposición con su negación es
verdadera)
Ejemplo: La proposición "Llueve ^ ¬Llueve" siempre es falsa, independientemente del valor de verdad de "Llueve".
Esta ley establece que una proposición condicional (p ⊃ q) es equivalente a la
Leyes del Condicional:
disyunción de la negación del antecedente (¬p) con el consecuente (q).
p ⊃ q ≡ ¬p v q (La proposición condicional es equivalente a la disyunción de
Fórmulas:
la negación del antecedente con el consecuente)
Ejemplo: La proposición "Si llueve, entonces el suelo está mojado" es equivalente a "No llueve o el suelo está mojado".
APLICACIÓN DE LAS LEYES DEL ÁLGEBRA PROPOSICIONAL
Las leyes del álgebra proposicional se pueden utilizar para:
Simplificar proposiciones compuestas: Las leyes del álgebra proposicional se pueden utilizar para simplificar proposiciones compuestas eliminando redundancias y combinando proposiciones de manera más eficiente.
Determinar la equivalencia de proposiciones: Dos proposiciones se
consideran equivalentes si tienen el mismo valor de verdad para todas las posibles asignaciones de valores de verdad a las proposiciones atómicas que las componen. Las leyes del álgebra proposicional se pueden utilizar para determinar si dos proposiciones son equivalentes.
Construir demostraciones lógicas: Las demostraciones lógicas son
argumentos que se utilizan para probar la validez de una proposición. Las leyes del álgebra proposicional se pueden utilizar para construir demostraciones lógicas más eficientes y fáciles de entender.
SIMPLIFICACIÓN Y DEMOSTRACIÓN DE UNA FORMA PROPOSICIONAL
Considere la siguiente proposición compuesta:
(p ^ q) v (¬p ^ r)
Esta proposición compuesta se puede simplificar utilizando la ley de
distribución de la siguiente manera: (p ^ q) v (¬p ^ r) = p ^ (q v r) v ¬p ^ r
Luego, se puede utilizar la ley de asociatividad para agrupar los términos de la
siguiente manera: p ^ (q v r) v ¬p ^ r = (p ^ q) v (p ^ r) v ¬p ^ r
Finalmente, se puede utilizar la ley de absorción para eliminar el término ¬p ^ r
de la siguiente manera: (p ^ q) v (p ^ r) v ¬p ^ r = (p ^ q) v (p ^ r) = p ^ (q v r)
Por lo tanto, la proposición compuesta original se puede simplificar a p ^ (q v r).
