APUNTES DE ALGEBRA I

UNIDAD I. LOGICA PROPOSICIONAL

MAT100

MSc Ing Nancy Abarca Fecha: / /2020

PROPOSICIONES CONDICIONALES

p->q directa

q->p reciproca

∼ 𝑝 →∼ 𝑞 contraria

∼ 𝑞 →∼ 𝑝 contrarrecíproca

La condicional directa y la contrarrecíproca son equivalentes

La contraria y la reciproca son equivalentes

EQUIVALENCIA LOGICA

A≡ 𝐵 si la bicondicional entre ambas es una tautología

p->q ≡ ∼ 𝑞 →∼ 𝑝

(p -> q ) <→ (∼ 𝑞 →∼ 𝑝)

(p -> q) <-> (∼ 𝑞 -> ∼ 𝑝)

V V V V F V F
V F F V V F F
F V V V F V V
F V F V V V V

Ejm. 1:Dada la proposición condicional escribir su contrarrecíproca

Si hay muchos bonos, la economía de un país decrece

p->q

Si la economía de un país no decrece, no hay muchos bonos

∼ 𝑞 →∼ 𝑝
Ejm 2. En las siguientes proposiciones condicionales, escriba su recíproca, contraria y

contrarrecíproca:

“El policía multó a un diputado debido a que circulaba con efectos de alcohol.”

Consecuente p <- antecedente q

q -> p condicional directa

Si circulaba con efectos de alcohol, entonces el policía multo a un diputado

 p -> q reciproca

Si el policía multó al diputado , entonces circulaba con efectos de alcohol

∼ 𝑞 →∼ 𝑝 contraria

Si no circulaba con efectos de alcohol entonces el policía no multó al diputado

∼ 𝑝 →∼ 𝑞 contrarrecíproca

Si el policía no multó al diputado , entonces no circulaba con efectos de alcohol

Simplificación de proposiciones

Ejm 1: simplificar y clasificar la condicional asociada de Modus Tollendo Tollens (mtt),

fundamentando cada paso con leyes lógicas:

⌈(𝑝 → 𝑞) ∧∼ 𝑞⌉ → ∼ 𝑝 LI A->B= ∼ 𝐴 ∨ 𝐵
⌈(∼ 𝑝 ∨ 𝑞) ∧∼ 𝑞⌉ → ∼ 𝑝 LP ∼ 𝐴 ∧ (𝐴 ∨ 𝐵) = ∼ 𝐴 ∧ 𝐵
(∼ 𝑝 ∧∼ 𝑞) → ∼ 𝑝 LI A->B= ∼ 𝐴 ∨ 𝐵

∼ (∼ 𝑝 ∧∼ 𝑞) ∨ ∼ 𝑝 LM ∼ (𝑝 ∧ 𝑞) =∼ 𝑝 ∨∼ 𝑞 DN ∼ (∼ 𝑝) = 𝑝

(𝑝 ∨ 𝑞) ∨ ∼ 𝑝 Asoc. (𝐴 ∨ 𝐵) ∨ 𝐶 = 𝐴 ∨ (𝐵 ∨ 𝐶)

Conmut. 𝐴 ∨ 𝐵 = 𝐵 ∨ 𝐴

(𝑝 ∨∼ 𝑝) ∨ 𝑞 CN 𝑝 ∨∼ 𝑝 = 𝑉

V ∨ 𝑞 CT V∨𝐴 =𝑉

V es una tautología

Ejm. 2: simplificar la negación de la condicional asociada del silogismo hipotetico,

mediante leyes lógicas
∼ {[(𝑝 → 𝑞) ∧ (𝑞 → 𝑟)] → (𝑝 → 𝑟)} LI A->B = ∼ 𝐴 ∨ 𝐵
∼ {[(∼ 𝑝 ∨ 𝑞) ∧ (∼ 𝑞 ∨ 𝑟)] → (∼ 𝑝 ∨ 𝑟)} LI
∼ {∼ [(∼ 𝑝 ∨ 𝑞) ∧ (∼ 𝑞 ∨ 𝑟)] ∨ (∼ 𝑝 ∨ 𝑟)} LM ∼ (𝑝 ∧ 𝑞) =∼ 𝑝 ∨∼ 𝑞 DN ∼ (∼ 𝑝) = 𝑝
∼ {[(𝑝 ∧∼ 𝑞) ∨ (𝑞 ∧∼ 𝑟)] ∨ (∼ 𝑝 ∨ 𝑟)} Asoc, y conmut.

∼ {[(𝑝 ∧∼ 𝑞) ∨∼ 𝑝] ∨ [(𝑞 ∧∼ 𝑟) ∨ 𝑟]} LP ∼ 𝐴 ∨ (𝐴 ∧ 𝐵) =∼ 𝐴 ∨ 𝐵

∼ {[∼ 𝑞 ∨∼ 𝑝] ∨ [(𝑞 ∨ 𝑟)} Asoc, y conmut

∼ {[∼ 𝑞 ∨ 𝑞] ∨ [(∼ 𝑝 ∨ 𝑟)} CN AV∼ 𝐴 = V

∼ {[𝑉] ∨ [(∼ 𝑝 ∨ 𝑟)} CT A V V= V

∼ {𝑉}
F es una antitautología

Ejm 3. [(𝑝 ∧∼ 𝑞) ∨∼ 𝑝] → [𝑞 ∧∼ (𝑝 → 𝑟)] LI A->B = ∼ 𝐴 ∨ 𝐵

[(𝑝 ∧∼ 𝑞) ∨∼ 𝑝] → [𝑞 ∧∼ (∼ 𝑝 ∨ 𝑟)] LM ∼ (𝑝 ∨ 𝑞) =∼ 𝑝 ∧∼ 𝑞 DN ∼ (∼ 𝑝) = 𝑝

[(𝑝 ∧∼ 𝑞) ∨∼ 𝑝] → [𝑞 ∧ (𝑝 ∧∼ 𝑟)] LP ∼ 𝐴 ∨ (𝐴 ∧ 𝐵) =∼ 𝐴 ∨ 𝐵
[∼ 𝑞 ∨∼ 𝑝] → [𝑞 ∧ (𝑝 ∧∼ 𝑟)] LI A->B = ∼ 𝐴 ∨ 𝐵
∼ [∼ 𝑞 ∨∼ 𝑝] ∨ [𝑞 ∧ (𝑝 ∧∼ 𝑟)] LM y DN

[𝑞 ∧ 𝑝] ∨ [𝑞 ∧ (𝑝 ∧∼ 𝑟)] asociativa

(𝑞 ∧ 𝑝) ∨ [(𝑞 ∧ 𝑝) ∧∼ 𝑟] LA A∨ (𝐴 ∧ 𝐵) = 𝐴

𝑞∧𝑝
Es una contingencia

Ejm 4. (𝑞 → 𝑝) → [(𝑝 ∨ 𝑞) → (𝑞 ∧∼ 𝑝)] LI A->B = ∼ 𝐴 ∨ 𝐵

(∼ 𝑞 ∨ 𝑝) → [(𝑝 ∨ 𝑞) → (𝑞 ∧∼ 𝑝)] LI A->B = ∼ 𝐴 ∨ 𝐵
(∼ 𝑞 ∨ 𝑝) → [∼ (𝑝 ∨ 𝑞) ∨ (𝑞 ∧∼ 𝑝)] LM ∼ (𝐴 ∨ 𝐵) =∼ 𝐴 ∧∼ 𝐵

(∼ 𝑞 ∨ 𝑝) → [(∼ 𝑝 ∧∼ 𝑞) ∨ (𝑞 ∧∼ 𝑝)] distributiva

(∼ 𝑞 ∨ 𝑝) → [(∼ 𝑝 ∧ (∼ 𝑞 ∨ 𝑞)] CN ∼ 𝐴 ∨ 𝐴 = 𝑉

(∼ 𝑞 ∨ 𝑝) → [(∼ 𝑝 ∧ (𝑉)] EN A∧ (𝑉) = 𝐴

(∼ 𝑞 ∨ 𝑝) → [(∼ 𝑝] LI

∼ (∼ 𝑞 ∨ 𝑝) ∨ [(∼ 𝑝] LM y DN

(q∧∼ 𝑝) ∨∼ 𝑝 LA

∼𝑝 ES UNA CONTINGENCIA

Ejm 4. (pVq) =∼ (𝑝 <→ 𝑞)

(pVq) <→ ∼ (𝑝 <→ 𝑞) LDE

∼ (𝑝 <→ 𝑞) <→ ∼ (𝑝 <→ 𝑞) sustitucion

T<-> t LDI

(t->t)∧ (t->t) L Idempotencia

t->t LI

∼ 𝑡Vt CN

Ejm 6: (q -> p) ->[(p∨ 𝑞) → (𝑞 ∧∼ 𝑝)] LI A->B = ∼ 𝐴 ∨ 𝐵

(∼q ∨ p) ->[∼(p∨ 𝑞) ∨ (𝑞 ∧∼ 𝑝)] LM ∼ (𝐴 ∨ 𝐵) =∼ 𝐴 ∧∼ 𝐵

(∼q ∨ p) ->[(∼p∧∼ 𝑞) ∨ (𝑞 ∧∼ 𝑝)] Distrib

(∼q ∨ p) ->[∼p∧ (∼ 𝑞 ∨ 𝑞)] CN A V∼ 𝐴 = V

(∼q ∨ p) ->(∼p∧ 𝑉) EN ∼ 𝑃 ∧ 𝑉 =∼ 𝑃

(∼q ∨ p) -> ∼p LI A->B = ∼ 𝐴 ∨ 𝐵

∼(∼q ∨ p) ∨ ∼p LM y DN

(q∧∼ 𝑝) ∨ ∼p LA A∨ (𝐴 ∧ 𝐵) = 𝐴
∼𝑝 es una contingencia