Nombre: Silvia Sanchez Espinoza

Matricula: ES172015001
Licenciatura en Matemáticas
Ing. Rafael Pacheco Espinosa
UNIDAD 2
Actividad 1
 a) ∀𝑥(𝑁𝑥 → 0 < 𝑥).
b) ¬∀𝑥(¬𝑁𝑥 ⋁ ¬𝐼𝑥) → 𝐼0
c) ∀𝑥(𝑁𝑥 → ¬𝑥 < 0).
d) ∀𝑥(𝑁𝑥 𝖠 ¬𝐼𝑥 𝖠 ∀𝑦(𝑁𝑦 𝖠 𝑦 < 𝑥 → 𝐼𝑦) → 𝐼𝑥).
e) ∀𝑥(𝑁𝑥 → ¬∀𝑦(𝑁𝑦 → 𝑦 < 𝑥)).
f) ∀𝑥(𝑁𝑥 → ¬∀𝑦(𝑁𝑦 → ¬𝑦 < 𝑥)).

Traducción: “Para todo número interesante hay un número interesante mayor”

Traducción:¬∀𝒙𝒂 ∈ 𝒙 𝖠 ¬∀𝒙𝒃 ∉ 𝒙.

Traducción: ∀𝒙(𝑬𝒙 → 𝑨𝒙) → ∀𝒙(𝑬𝒙 → ∃𝒚(𝑨𝒚 𝖠 𝒉𝒙 = 𝒉𝒚)).

 a) ∀𝒙(𝑭𝒙 𝖠 ∃𝒚(𝑫𝒚 𝖠 𝑶𝒙𝒚) → 𝑯𝒙).
b) ∀𝒙(𝑭𝒙 → ∀𝒚(𝑫𝒚 𝖠 𝑶𝒙𝒚 → 𝑩𝒙𝒚)).

Supongamos que contamos todos los símbolos independientemente de si son variables,

constantes o cualquier otro símbolo.

• Para una fórmula atómica α, x aparece libre como el i-ésimo símbolo en α si y

solo si (sii) aparece como el i- ésimo símbolo en α.
• x aparece libre como el símbolo i en (¬α) si si aparece libre como el símbolo (i − 2)
en α.
• x aparece libre como el símbolo i en (α → β) si si aparece libre como el
símbolo (i − 1) en α o aparece libre como el símbolo (i− # α − 2) en β, donde #
α es la longitud de α.
• x aparece libre como el i-ésimo símbolo en ∀𝑣𝑖𝛼 sif x ≠ 𝑣𝑖 y aparece libre como el
(i − 2) símbolo en α.
Alternativamente, podríamos usar el teorema de recursividad :

• Para una fórmula atómica α, sea h (α) el conjunto de todos los pares <i, x> tales
que la variable x es el i-ésimo
símbolo en α.
• Extendemos h a ℎ̅definido para todas las fbf de la siguiente manera.

Entonces, x aparece libre como el i-ésimo símbolo en α sii <i, x> ∈ℎ̅(α)

BIBLIOGRAFIA
Teresa Hortalá González. (2008). Lógica Matemática para Informáticos. España: PEARSON
EDUCACIÓN.