21/01/2020, 09:00:57 am *
Bienvenido(a), Visitante. Por favor, ingresa o regístrate.

Ingresar con nombre de usuario, contraseña y duración de la sesión
Noticias: LISTADO ACTUALIZADO DE CURSOS
 
 
  Mostrar Mensajes
Páginas: [1]
1  Matemática / Lógica / Re: ¿Es [texx]\forall x \exists y(y=f(x))[/texx] un teorema lógico para un funtor f? : 15/09/2019, 14:34:58 pm
Perfecto Carlos. Todo muy claro. Te lo agradezco mucho.

Respecto a la tabulación, por lo que veo es un problema con MathJax, la librería JavaScript que usa el foro para renderizar LaTeX. He probado con la misma versión que usa el foro y la actual (una nueva versión menor) y ninguna de ellas soporta \multicolumn, una lástima. Quizás la nueva versión 3 que viene en camino.
2  Matemática / Lógica / Re: ¿Es [texx]\forall x \exists y(y=f(x))[/texx] un teorema lógico para un funtor f? : 15/09/2019, 00:52:30 am
Pues he seguido intentándolo y he llegado a esta demostración. Si resulta que es correcta, pues quizás se respondan de paso varias de mis preguntas, si no lo es pues agradeceré que me corrijas:

[texx]
\displaystyle \begin{array}{lll}
(1) & x+z=x+z & \textrm{I} \\
(2) & \textrm{S}_{y}^{x}(x+z=y+z) & \textrm{R 1} \\
|\,(3) & x=y & \textrm{hipótesis}\\
|\,(4) & x+z=y+z & \textrm{ETI 3 2}\\
(5) & x=y \to x+z=y+z & {} \\
(6) & \forall xyz (x=y \to x+z=y+z) & \textrm{IG}\\
\end{array}
\\
[/texx]

(Pregunto de paso, ¿indicas en algún lugar cómo formateas las demostraciones para colocar, por ejemplo, la línea vertical en ciertas demostraciones?)
3  Matemática / Lógica / Re: ¿Es [texx]\forall x \exists y(y=f(x))[/texx] un teorema lógico para un funtor f? : 14/09/2019, 22:09:50 pm
Gracias Carlos por la respuesta.

Claro. La regla de la identidad te permite probar

[texx]f(x) = f(x)[/texx]

Eso es lo mismo que

[texx]S_y^{f(x)}(y = f(x))[/texx]

Ahí puedes introducir el particulador, que te da

[texx]\exists y(y = f(x))[/texx]

Y ahí puedes introducir el generalizador y anteponer [texx]\forall x[/texx].

Comprendo, aunque no llegué a plantearlo de ese modo mientras lo intentaba, sospecho que estoy malinterpretando algo...

Cuando dices

Cita
[texx]f(x) = f(x)[/texx]

Eso es lo mismo que

[texx]S_y^{f(x)}(y = f(x))[/texx]

¿cómo se justifica ese paso formalmente? Me explico: En mi deducción coloco [texx]f(x) = f(x)[/texx] y luego, por lo que creo entender, coloco [texx]S_y^{f(x)}(y = f(x))[/texx] que sería una aplicación de la regla de repetición, por... ¿Por definición de sustitución? ¿Quizás teorema 1.12 de tu libro? ¿O es que puedo realizar una sustitución a una nueva variable en cualquier momento? Son varias preguntas, pero espero que con ellas se entienda qué no entiendo. Tal vez lo abordas en tu libro y no le he prestado la debida atención.

No, eso no es un teorema lógico, y no sé qué relación ves con lo anterior. Considera un modelo cuyo universo sea el conjunto de los números naturales y en el que el funtor [texx]+[/texx] se interpreta como la función que siempre toma el valor 0. En ese modelo la sentencia de la que hablas es falsa. De hecho, te vale cualquier modelo con más de un elemento en el que el funtor [texx]+[/texx] se interprete como cualquier función constante que quieras fijar.

Pues tienes mucha razón y la verdad es que fue un error mío, lo lamento mucho (parece que no es buena idea escribir en [texx] \LaTeX{}[/texx] justo después de hacer ejercicio físico, en mi cabeza siempre estuve escribiendo otra cosa). Es claro que dicha afirmación no es un teorema lógico, y en general cuando un matemático escribe y demuestra tal cosa es en alguna teoría adecuada (como un grupo).

Lo que realmente quería escribir y preguntar era el recíproco:
[texx]\displaystyle \vdash \forall xyz (x=y \rightarrow x+z=y+z)[/texx].

Respecto a la relación entre una cosa y la otra, pues tienes razón que no es nada clara, quizás solo exista en mis papeles e intentos de demostración, en donde llegué a ambas expresiones en un par de ocasiones.
4  Matemática / Lógica / ¿Es [texx]\forall x \exists y(y=f(x))[/texx] un teorema lógico para un funtor f? : 14/09/2019, 17:47:11 pm
Muy buenas a todos. He estado estudiando lógica de primer orden, apoyándome principalmente en el libro de lógica de Carlos Ivorra y los distintos artículos y discusiones de este foro. Resulta que me surgió una duda, y aunque tal vez es un poco tonta, no logro darme una respuesta adecuada, así que preferí preguntar acá directamente (¡mi primer mensaje!). En realidad son dos dudas que expreso en este mismo hilo porque posiblemente están relacionadas.

Consideremos un lenguaje formal de primer orden con un funtor monádico [texx]f[/texx], de modo que si [texx]x[/texx] es un término también lo es [texx]f(x)[/texx]. Cuando leo esa frase entiendo que pretende decir (considerando un modelo) que si tomo un objeto [texx]a[/texx], existirá otro objeto (no necesariamente distinto) que puedo denotar como [texx]f(a)[/texx]. Estoy consciente que dicha explicación cae fuera de la definición de lenguaje formal, sin embargo, la fórmula
[texx]\forall x \exists y(y=f(x))[/texx]
está bien formada y "veo" (informalmente) que pretende decir lo mismo que mi interpretación (otra vez informal) de lo que significa tener un funtor. Mi duda es la siguiente:

¿Es posible deducir dicha fórmula a partir de los axiomas y reglas de inferencia de [texx]K_{\mathcal L}[/texx], o tal cosa es un disparate?

Con esto me refiero a si existe una deducción para esa fórmula en cualquier lenguaje que incluya un funtor monádico.

La duda me surgió mientras practicaba haciendo algunas demostraciones por mi cuenta y quise demostrar lo que habitualmente un matemático escribiría como "si [texx]x+z=y+z[/texx], entonces [texx]x=y[/texx]". Entiendo que dicha expresión es deducible solo a partir de principios lógicos sin necesitar axiomas propios. Considero entonces un lenguaje formal de primer orden con igualador que incluye un funtor diádico [texx]+[/texx], de modo que se tenga
[texx]\vdash \forall xyz (x+z=y+z\rightarrow x=y)[/texx].

¿Es esto realmente un teorema lógico? Es decir, ¿es realmente deducible solo sin premisas adicionales (axiomas propios de alguna teoría)?

Espero haber sido claro en mis dudas y el contexto. Gracias de antemano.
Páginas: [1]
Impulsado por MySQL Impulsado por PHP Powered by SMF 1.1.4 | SMF © 2006, Simple Machines LLC XHTML 1.0 válido! CSS válido!