Scribd
Cargar
222 vistas3 páginas

Mlma U2 A2 Sise

El documento presenta definiciones lógicas para representar números naturales utilizando solo los símbolos + y ·. Se definen 0 como el único número tal que para cualquier n, 0·n = 0, y se define el sucesor de un número m como el único número n tal que existe un k tal que n = m + k y k = 1. Esto muestra que los símbolos + y · son suficientes para definir los números naturales sin expandir el conjunto de lo que se puede definir.

Cargado por

SILIV
Derechos de autor
© © All Rights Reserved
Nos tomamos en serio los derechos de los contenidos. Si sospechas que se trata de tu contenido, reclámalo aquí.
Formatos disponibles
Descarga como PDF, TXT o lee en línea desde Scribd
222 vistas3 páginas

Mlma U2 A2 Sise

El documento presenta definiciones lógicas para representar números naturales utilizando solo los símbolos + y ·. Se definen 0 como el único número tal que para cualquier n, 0·n = 0, y se define el sucesor de un número m como el único número n tal que existe un k tal que n = m + k y k = 1. Esto muestra que los símbolos + y · son suficientes para definir los números naturales sin expandir el conjunto de lo que se puede definir.

Cargado por

SILIV
Derechos de autor
© © All Rights Reserved
Nos tomamos en serio los derechos de los contenidos. Si sospechas que se trata de tu contenido, reclámalo aquí.
Formatos disponibles
Descarga como PDF, TXT o lee en línea desde Scribd

Nombre: Silvia Sanchez Espinoza

Matricula: ES172015001
Licenciatura en Matemáticas
Ing. Rafael Pacheco Espinosa
UNIDAD 2
Actividad 2
(a) El enunciado describe la transitividad (requiere Pxz exactamente en aquellos casos en los que
Pxy y Pyz).

(b) El enunciado describe la anti simetría (requiere x = y exactamente en los casos en que Pxy y Pyx)

Para cada estructura U y s: V → | U | de tal forma que . ⊨𝑈∀x (α → β) [s] y ⊨𝑈∀xα [s], tenemos,
para todo d∈ | U | , ⊨Aα [s (x | d)] y ⊨𝑈 (α → β) [s (x | d)], es decir, para todo d∈ | A | , ⊨𝑈α [s (x
| d)] y (⊭𝑈α [s (x | d)] o ⊨𝑈β [s (x | d)]), lo que implica, para todo d∈ | U | , ⊨𝑈β [s (x | d)], es decir,
⊨𝑈∀xβ [s].

Para demostrar el lado derecho de la implicación, supongamos que ⊨ 𝜓. Dado 𝑈, 𝑠 y dejando que 𝑎
∈ |𝑈|. Entonces por suposición ⊨𝑈 𝜓|𝑠 ( 𝑎 𝑥 ). Esto se sostiene para cualquier 𝑎, ⊨𝑈 ∀𝑥𝜓[𝑠].

Para el lado izquierdo de la implicación suponemos que ⊨ ∀𝑥𝜓.Dado 𝑈, 𝑠 entonces ⊨𝑈 ∀𝑥𝜓[𝑠] y en


particular para ⊢𝑈 𝜓 [𝑠 ( 𝑠(𝑥) 𝑥 )]. Ya que 𝑠 ( 𝑠(𝑥) 𝑥 ) = 𝑠 entonces también ⊨𝑈 𝜓[𝑠].

Si Σ ⊨ 𝜏, ya que 𝑈 es un modelo de Σ, se sigue entonces ⊨𝑈 𝜏 por definición. De igual forma en caso


contrario si Σ ⊭ 𝜏, Σ ⊨ ¬𝜏 por propiedad de Σ.

⊨𝑈 ∀𝑣2Q𝑣1𝑣2 [[𝑐 𝑈]] si y solo si para cada s: V → | U| tal que s (𝑣1) = 𝑐 𝑈, ⊨𝑈 ∀𝑣2Q𝑣1𝑣2 [[s]] si y
solo si para cada s: V → | U | tal que s (𝑣1) = 𝑐 𝑈 y para todo d∈ | U | , ⊨𝑈 Q𝑣1𝑣2 [[s (𝑣2 | d)]] si y
soo si para cada s: V → | U | tal que s (𝑣1) = 𝑐 𝑈 y para todo d∈ | U | , ∈Q sii para cada d∈ | U | ,
∈Q sii para cada d∈ | AU| , ⊨𝑈 Qcd sii ⊨𝑈 ∀𝑣2Qc𝑣2
El propósito del ejercicio parece ser mostrar que esos dos símbolos, + ̇, no expanden el conjunto
de lo que se puede definir en N, en particular, mostramos que usando nuestro lenguaje restringido
aún podemos definir tanto {0} como el sucesor de cualquier número natural.

a) ∀𝑣2𝑣1 ∙ 𝑣2 = 𝑣1 ( 𝑚 = 0 𝑠𝑖𝑖 ∀𝑛, 𝑚 ∙ 𝑛 = 𝑚).

b) ∀𝑣2𝑣1 ∙ 𝑣2 = 𝑣2(𝑚 = 1 𝑠𝑖 ∀𝑛, 𝑚 ∙ 𝑛 = 𝑛).

c) ∃𝑣3 (𝑣20𝑣1 + 𝑣3 ∧ ∀𝑣4𝑣3 ∙ 𝑣4 = 𝑣4 )(𝑛 = 𝑚 + 1 𝑠𝑖 𝑝𝑎𝑟𝑎 𝑎𝑙𝑔𝑢𝑛𝑎 𝑘, 𝑛 = 𝑚 + 𝑘 𝑦 𝑘 = 1). d) ∃𝑣3 (𝑣2


= 𝑣1 + 𝑣3 ∧ ∃𝑣4𝑣3 ∙ 𝑣4 ≠ 𝑣3 )(𝑛 > 𝑚 𝑠𝑖𝑖 𝑝𝑎𝑟𝑎 𝑎𝑙𝑔𝑢𝑛𝑎 𝑘, 𝑛 = 𝑚 + 𝑘 𝑦 𝑘 ≠ 0)

También podría gustarte