TALLER MÓDULO 2 – LÓGICA

INGENIERÍA DE SOFTWARE

V SEMESTRE

PRESENTADO POR: Lorena Rocío Trujillo Gómez

TABLAS DE VERDAD Y TAUTOLOGÍAS

1)
a) (𝒔 → (𝒑 ∧∼ 𝒓)) ∧ ((𝒑 → (𝒓 ∨ 𝒒)) ∧ 𝒔) = 𝑭

Demostración:

(𝑠 → (𝑝 ∧∼ 𝐹)) ∧ ((𝑝 → (𝐹 ∨ 𝑉)) ∧ 𝑠)

(𝑠 → (𝑝 ∧ 𝑉)) ∧ ((𝑝 → 𝑉) ∧ 𝑠)
(𝑠 → (𝐹 ∧ 𝑉)) ∧ ((𝐹 → 𝑉) ∧ 𝑠)
(𝑠 → 𝐹) ∧ (𝑉 ∧ 𝑠)
(𝑉 → 𝐹) ∧ (𝑉 ∧ 𝑉)
𝐹∧𝑉
𝐹

b) ((𝒑 ∧∼ 𝒒)) → (𝒒 ∧ 𝒓)) → (𝒔 ∨∼ 𝒒) = 𝑽

Demostración:

((𝑝 ∧∼ 𝑉)) → (𝑉 ∧ 𝐹)) → (𝑠 ∨∼ 𝑞)

((𝑝 ∧ 𝐹)) → 𝐹) → (𝑠 ∨∼ 𝑉)

((𝐹 ∧ 𝐹)) → 𝐹) → (𝑉 ∨ 𝐹)

(𝐹 → 𝐹) → 𝑉
𝑉→𝑉
𝑉
2) 𝒑 ∧ [(~𝒑⋁𝒒) ∨ (𝒓⋁𝒑)] ∨ [𝒓 ∧ (𝒒⋁ ∼ 𝒓)]
TABLA DE VERDAD
𝒑 𝒒 𝒓 ~𝒑 ~𝒓 (~𝒑⋁𝒒) (𝒓⋁𝒑) [(~𝒑⋁𝒒) ∨ (𝒓⋁𝒑)] (𝒒⋁ ∼ 𝒓) [𝒓 ∧ (𝒒⋁ ∼ 𝒓)] [(~𝒑⋁𝒒) ∨ (𝒓⋁𝒑)] ∨ [𝒓 ∧ (𝒒⋁ ∼ 𝒓)] 𝒑 ∧ [(~𝒑⋁𝒒) ∨ (𝒓⋁𝒑)] ∨ [𝒓 ∧ (𝒒⋁ ∼ 𝒓)]
V V V F F V V V V V V V
V V F F V V V V V F V V
V F V F F F V V F F V V
V F F F V F V V V F V V
F V V V F V V V V V V V
F V F V V V F V V F V V
F F V V F V V V F F V V
F F F V V V F V V F V V

3) 𝒑 ↔ 𝒒 ≡ (𝒑 → 𝒒)⋀(𝒒 → 𝒑)

𝒑 𝒒 𝒑↔𝒒
V V V
V F F
F V F
F F V

𝒑 𝒒 𝒑→𝒒 𝒒→𝒑 [(𝒑 → 𝒒)⋀(𝒒 → 𝒑)]

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

Por lo tanto si se cumple: 𝒑 ↔ 𝒒 ≡ (𝒑 → 𝒒)⋀(𝒒 → 𝒑)

4)
a) (𝒑 ∨ 𝒒) ∧ (∼ 𝒑 ↔ 𝒒) ∧ (𝒑 ∨ 𝒒) → (∼ 𝒑 ∨∼ 𝒒)
𝒑 𝒒 ~𝒑 ~𝒒 (𝒑 ∨ 𝒒) (∼ 𝒑 ↔ 𝒒) (∼ 𝒑 ∨∼ 𝒒) (𝒑 ∨ 𝒒) ∧ (∼ 𝒑 ↔ 𝒒) (𝒑 ∨ 𝒒) ∧ (∼ 𝒑 ↔ 𝒒) ∧ (𝒑 ∨ 𝒒) (𝒑 ∨ 𝒒) ∧ (∼ 𝒑 ↔ 𝒒) ∧ (𝒑 ∨ 𝒒) → (∼ 𝒑 ∨∼ 𝒒)
V V F F V F F F F V
V F F V V F V F F V
F V V F V F V F F V
F F V V F F V F F V

ÁLGEBRA DE PROPOSICIONES

5)
a) (𝒑⋀ ∼ 𝒒)⋁(∼ 𝒓⋀𝒑) ≡ 𝒑⋀ ∼ (𝒒⋀𝒓) c) ((𝒑⋀𝒒)⋁𝒑) ∧ (∼ 𝒑 ∨∼ 𝒒) ≡ 𝒑⋀ ∼ 𝒒

Ley distributiva: 𝒑⋀(∼ 𝒒⋁ ∼ 𝒓) ≡ 𝒑⋀ ∼ (𝒒⋀𝒓) Ley conmutativa: (𝒑⋁(𝒑⋀𝒒)) ∧ (∼ 𝒑 ∨∼ 𝒒) ≡ 𝒑⋀ ∼ 𝒒

b) ((∼ 𝒑⋀𝒒)⋁𝒑) ∧ (𝒒 ∨ 𝒑) ∧∼ 𝒒 ≡ (∼ 𝒒⋀𝒑) Ley absorción: (𝒑 ∧ (∼ 𝒑 ∨∼ 𝒒) ≡ 𝒑⋀ ∼ 𝒒

Ley conmutativa:(𝒑⋁(∼ 𝒑 ∧ 𝒒)) ∧ (∼ 𝒒 ∧ (𝒒 ∨ 𝒑) ≡ (∼ 𝒒⋀𝒑) Ley absorción: (𝒑 ∧∼ 𝒒 ≡ 𝒑⋀ ∼ 𝒒
Ley de absorción: (𝒑 ∨ 𝒒) ∧ (∼ 𝒒 ∧ 𝒑) ≡ (∼ 𝒒⋀𝒑) d) ∼ ((𝒑 ∨ 𝒒) ∧ (𝒑 ∨∼ 𝒒) ≡∼ 𝒑
Ley asociativa: (𝒑 ∨ 𝒒) ∧∼ 𝒒 ∧ 𝒑 ≡ (∼ 𝒒⋀𝒑) Ley distributiva ∼ (𝒑 ∨ (𝒒 ∼ 𝒒) ≡∼ 𝒑

((𝒑 ∨ 𝒒) ∧∼ 𝒒) ∧ 𝒑 ≡ (∼ 𝒒⋀𝒑) Ley del tercio excluido ∼ (𝒑 ∨ 𝑽) ≡∼ 𝒑

Ley conmutativa: (∼ 𝒒 ∧ (𝒑 ∨ 𝒒)) ∧ 𝒑 ≡ (∼ 𝒒⋀𝒑) Ley de Morgan (∼ 𝒑 ∧ 𝑭) ≡∼ 𝒑
Ley absorción: ∼ 𝒒 ∧ 𝒑 ≡ (∼ 𝒒⋀𝒑) Forma normal conjunción ∼ 𝒑 ≡∼ 𝒑
SISTEMAS DEDUCTIVOS Y REGLAS DE INFERENCIA

6)

Premisa 1: Esta tarde no está soleada y es más soleada que ayer ∼𝒑∧𝒒

Premisa 2: Iremos a nadar solo si hace sol 𝒓↔𝒑

Premisa 3: Si no vamos a nadar, entonces tomaremos un viaje juntos ∼𝒓→𝒔

Premisa 4: Si tomamos un viaje en canoa, entonces estaremos en casa para el atardecer 𝒔→𝒕

Conclusión:

Cómo esta tarde no está soleada ∼𝒑

Entonces no iremos a nadar ∼𝒓

Entonces tomaremos un viaje juntos 𝒔

Entonces estaremos en cada para el atardecer 𝒕

𝑷𝟏 : ∼ 𝒑 ∧ 𝒒
𝑷𝟐 : 𝒓 ↔ 𝒑
𝑷𝟑 :.∼ 𝒓 → 𝒔

𝑷𝟒 : 𝒔→𝒕
𝑪: 𝒕
7)
a) Deducir a 𝑝 → 𝑞

𝑷𝟏 : 𝒑 ∧ (𝒓 ∨ 𝒒)
𝑷𝟐 : (∼ 𝒓 ∨ 𝒒)
𝑷𝟑 : (𝒒 ∨ 𝒓)

𝑷𝟏 : 𝒑 ∧ (𝒓 ∨ 𝒒)

𝑷𝟏 : (𝒓 ∨ 𝒒) ∧ 𝒑 Ley conmutativa
______________ Simplificación disyuntiva
𝑷𝟒 : (𝒓 ∨ 𝒒)

𝑷𝟐 : (∼ 𝒓 ∨ 𝒒)
𝑷𝟑 : (𝒒 ∨ 𝒓)
____________________Regla de conjunción
𝑷𝟓 : (∼ 𝒓 ∨ 𝒒) ∧ (𝒒 ∨ 𝒓)
𝑷𝟓 : 𝒒 ∨ (∼ 𝒓 ∧ 𝒓) Ley distributiva

𝑷𝟔 : 𝒒 ∨ (𝑭) Ley del tercio excluido

𝑷𝟔 : 𝒒 Forma normal
𝑷𝟔 : 𝒒
𝑷𝟕 : (𝒑 ∨ 𝒒) Regla de amplificación disyuntiva

b) Deducir a (𝑎 ∨ 𝑞) → 𝑞

𝑷𝟏 : (𝒂 → 𝒒)
𝑷𝟐 : (𝒃 → 𝒒)
_______________ Regla de demostración por casos
𝑷𝟑 : (𝒂 ∨ 𝒓) → 𝒒

c) Deducir a s

𝑷𝟏 : (𝒓 ∨ 𝒒)
𝑷𝟐 : (𝒑 → 𝒒)
𝑷𝟑 : (𝒑 ∨ 𝒓) → 𝒔

𝑷𝟏 : (𝒓 ∨ 𝒒) Regla de amplificación disyuntiva

𝑷𝟒 : 𝒓

𝑷𝟐 : 𝒑 → 𝒒
𝑷𝟓 : 𝒒
____________ Regla modus ponendo ponens
𝑷𝟔 : 𝒑

𝑷𝟒 : 𝒓
𝑷𝟔 : 𝒑
__________ Regla de conjunción
𝑷𝟕 : (𝒑 ∨ 𝒓)

𝑷𝟑 : (𝒑 ∨ 𝒓) → 𝒔 Regla de demostración por casos

𝑷𝟕 : (𝒑 ∨ 𝒓)
__________ Regla modus ponendo ponens
𝑷𝟖 : 𝒔

CUANTIFICADORES

8)
a) (∃𝑥 ∈ 𝐴)(𝑥 + 3 = 10) = 𝐹
Explicación:

(1 + 3 = 4)
(2 + 3 = 5)
(4 + 3 = 7)
(5 + 3 = 8)

b) (∀𝑥 ∈ 𝐴)(𝑥 + 3 < 10) = 𝑉

Explicación:

(1 + 3 < 10)
(4 < 10)

(2 + 3 < 10)
(5 < 10)

(4 + 3 < 10)
(7 < 10)

(5 + 3 < 10)
(8 < 10)

c) (∃𝑥 ∈ 𝐴)(𝑥 + 3 < 5) = 𝑉

𝐴(1)
Explicación:

(1 + 3 < 5)

d) (∀𝑥 ∈ 𝐴)(𝑥 + 3 ≤ 7) = 𝐹

Explicación:

(1 + 3 ≤ 7)
(4 ≤ 7)

(2 + 3 ≤ 7)
(5 ≤ 7)

(4 + 3 ≤ 7)
(7 ≤ 7)

(5 + 3 ≤ 7)
(8 > 7)