Universidad de Carabobo

Facultad de Ciencias Económicas y Sociales

Ciclo Básico-Cátedra de Introducción a la Matemática
Campus La Morita-Maracay
Septiembre 2016

GUÍA TEÓRICO – PRÁCTICA

En la lógica proposicional se lograron establecer leyes generales para la simplificación de fórmulas

proposicionales amplias; de tal manera que es posible encontrar una forma proposicional equivalente a la original.
Es decir, que el valor de verdad de ambas formas proposicionales es exactamente el mismo. Y por consiguiente,
son esencialmente la misma proposición. Haciendo posible, el estudio de su valor de verdad procedimentalmente
más sencillo. Dichas leyes se denominan “Leyes del Álgebra”

Leyes del Álgebra

IDEMPOTENCIA ASOCIATIVA

𝑝∧𝑝 ≡𝑝 (𝑝 ∧ 𝑞) ∧ 𝑟 ≡ 𝑝 ∧ (𝑞 ∧ 𝑟)

𝑝∨𝑝 ≡𝑝 (𝑝 ∨ 𝑞) ∨ 𝑟 ≡ 𝑝 ∨ (𝑞 ∨ 𝑟)

DISTRIBUTIVA CONMUTATIVA

(𝑝 ∧ 𝑞) ∨ 𝑟 ≡ (𝑝 ∨ 𝑟) ∧ (𝑞 ∨ 𝑟) 𝑝∧𝑞 ≡𝑞∧𝑝

(𝑝 ∨ 𝑞) ∧ 𝑟 ≡ (𝑝 ∧ 𝑟) ∨ (𝑞 ∧ 𝑟) 𝑞∨𝑝≡𝑝∨𝑞

IDENTIDAD D´MORGAN

𝑝∧𝑉 ≡ 𝑝 𝑝∧𝐹 ≡𝐹 ∼ (𝑝 ∧ 𝑞) ≡∼ 𝑝 ∨∼ 𝑞

𝑝∨𝑉 ≡ 𝑉 𝑝∨𝐹 ≡𝑝 ∼ (𝑝 ∨ 𝑞) ≡∼ 𝑝 ∧∼ 𝑞

ABSORCIÓN COMPLEMENTACIÓN

𝑝 ∧ (𝑝 ∨ 𝑞) ≡ 𝑝 𝑝 ∧∼ 𝑝 ≡ 𝐹

𝑝 ∨ (𝑝 ∧ 𝑞) ≡ 𝑝 𝑝 ∨∼ 𝑝 ≡ 𝑉

∼ (∼ 𝑝) ≡ 𝑝

∼𝑉≡𝐹

∼𝐹≡𝑉

CONDICIONAL BICONDICIONAL

𝑝 → 𝑞 ≡∼ 𝑝 ∨ 𝑞 𝑝 ↔ 𝑞 ≡ (𝑝 → 𝑞) ∧ (𝑞 → 𝑝)

Prof. Carmen Gil

Introducción a la Matemática
Leyes del Álgebra
Veamos, simplifique las siguientes formas proposicionales usando las leyes del álgebra proposicional.

1. ~[(∼ 𝒑 ∨∼ 𝒒) ∨∼ 𝒒] ≡∼ (∼ 𝑝 ∨∼ 𝑞) ∧∼ (∼ 𝑞) ; L. De Morgan
≡ [∼ (∼ 𝑝) ∧∼ (∼ 𝑞)] ∧ 𝑞 ; L. De Morgan
≡ (𝑝 ∧ 𝑞) ∧ 𝑞 ; L. Involución
≡ 𝑝 ∧ (𝑞 ∧ 𝑞) ; L. Asociativa
≡𝑝∧𝑞 ; L.Idempotencia

NOTAS:

a) Al simplificar una formula proposicional el resultado obtenido es equivalente a la formula

proposicional original; es decir, sus valores de verdad son iguales.
~[(∼ 𝒑 ∨∼ 𝒒) ∨∼ 𝒒] 𝑭𝑷. 𝑶𝒓𝒊𝒈𝒊𝒏𝒂𝒍 ≡ 𝒑 ∧ 𝒒 𝑭𝑷. 𝑶𝒃𝒕𝒆𝒏𝒊𝒅𝒂

~ ∼𝑝 ∨ ∼𝑞 ∨ ∼𝑞 ≡ 𝑝 ∧ 𝑞

Comprobemos, V F F F F F V V V V
construyendo
sus tablas de
F F V V V V V V F F
verdad
F V V F V F V F F V

F V V V V V V F F F

En Efecto

~[(∼ 𝒑 ∨∼ 𝒒) ∨∼ 𝒒] ≡ 𝒑 ∧ 𝒒

b) ¿Qué leyes del álgebra usar primero?

No existe una regla general la cual indique el primer paso a seguir, ni que ley utilizar. Sin
embargo, una opción que aclare el camino a tomar es identificar la estructura de la FP
(conectivos principales y secundarios, signos de agrupación); de tal manera que se observe una semejanza
entre la FP y las leyes del álgebra.

c) Las leyes del álgebra están definidas por variables generales para su aplicación; es
decir que la denotación de las variables depende del autor con el cual se esté trabajando.
Pero su estructura es única y se mantiene.

Ejemplos: Denotación de una misma ley, en este caso: Ley Asociativa.

(𝑝 ∧ 𝑞) ∧ 𝑟 ≡ 𝑝 ∧ (𝑞 ∧ 𝑟) (𝑤 ∧ 𝑧) ∧ 𝑡 ≡ 𝑤 ∧ (𝑧 ∧ 𝑡) (△∧ ⨀) ∧⊡≡△∧ (⨀ ∧⊡)

*Distintas variables *La misma estructura

Prof. Carmen Gil
Introducción a la Matemática
Leyes del Álgebra
 d) ¿Cómo aprenderse las Leyes del Álgebra?
La única manera es practicando; resolver diversos ejercicios permite asimilar la
estructura de la ley e identificarla con mayor facilidad.

“La práctica hace al maestro”

Continuemos con los ejemplos: Simplifique la forma proposicional.

2. [(∼ 𝒑 ∧ 𝒒) → (𝒓 ∧∼ 𝒓)] ∧∼ 𝒒 ≡ [(∼ 𝑝 ∧ 𝑞) → 𝐹] ∧∼ 𝑞 ; L. Identidad

≡ [∼ (∼ 𝑝 ∧ 𝑞) ∨ 𝐹] ∧∼ 𝑞 ; L. Condicional

≡ [(∼ (∼ 𝑝) ∨ (∼ 𝑞)) ∨ 𝐹] ∧∼ 𝑞 ; L. De Morgan

Se realiza el
≡ [(𝑝 ∨∼ 𝑞) ∨ 𝐹] ∧∼ 𝑞 ; L. Involución
cambio de
variable, para ≡ [𝑟 ∨ 𝐹] ∧∼ 𝑞 ; 𝑟 = 𝑝 ∨∼ 𝑞 Sustituimos la FP por r.
aplicar la ley
algebraica ≡ 𝑟 ∧∼ 𝑞 ; L. Identidad
correspondiente
≡ (𝑝 ∨∼ 𝑞) ∧∼ 𝑞 ; 𝑟 = 𝑝 ∨∼ 𝑞 Sustituimos r por la FP.

≡ (𝑝 ∨ 𝑠) ∧ 𝑠 ; 𝑠 =∼ 𝑞 hacemos un cambio de variable.

≡𝑠 ; L. Absorción

≡∼ 𝑞 ; 𝑠 =∼ 𝑞 hacemos un cambio de variable.

𝑨𝒔í, [(∼ 𝒑 ∧ 𝒒) → (𝒓 ∧∼ 𝒓)] ∧∼ 𝒒 ≡∼ 𝒒

“Construye la tabla de verdad y comprueba

la equivalencia de las proposiciones”

Prof. Carmen Gil

Introducción a la Matemática
Leyes del Álgebra
 3.∼ (𝒑 → 𝒒) ∨ {𝒑 → [(𝒓 ∨∼ 𝒒) → 𝒓]} ≡ ~(𝑝 → 𝑞) ∨ {𝑝 → [~(𝑟 ∨∼ 𝑞) ∨ 𝑟]} ; L. Condicional

≡ ~(𝑝 → 𝑞) ∨ {𝑝 → [(∼ 𝑟 ∧∼ (∼ 𝑞)) ∨ 𝑟]} ; L. De Morgan

≡ ~(𝑝 → 𝑞) ∨ {𝑝 → [(∼ 𝑟 ∧ 𝑞) ∨ 𝑟]} ; L. Involución

≡ ~(𝑝 → 𝑞) ∨ {𝑝 → [(∼ 𝑟 ∨ 𝑟) ∧ (𝑞 ∨ 𝑟)]} ; L. Distributiva

≡ ~(𝑝 → 𝑞) ∨ {𝑝 → [𝑉 ∧ (𝑞 ∨ 𝑟)]} ; L. Complementación

≡ ~(𝑝 → 𝑞) ∨ {𝑝 → [𝑉 ∧ 𝑠]} ; 𝑠 = (𝑞 ∨ 𝑟)

≡ ~(𝑝 → 𝑞) ∨ (𝑝 → 𝑠) ; L. Identidad

≡ ~(𝑝 → 𝑞) ∨ (𝑝 → (𝑞 ∨ 𝑟)) ; 𝑠 = (𝑞 ∨ 𝑟)

≡∼ (∼ 𝑝 ∨ 𝑞) ∨ (~𝑝 ∨ (𝑞 ∨ 𝑟)) ; L. Condicional

≡ (∼ (∼ 𝑝) ∧∼ 𝑞) ∨ [(~𝑝 ∨ (𝑞 ∨ 𝑟)] ; L. De Morgan

≡ (𝑝 ∧∼ 𝑞) ∨ [(~𝑝 ∨ (𝑞 ∨ 𝑟)] ; L. Involución

≡ [(𝑝 ∧∼ 𝑞) ∨ ~𝑝] ∨ (𝑞 ∨ 𝑟) ; L. Asociativa

≡ [(𝑝 ∨∼ 𝑝) ∧ (~𝑞 ∨∼ 𝑝)] ∨ (𝑞 ∨ 𝑟) ; L. Distributiva

≡ [𝑉 ∧ (~𝑞 ∨∼ 𝑝)] ∨ (𝑞 ∨ 𝑟) ; L. Complementación

≡ [𝑉 ∧ 𝑤] ∨ (𝑞 ∨ 𝑟) ; 𝑤 = (~𝑞 ∨∼ 𝑝)

≡ 𝑊 ∨ (𝑞 ∨ 𝑟) ; L. Identidad

≡ (~𝑞 ∨∼ 𝑝) ∨ (𝑞 ∨ 𝑟) ; 𝑤 = (~𝑞 ∨∼ 𝑝)

≡ (∼ 𝑞 ∨ 𝑞) ∨ (∼ 𝑝 ∨ 𝑟) ; L. Conmutativa y Asociativa

≡ 𝑉 ∨ (∼ 𝑝 ∨ 𝑟) ; L. Complementación

≡𝑉∨𝑧 ; 𝑧 = (∼ 𝑝 ∨ 𝑟)

≡𝑉

Esta simplificación automáticamente da como resultado el valor de verdad de la proposición. En este caso, la
proposición es una tautología.

Ahora, es tu turno Práctica

Prof. Carmen Gil
Introducción a la Matemática
Leyes del Álgebra