Lógica matemática

Nombre: Silvia Sanchez Espinoza

Matricula: ES172015001
Licenciatura en Matemáticas
Ing. Rafael Pacheco Espinosa
UNIDAD 2
Actividad 3
a) La fórmula es una generalización de ∀𝑥(𝑃𝑥 → 𝑃𝑥) → (𝑃𝑐 → 𝑃𝐶) y tiene la forma de
∀𝑦(∀𝑥𝛼 → 𝛼𝑡 𝑥 ) donde 𝑡 = 𝑐 es sustituible por 𝑥 en 𝑃𝑥 → 𝑃𝑥. Por lo que pertenece al
grupo de axiomas 2.
b)La fórmula no es válida y no pertenece a ninguno de los axiomas ya que 𝑦 no es
sustituible por 𝑥 en ∃𝑥𝑃𝑥.

La deducción a partir de ∀𝑥𝜙 → ∃𝑥𝜙:

1. ∀𝑥𝜙 → 𝜙 (mediante axioma

2). 2. ∀𝑥¬𝜙 → ¬𝜙 (mediante axioma 2).

3. (∀𝑥𝜙 → 𝜙 ) → (∀𝑥¬𝜙 → ¬𝜙) → ∀𝑥𝜙 → ¬∀𝑥¬𝜙 (por tautologia). 4. (∀𝑥¬𝜙 → ¬𝜙) → ∀𝑥𝜙 →
¬∀𝑥¬𝜙 (modus ponens de 1 y 3). 5. ∀𝒙𝝓 → ¬∀𝒙¬𝝓 (modus ponens de 2 y 4)

a) Si ⊢α → β entonces, de acuerdo con el Teorema de generalización, ⊢∀x (α → β), y, de

acuerdo con el grupo de axiomas 3, ⊢∀x (α → β) → (∀xα → ∀xβ), y, por Modus Ponens, ⊢
(∀xα → ∀xβ).
b) El problema aquí es que lo que (a) dice es que para α y β tales que α → β es válido, ∀xα
→ ∀xβ también es válido (bueno, no dice nada sobre la validez). Sin embargo, en (b), α →
β⊨∀xα → ∀xβ dice que para cualquier α y β, y cualquier estructura U y s: V → | U| , si
⊨𝑈α → β [s] entonces ⊨𝑈∀xα → ∀xβ [s]. Por lo tanto, en (a) el enunciado está restringido
solo a aquellos α y β para los cuales α → β es válido, mientras que en (b) no existe tal
restricción. Como ejemplo, considere α una fórmula válida y β la fórmula x = c. Ahora, si |
U | tiene más de un elemento, y s es tal que s (x) = 𝑐 𝑈, entonces ⊨𝑈 𝛼→ β [s]. Sin
embargo, mientras que ⊨𝑈∀xα [s], ⊭𝑈∀xβ [s] y, por lo tanto, ⊭𝑈∀xα → ∀xβ [s]. Por lo
tanto, α → β⊭∀xα → ∀xβ.
La resolución de la fórmula:

1. ⊢ ((¬Px) → Qx) → ((¬Qx) → Px)(Axioma 1).

2. ⊢∀x [((¬Px) → Qx) → ((¬Qx) → Px)] (por generalización de 1).

3. ⊢∀ x [((¬Px) → Qx) → ((¬Qx) → Px)] → ∀x ((¬Px) → Qx) → ∀x ((¬Qx) → Px). (Axioma 3)

4. ¬Px) → Qx ) → ∀x ((¬Qx) → Px), (Modus ponens 2 y 3).

5. ∀x ((¬Px) → Qx) ⊢∀x ((¬Qx) → Px) (Modus ponens 3 y 4).

6. ⊢ ∀x (( ¬Qx) → Px) → ((¬Qy) → Py) (Axioma 2)

7. ∀x ((¬Px) → Qx) ⊢ ((¬Qy) → Py) )Modus ponens 5 y 6).

8. ∀ x ((¬Px ) → Qx) ⊢∀y ((¬Qy) → Py) (por generalización de 7).

9. ⊢ (∀x ((¬Px) → Qx) → ∀y ((¬Qy) → Py)) (por deducción de 8)