TAREA N° 8

PRESENTADO POR: MARÍA CAMILA ZAPATA T.

PRESENTADO A: PROFESOR GERARDO OSPINA
H.

ESCUELA COLOMBIANA DE INGENIERÍA JULIO GARAVITO

PROGRAMA DE MATEMÁTICAS
ASIGNATURA: LÓGICA CALCULATIVA
BOGOTÁ D. C.
SEPTIEMBRE 27 DE 2019
 TAREA N° 8

4.3. La negación y la discrepancia

5. Demuestre el Teorema 4.15.5.

⊢DS (((¬𝜙) ≡ 𝜓) ≡ (𝜙 ≡ (¬𝜓)))

Demostración: Para (Teorema 4.15.5):

1. ((𝜙 ≢ 𝜓) ≡ ((¬𝜙) ≡ 𝜓)) (𝐴𝑥10)

2. ((¬𝜙) ≡ (𝜙 ≡ 𝑓𝑎𝑙𝑠𝑒)) (𝐴𝑥9)
3. ((¬𝜙) ≡ 𝜓) Ecuanimidad en 1
4. ((𝜙 ≡ 𝑓𝑎𝑙𝑠𝑒) ≡ 𝜓) Transitividad 2 y 3
5. (𝜙 ≡ (𝑓𝑎𝑙𝑠𝑒 ≡ 𝜓)) Asociatividad en 4
6. (𝜙 ≡ (𝜓 ≡ 𝑓𝑎𝑙𝑠𝑒)) Conmutatividad en 5
7. ((¬𝜓) ≡ (𝜓 ≡ 𝑓𝑎𝑙𝑠𝑒)) (𝐴𝑥9)[𝜙 ≔ 𝜓]
8. (𝜙 ≡ (¬𝜓)) Transitividad 6 y 7
9. (((¬𝜙) ≡ 𝜓) ≡ (𝜙 ≡ (¬𝜓))) Transitividad 3 y 8

6. Demuestre el Teorema 4.15.7.

⊢DS ((𝜙 ≡ (¬𝜙)) ≡ 𝑓𝑎𝑙𝑠𝑒)

Demostración: Para (Teorema 4.15.7):

1. ((¬𝜙) ≡ (𝜙 ≡ 𝑓𝑎𝑙𝑠𝑒)) (𝐴𝑥9)

2. (((¬𝜙) ≡ 𝜙) ≡ 𝑓𝑎𝑙𝑠𝑒) Asociatividad en 1
3. (((¬𝜙) ≡ 𝜙) ≡ (𝜙 ≡ (¬𝜙))) Teorema 4.15.5 [𝜓 ≔ 𝜙]
4. ((𝜙 ≡ (¬𝜙)) ≡ 𝑓𝑎𝑙𝑠𝑒) Transitividad 2 y 3

8. Demuestre el Teorema 4.16.2.

⊢DS ((𝜙 ≢ 𝜓) ≡ (𝜓 ≢ 𝜙))

Demostración: Para (Teorema 4.16.2):

1. ((𝜙 ≢ 𝜓) ≡ ((¬𝜙) ≡ 𝜓)) (𝐴𝑥10)

2. ((¬𝜙) ≡ (𝜙 ≡ 𝑓𝑎𝑙𝑠𝑒)) (𝐴𝑥9)
3. ((¬𝜙) ≡ 𝜓) Ecuanimidad en 1
4. ((𝜙 ≡ 𝑓𝑎𝑙𝑠𝑒) ≡ 𝜓) Transitividad 2 y 3
5. (𝜙 ≡ (𝑓𝑎𝑙𝑠𝑒 ≡ 𝜓)) Asociatividad en 4
6. (𝜙 ≡ (𝜓 ≡ 𝑓𝑎𝑙𝑠𝑒)) Conmutatividad en 5
7. ((¬𝜓) ≡ (𝜓 ≡ 𝑓𝑎𝑙𝑠𝑒)) (𝐴𝑥9)[𝜙 ≔ 𝜓]
8. (𝜙 ≡ (¬𝜓)) Transitividad 6 y 7
9. ((¬𝜓) ≡ 𝜙) Conmutatividad en 8
 10. ((𝜓 ≢ 𝜙) ≡ ((¬𝜓) ≡ 𝜙)) (𝐴𝑥10) [𝜙, 𝜓 ≔ 𝜓, 𝜙]
11. ((𝜙 ≢ 𝜓) ≡ ((¬𝜓) ≡ 𝜙)) Transitividad 1, 3 y 10
12. ((𝜙 ≢ 𝜓) ≡ (𝜓 ≢ 𝜙)) Transitividad 10 y 11

9. Demuestre el Teorema 4.16.3.

⊢DS ((𝜙 ≢ 𝑓𝑎𝑙𝑠𝑒) ≡ 𝜙)

Demostración: Para (Teorema 4.16.3):

1. ((𝜙 ≢ 𝜓) ≡ ((¬𝜙) ≡ 𝜓)) (𝐴𝑥10)

2. ((𝜙 ≡ (¬𝜙)) ≡ 𝑓𝑎𝑙𝑠𝑒) Teorema 4.15.7
3. (𝜙 ≡ ((¬𝜙) ≡ 𝑓𝑎𝑙𝑠𝑒)) Asociatividad en 2
4. ((𝜙 ≢ 𝑓𝑎𝑙𝑠𝑒) ≡ ((¬𝜙) ≡ 𝑓𝑎𝑙𝑠𝑒)) (𝐴𝑥10) [𝜓 ≔ 𝑓𝑎𝑙𝑠𝑒]
5. (𝜙 ≡ (𝜙 ≢ 𝑓𝑎𝑙𝑠𝑒)) Transitividad 3 y 4
6. ((𝜙 ≢ 𝑓𝑎𝑙𝑠𝑒) ≡ 𝜙) Conmutatividad en 5

10. Demuestre el Teorema 4.16.5.

⊢DS (((𝜙 ≢ 𝜓) ≢ 𝜓) ≡ 𝜙)

Demostración: Para (Teorema 4.16.5):

4.4. La disyunción

1. Demuestre el Teorema 4.19.2.

⊢DS ((𝜙 ∨ 𝑡𝑟𝑢𝑒) ≡ 𝑡𝑟𝑢𝑒)

Demostración: Para (Teorema 4.19.2):

2. Demuestre el Teorema 4.19.3.

⊢DS (𝜙 ∨ 𝑡𝑟𝑢𝑒)

Demostración: Para (Teorema 4.19.3):

1. ((𝜙 ∨ 𝑡𝑟𝑢𝑒) ≡ 𝑡𝑟𝑢𝑒) Teorema 4.19.2

2. True Teorema 4.6.1
3. (𝜙 ∨ 𝑡𝑟𝑢𝑒) Ecuanimidad en 1 y 2

3. Demuestre el Teorema 4.19.4.

⊢DS ((𝜙 ∨ 𝜓) ≡ ((𝜙 ∨ (¬𝜓)) ≡ 𝜙)

Demostración: Para (Teorema 4.19.4):

7. Demuestre que si a ∈ ℕ y 𝑎2 es par, entonces a es par.

Si 𝑎2 = 2𝑡, 𝑡 ∈ ℕ, entonces 𝑎 = 2𝑟, 𝑟 ∈ ℕ

Simbolización: 𝒑: 𝑎2 𝑦 𝒒: 𝑎
(𝒑 ∧ 𝒒): 𝑎2 𝑦 𝑎 𝑠𝑜𝑛 𝑝𝑎𝑟𝑒𝑠.
Demostración: Para (𝑝 ∧ 𝑞).
1. ((𝑝 ∧ 𝑞) ∨ (¬(𝑝 ∧ 𝑞))) Teorema 4.19.1 [𝜙 ≔ (𝑝 ∧ 𝑞)]
2. (¬(¬(𝑝 ∧ 𝑞))) (𝑝 ∧ 𝑞) no son par
3. ((¬(¬(𝑝 ∧ 𝑞))) ≡ ((¬(𝑝 ∧ 𝑞)) ≡ 𝑓𝑎𝑙𝑠𝑒)) (𝐴𝑥9) [𝜙 ≔ (¬(𝑝 ∧ 𝑞))]
4. ((¬(𝑝 ∧ 𝑞)) ≡ 𝑓𝑎𝑙𝑠𝑒) Ecuanimidad 2 y 3
5. (((𝑝 ∧ 𝑞) ∨ (¬(𝑝 ∧ 𝑞))) ≡ ((𝑝 ∧ 𝑞) ∨ 𝑓𝑎𝑙𝑠𝑒)) Leibniz en 4 𝜙: ((𝑝 ∧ 𝑞) ∨ 𝑟)
6. ((𝑝 ∧ 𝑞) ∨ 𝑓𝑎𝑙𝑠𝑒) Ecuanimidad 1 y 5
7. (((𝑝 ∧ 𝑞) ∨ 𝑓𝑎𝑙𝑠𝑒) ≡ (𝑝 ∧ 𝑞)) (𝐴𝑥6) [𝜙 ≔ (𝑝 ∧ 𝑞)]
8. (𝑝 ∧ 𝑞) Ecuanimidad 6 y 7

10. Considere la siguiente regla de inferencia:

(𝜙 ∨ 𝜓) (¬𝜙)
𝜓
SILOGISMO DISYUNTIVO

Explique brevemente el significado de la regla SILOGISMO DISYUNTIVO, de un

ejemplo de su uso y demuestre que es correcta.
El silogismo disyuntivo dice al menos una de las dos proposiciones (𝜙 ∨ 𝜓) es verdadera.
Pero además, la negación de la primera proposición es verdadero (¬𝜙), por lo tanto, (𝜙) es
falso. Se establece por metateorema 2.23 que para que (𝜙 ∨ 𝜓) sea verdadera, entonces (𝜓)
es verdadera.

Ejemplo: La casa es de color blanco o café. La casa no es de color blanco. La casa es de

color café.
p: la casa es de color blanco. q: la
casa es de color café.

(𝑝 ∨ 𝑞), (¬𝑝), 𝑞.
(𝜙 ∨ 𝜓) (¬𝜙)
Demostración:
𝜓

1. 𝐯((𝜙 ∨ 𝜓)) = T Dado

2. 𝐯((¬𝜙)) = T Dado
3. 𝐯(𝜙) = F (𝐶𝑎𝑠𝑜 ¬) y 2
4. 𝐯(𝜓) = T Metateorema 2.23 en 1 y 3

11. Considere la siguiente regla de inferencia:

(𝜙 ∨ 𝜓) ((¬𝜙) ∨ 𝜏) (𝜓 ∨ 𝜏)
CORTE
Explique brevemente el significado de la regla Corte, de un ejemplo de su uso y demuestre
que es correcta.

La regla Corte dice que al menos una de las dos proposiciones (𝜙 ∨ 𝜓) es verdadera. Pero
además, la negación de la primera proposición o una tercera proposición es verdadero
((¬𝜙) ∨ 𝜏). Consecuentemente, independientemente del valor de (𝜙), para que las
proposiciones anteriores (𝜙 ∨ 𝜓), ((¬𝜙) ∨ 𝜏) sean verdaderas, al menos una de las
proposiciones (𝜓 ∨ 𝜏) deben ser verdaderas.
Ejemplo: La casa es de color blanco o café. La casa no es de color blanco o la casa es negra.
La casa es de color café o negro.
p: La casa es de color blanco.
q: La casa es de color café.
r: La casa es de color negro.
(𝑝 ∨ 𝑞), ((¬𝑝) ∨ 𝑟), (𝑞 ∨ 𝑟).

Demostración: (𝜙 ∨ 𝜓) ((¬𝜙) ∨ 𝜏)
(𝜓 ∨ 𝜏)

1. 𝐯((𝜙 ∨ 𝜓)) = T Dado

2. 𝐯(((¬𝜙) ∨ 𝜏)) = T Dado
3. Caso 1: 𝐯(𝜙) = T
4. 𝐯((¬𝜙)) = F (𝐶𝑎𝑠𝑜 ¬) y 3
5. Subcaso 1.1: 𝐯(𝜓) = T Metateorema 2.23 en 1 y 3
6. 𝐯(𝜏) = T Metateorema 2.23 en 2 y 4
7. Subcaso 1.2: 𝐯(𝜓) = F Metateorema 2.23 en 1 y 3
8. 𝐯(𝜏) = T Metateorema 2.23 en 2 y 4
9. Caso 2: 𝐯(𝜙) = F
10. 𝐯((¬𝜙)) = T (𝐶𝑎𝑠𝑜 ¬) y 9
11. Subcaso 2.1: 𝐯(𝜏) = T Metateorema 2.23 en 2 y 10
12. 𝐯(𝜓) = T Metateorema 2.23 en 1 y 9
13. Subcaso 1.2: 𝐯(𝜏) = F Metateorema 2.23 en 2 y 10
14. 𝐯(𝜓) = T Metateorema 2.23 en 1 y 9

12. Considere la siguiente regla de inferencia:

𝜙 (𝜙 ∨ 𝜓)
DEBILITAMIENTO

Explique brevemente el significado de la regla Debilitamiento, de un ejemplo de su uso y

demuestre que es correcta.
La regla de debilitamiento dice que si la proposición (𝜙) es verdadera. Consecuentemente,
al realizar la disyunción (𝜙) con otra proposición (𝜓), y al ser 𝐯(𝜙) = T, justificado por el
metateorema 2.23 la proposición (𝜙 ∨ 𝜓) es verdadera independientemente del valor de
(𝜓).

Ejemplo: La casa es de color blanco. La casa es de color blanco o café.

p: la casa es de color blanco.
q: la casa es de color café.
𝑝, (𝑝 ∨ 𝑞).

Demostración: 𝜙
(𝜙 ∨ 𝜓)

1. 𝐯(𝜙) = T Dado
2. Caso 1: 𝐯(𝜓) = T
3. 𝐯((𝜙 ∨ 𝜓)) = T Metateorema en 1 y 2
4. Caso 2: 𝐯(𝜓) = F
5. 𝐯((𝜙 ∨ 𝜓)) = T Metateorema en 1 y 4

13. Considere la siguiente regla de inferencia:

(𝜙 ∨ 𝜓)
𝜙
DEBILITAMIENTO?

Explique con un contraejemplo por qué la regla Debilitamiento? es incorrecta.

La regla de debilitamiento? Dice que al menos una de las dos proposiciones (𝜙 ∨ 𝜓) es

verdadera. Por lo tanto, sé que concluye que la proposición (𝜙) es verdadera.

Sin embargo, se sabe que por metateorema 2.23 para que (𝜙 ∨ 𝜓) sea verdadera, alguna de
las dos proposiciones o las dos deben ser verdaderas, y como la regla de debilitamiento? no
determina otra condición, establecer que (𝜙) es verdadera es una suposición posiblemente
incorrecta, debido a que el valor de (𝜙) puede ser falso y (𝜓) puede ser verdadero, y aun
así la proposición (𝜙 ∨ 𝜓) seguirá siendo verdadera

4.5. Intermezzo: derivaciones

3. Demuestre que si una secuencia 𝜙0, … , 𝜙𝑛 de proposiciones en DS es una demostración,

entonces es una derivación.
𝜙0, … , 𝜙𝑛 es una demostración sii ⊢𝐷𝑆 (𝜙0 ≡ 𝜙𝑛).

Demostración: Para (𝜙0, … , 𝜙𝑛).

1. 𝜙0 (Explicación 0 / Axioma)

2. 𝜙1 (Axioma / Regla 𝜙0)

 ⋮

n. 𝜙𝑛 (Axioma / Regla 𝜙0, … , 𝜙𝑛−1)

n + 1. (𝜙0 ≡ 𝜙𝑛) (Ecuanimidad en 1 y n)

Ahora, derivar 𝜙0, … , 𝜙𝑛 se realiza el siguiente procedimiento:

𝜙0
≡ < explicación0: por qué" ⊢𝐷𝑆 (𝜙0 ≡ 𝜙𝑛)" >

𝜙1

⋮<⋯>
𝜙
𝑛−1

≡ < explicaciónn−1: por qué" ⊢𝐷𝑆 (𝜙0 ≡ 𝜙𝑛)" >

𝜙𝑛

Por metateorema 4.21 se sabe que si 𝜙0, … , 𝜙𝑛 es una derivación en DS, entonces se tiene
⊢𝐷𝑆 (𝜙0 ≡ 𝜙𝑛).
Consecuentemente, si 𝜙0, … , 𝜙𝑛 es una demostración y también una derivación, se
demuestra que si 𝜙0, … , 𝜙𝑛 es una demostración entonces será una derivación.

4. Formule un ejemplo en donde una secuencia de proposiciones sea una derivación, pero
no una demostración.

5. Considere una secuencia 𝜙0, … , 𝜙𝑛 de proposiciones en DS. Demuestre que las siguientes
dos afirmaciones son equivalentes:
● 𝜙0, … , 𝜙𝑛 es una derivación

Derivación: Para (𝜙0, … , 𝜙𝑛).

𝜙0
≡ < explicación0: por qué" ⊢𝐷𝑆 (𝜙0 ≡ 𝜙𝑛)" >

𝜙1

⋮<⋯>
𝜙
𝑛−1

≡ < explicaciónn−1: por qué" ⊢𝐷𝑆 (𝜙0 ≡ 𝜙𝑛)" >

𝜙𝑛
 ⊢𝐷𝑆 (𝜙0 ≡ 𝜙𝑛) Metateorema 4.21

● 𝜙𝑛, … , 𝜙0 es una derivación

Derivación: Para (𝜙𝑛, … , 𝜙0).

𝜙𝑛
≡ < explicaciónn: por qué" ⊢𝐷𝑆 (𝜙𝑛 ≡ 𝜙0)" >
𝜙
𝑛−1

⋮<⋯>

𝜙1
≡ < explicaciónn−1: por qué" ⊢𝐷𝑆 (𝜙𝑛 ≡ 𝜙0)" >

𝜙0
(𝜙𝑛 ≡ 𝜙0) Ecuanimidad
(𝜙0 ≡ 𝜙𝑛) Conmutatividad
⊢𝐷𝑆 (𝜙0 ≡ 𝜙𝑛) Metateorema 4.21

Por lo tanto, se concluye que la derivación de 𝜙0, … , 𝜙𝑛 es equivalente a la derivación de

𝜙𝑛, … , 𝜙0.

6. Considere una secuencia 𝜙0, … , 𝜙𝑛 de proposiciones en DS y las siguientes afirmaciones:

● 𝜙0, … , 𝜙𝑛 es una derivación

Derivación: Para (𝜙0, … , 𝜙𝑛).

𝜙0
≡ < explicación0: por qué" ⊢𝐷𝑆 (𝜙0 ≡ 𝜙𝑛)" >

𝜙1

⋮<⋯>
𝜙
𝑛−1

≡ < explicaciónn−1: por qué" ⊢𝐷𝑆 (𝜙0 ≡ 𝜙𝑛)" >

𝜙𝑛
⊢𝐷𝑆 (𝜙0 ≡ 𝜙𝑛) Metateorema 4.21

● ⊢DS (𝜙0 ≡ ⋯ ≡ 𝜙𝑛)

Justifique por qué estas dos afirmaciones no son equivalentes.