Juan Daniel Bogotá Fuentes

25/03/2022

Solución Tarea No.10

sección 5.3

5. Derive por tránsito de debilitamiento/fortalecimiento los siguientes teoremas:

a) ⊢DS φ → (ψ → φ)

φ → (ψ → φ)

≡ < T. 4.31.5. conmutatividad >

φ ∧ (ψ → φ)

→ < Debilitamiento: T. 4.35, ψ por (ψ → φ) >

φ ∨ (ψ → φ)

≡ <T. 4.31.7>

(ψ → φ)

b) ⊢DS ((φ → ψ) → φ) → φ

((φ →ψ) → φ)

≡ <T. 2.28.1, φ por (φ →ψ), ψ por φ >

((¬ (φ →ψ)) ∨ φ)

≡ < T. 2.28.1, Leibniz φ = ((¬ p) ∨ φ)) >

((¬ ((¬φ) ∨ ψ)) ∨ φ)

≡ < T.25.2, φ por (¬φ), Leibniz φ = (p ∨ φ) >

(((¬(¬φ)) ∧ (¬ψ))) ∨ φ)

≡ < T. 4.15.6, Leibniz φ por ((p ∧ (¬ψ))) ∨ φ) >

((φ ∧ (¬ψ)) ∨ φ)

≡ < Ax5, φ por (φ ∧ (¬ψ)) y ψ por φ >

(φ ∨ (φ ∧ (¬ψ)))

≡ < T.4.25.7, ψ por φ y τ por (¬ψ) >

((φ ∨ φ) ∧ (φ ∨ (¬ψ)))

≡ < Ax7 Leibniz φ = (p ∧ (φ ∨ (¬ψ))) >

(φ ∧ (φ ∨ (¬ψ)))

→ < Debilitamiento, T 4.35.2, ψ por (φ ∨ (¬ψ)) >

φ
 c) ⊢DS (φ → ψ) → ((ψ → τ) → (φ → τ))

((ψ → τ) → (φ → τ))

≡ <4.33.3>

((ψ ∨ τ) ≡ τ)) → ((φ ∨ τ) ≡ τ))

≡ <Ax1>

((ψ ∨ τ) ≡ τ ≡ τ)) → ((φ ∨ τ)))

≡ < T. 3.35.1>

(φ ∨ ψ)

8. Refute las siguientes proposiciones:

a) Una derivación de debilitamiento es una derivación:

La derivación de debilitamiento no es una derivación, pues la derivación consiste en que, de

una proposición ϕ0 podamos llegar a una proposición ϕn con teoremas ya demostrados, para
así demostrar su veracidad en el sistema Ds, pero la forma en la que se demuestra es haciendo
equivalencias, de forma que la proposición ϕ0 sea equivalente a la proporción ϕn, esto no es
lo mismo que la derivación de debilitamiento, pues esta utiliza implicaciones, dando como
resultado final, que la proposición ϕ0 implica a la proposición ϕn lo cual no es lo mismo.

b) Una derivación de fortalecimiento es una derivación:

de forma similar a el punto anterior, la derivación de fortalecimiento utiliza consecuencias

para demostrar teoremas en el sistema Ds, por lo que la proposición ϕ0 es consecuencia de la
proposición ϕn, pero esto no es lo mismo que ϕ0 equivalente a ϕn, pues si bien el resultado
es el mismo, el operador cambia lo que las hace diferentes.

Sección 5.4

a) Si Γ ⊢DS φ, entonces Γ ⊢DS φ ∨ ψ.

1. Γ ⊢DS φ Suposición
2. Γ |= φ (1) M.T. 5.11 coherencia
3. V satisface Γ (2) Definición 2.25
4. V (φ) = T (2) Definición 2.25
5. V (φ ∨ ψ) = T (4) M.T. 2.23 caso ∨
6. Γ |= φ ∨ ψ (3, 5) Def. consecuencia tautológica
7. Γ ⊢DS φ ∨ ψ (6) M.T 5.11 completitud

b) Si Γ ⊢DS φ ∧ ψ, entonces Γ ⊢DS φ.

1. Γ ⊢DS φ ∧ ψ (suposición)
2. Γ |= φ ∧ ψ (1) M.T. 5.11 Coherencia
 3. V satisface Γ (2) Definición 2.25
4. V (φ ∧ ψ) (2) Definición 2.25
5. V(φ)=T (4) M.T 2.23 caso conjunción
6. Γ |= φ (3, 5) Def consecuencia tautológica
7. Γ ⊢DS φ (6) Metateorema 5.11 completitud

c) Si Γ ⊢DS φ y Γ ⊢DS ψ, entonces Γ ⊢DS φ ∧ ψ.

1. Γ ⊢DS φ Suposición
2. Γ ⊢DS ψ Suposición
3. |= φ (1) Metateorema 5.11, Coherencia
4. |= ψ (2) Metateorema 5.11, Coherencia
5. V satisface Γ Definición 2.25
6. V (φ) = T Definición 2.25
7. V (ψ) = T Definición 2.25
8. (φ ∧ ψ) (3, 4) Regla de debilitamiento
9. V (φ ∧ ψ) = T M. 2.23, caso conjunción

10. Demuestre: Γ ⊢DS φ si y solo si Γ ∪ {¬φ} es insatisfacible.

Si Γ ∪ {¬φ} insatisfacible entonces Γ ⊢DS φ:

1. Γ ∪ {¬φ} (insatisfacible) Suposición

2. V({¬φ}) = F Def. 2.28.2
3. V(φ)= T T 4.23 Caso negación
4. True T. 4.6.1
5. Γ ⊢DS φ Suposición
6. V(φ) = T Sustitución 4 en 5
7. True T. 4.6.1
8. 8. Γ ⊢DS φ (Metateorema 5.11)

Si Γ ⊢DS φ entonces Γ ∪ {¬φ} es insatisfacible:

1. Γ ⊢DS φ Suposición
2. |= φ Meta teorema 5.11
3. V(φ) = T Definición 2.25
4. True T. 4.6.1
5. si Γ ∪ {¬φ} es insatisfacible Suposición
6. (¬True) Sustitución
7. (False ≡ (¬True)) T. 4.15.1
8. False Ecuanimidad entre 6 y 7
9. V({¬φ}) = False Def. 2.28.2

11.

a) Si Γ ⊢DS φ ∨ ψ, entonces Γ ∪ {¬φ} o Γ ∪ {¬ψ} es satisfacible.

1. Γ ⊢DS φ ∨ ψ Suposición
2. |= (φ ∨ ψ) (1) Metateorema 5.11, Coherencia
(2) Definición 2.25
 3. V (φ ∨ ψ) = T (3) M 2.23, caso disyunción
4. V(φ) = T o V (ψ) = F (3) M 2.23, caso disyunción
5. V(φ) = F o V (ψ) = T (4, 5) Def. 2.28.2
6. Γ ∪ {¬φ} o Γ ∪ {¬ψ}

b) Si Γ ⊢DS ¬ (φ ∨ ψ), entonces Γ ∪ {¬φ, ¬ψ} es satisfacible.

1. Γ ⊢DS ¬ (ϕ ∨ ψ) Suposición
2. Γ ⊨ ¬ (ϕ ∨ ψ) (1) Metateorema 5.11
3. v satisface a Γ (2) Definición consecuencia tautológica
4. V (¬ (ϕ ∨ ψ)) = T (2) Definición consecuencia tautológica
5. V (ϕ ∨ ψ) = F (4) Metateorema 2.23 caso negación
6. V (ϕ)=F y V(ψ)=F (5) Metateorema 2.23 caso disyunción
7. V (¬ϕ) = T y V(¬ψ) = T (6) Metateorema 2.23 caso negación
8. v satisface a Γ∪ {¬ϕ, ¬ψ} (7) Def. 2.28.2

sección 5.5

19. Sean Γ una colección de proposiciones y φ, ψ proposiciones. Demuestre que el siguiente

principio de demostración por contradicción es correcto:

Γ ⊢DS ψ → φ sii Γ ⊢DS ψ ∧ ¬φ → ¬ψ

1. Γ⊢DS ψ → φ Suposición
2. Γ ⊨ ψ → φ (1) Metateorema 5.11
3. V satisface Γ (2) Definición consecuencia tautológica
4. V (ψ → φ) = T (2) Definición consecuencia tautológica
5. V (ψ) = F y V(φ) = T (4) M 2.23 caso implicación
6. V (¬φ) = F (5) M 2.23 caso negación
7. V (¬ψ) = T (6) M 2.23 caso negación
8. V (ψ ∧¬ φ) = F (5, 6) M 2.23 caso conjunción
9. V (ψ ∧ (¬ φ) → ¬ψ) = T (8, 7) M 2.23 caso implicación
10. Γ ⊨ (ψ ∧ ¬ φ) → ¬ψ (3, 9) Definición 2.25
11. Γ φ ψ ∧ ¬ φ → ¬ψ (10) Metateorema 5.11