Documentos de Académico
Documentos de Profesional
Documentos de Cultura
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 ∃𝑥𝑃𝑥.
3. (∀𝑥𝜙 → 𝜙 ) → (∀𝑥¬𝜙 → ¬𝜙) → ∀𝑥𝜙 → ¬∀𝑥¬𝜙 (por tautologia). 4. (∀𝑥¬𝜙 → ¬𝜙) → ∀𝑥𝜙 →
¬∀𝑥¬𝜙 (modus ponens de 1 y 3). 5. ∀𝒙𝝓 → ¬∀𝒙¬𝝓 (modus ponens de 2 y 4)