29/01/2020, 07:29:18 am *
Bienvenido(a), Visitante. Por favor, ingresa o regístrate.
¿Perdiste tu email de activación?

Ingresar con nombre de usuario, contraseña y duración de la sesión
Noticias: Homenaje a NUMERARIUS
 
 
Páginas: 1 [2]   Ir Abajo
  Imprimir  
Autor Tema: Implicación lógica (en la definición de límite de una función y general)  (Leído 2635 veces)
0 Usuarios y 1 Visitante están viendo este tema.
arkady-svidrigailov
Pleno*
*****

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
Argentina Argentina

Mensajes: 287


Ver Perfil
« Respuesta #20 : 09/02/2014, 13:26:40 pm »

Ok. Sé que no hay rigor en lo que digo, por supuesto, no intento refundar la matemática, por eso pregunto... Si lo que preguntaba ya me lo respondieron (aunque sin distinguir entre [texx]\rightarrow, \implies[/texx]) lo dejo acá. Saludos.
En línea
arkady-svidrigailov
Pleno*
*****

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
Argentina Argentina

Mensajes: 287


Ver Perfil
« Respuesta #21 : 15/02/2014, 05:47:54 am »

Luis, no había visto tu mensaje.

No sé de qué manera puede variar el contexto, pero así como me dijiste sí me refiero a eso. De hecho, si esa proposición la escribo: [texx]\forall x \; (0 \leq x)[/texx], no es verdadera para cualquier universo del discurso de [texx]x[/texx], como señalaste.
Te transcribo lo que dice un apunte:

"El valor de verdad de una proposición compuesta depende, generalmente, del conjunto universal donde las variables ligadas están cuantificadas. Sin embargo, existen ejemplos importantes donde el valor de verdad no depende ni del universo del discurso ni de los valores que las variables tomen en el mismo"

Y después viene la definición de implicación lógica que di en la respuesta 7. Leyendo un poco más me di cuenta que el término tautología sólo se usa en lógica proposicional, y no en la de primer orden, donde el término "implicación lógica" y "equivalencia lógica" vendrían a ser los análogos para tautología de un condicional, y de un bicondicional (en lógica proposicional). Yo pensaba que al transformarse en una proposición una fórmula con variables libres, se la podía tratar igual que en la lógica proposicional, parece que no. Corríjanme si me equivoco.

Entonces, [texx]\forall x \; (x=x)[/texx] es una verdad lógica en la lógica de primer orden. Es una proposición, pero no en lógica proposicional. Es correcto?

En otro ejemplo (para relacionarlo con mi inquietud en la definición de límite), [texx]\forall x \; p(x)[/texx] es una proposición, que es verdadera si lo es para cualquier valor de la variable en el universo.
De modo que si [texx]p(x): (x \in A \to x \in B)[/texx], el que la proposición sea verdadera significa que el condicional es siempre verdadero, para cualquier valor de la variable en el universo... puede que en algún universo sea la proposición verdadera y en otros falsa.
Ahora si yo escribo [texx]\forall x \; (x \in A \implies x \in B)[/texx], no sólo digo que el condicional deba ser siempre cierto para un universo particular, sino para cualquiera sea éste. Y entonces no sería lo mismo el [texx]\to[/texx] y el [texx]\implies[/texx].
Resultaría también, que en la definición de inclusión de conjuntos debería indicarse si no se hiciera la diferencia, que el universo del discurso de [texx]x[/texx] no puede ser un subconjunto de [texx]A[/texx] o de [texx]B[/texx], y ya no sé cómo se definiría la inclusión, etc.
 
En línea
Páginas: 1 [2]   Ir Arriba
  Imprimir  
 
Ir a:  

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!