08/12/2019, 12:23:26 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: Homenaje a NUMERARIUS
 
 
Páginas: [1]   Ir Abajo
  Imprimir  
Autor Tema: Formalizar "Hay exactamente un número par menor que tres"  (Leído 701 veces)
0 Usuarios y 1 Visitante están viendo este tema.
noisok
Semi pleno
***

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
España España

Mensajes: 72


Ver Perfil
« : 12/04/2019, 06:06:55 pm »

Considerando P, "x es par";  <,"x es menor que y".

En cierto libro se dice que "Hay exactamente un número par menor que tres" es la conjuncion de las sentencias 1 y 2.:

1) "Hay por lo menos un número par menor que tres"
[texx]\exists x(Px \wedge x<3)[/texx]
2) "Hay a lo sumo un número par menor que tres"
[texx]\forall xy (Px \wedge Py \wedge x<3 \wedge y<3 \rightarrow{} x=y)[/texx]

3) "Hay exactamente un número par menor que tres"
[texx]\exists x(Px \wedge x<3) \wedge \forall xy (Px \wedge Py \wedge x<3 \wedge y<3 \rightarrow{} x=y)[/texx]

Lo que yo no entiendo es por qué la sentencia 2 no es equivalente a  la 3, y en caso de serlo ¿cual de las dos seria la formalización correcta?

Bien, supongo que "Hay a lo sumo..." no implica la existencia.
En línea
geómetracat
Moderador Global
Pleno*
*

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
España España

Mensajes: 803



Ver Perfil
« Respuesta #1 : 12/04/2019, 06:32:22 pm »

Pues yo lo que veo mal es la 1. Debería ser:
[texx]\exists x (Px \wedge x <3)[/texx]
La que pone ahí es equivalente a "Hay un número que no es par o hay un número menor que 3".

Sobre 2 y 3: 2 dice "si hay dos números pares menores que 3, entonces son iguales", que es lo mismo que "hay como mucho un número par menor que 3" (puede haber uno, o puede no haber ninguno).
3 es la conjunción de 1 y 2, por tanto (suponiendo que la formalización de 1 fuera correcta) dice "hay un número par menor que tres y a lo sumo hay uno", que es lo mismo que decir "hay exactamente un número par menor que 3".
2 y 3 no son equivalentes, ni tienen que serlo: 2 dice que hay 0 o 1 número que cumplen lo pedido, 3 dice que hay justamente 1 número que lo cumple.
En línea

La ecuación más bonita de las matemáticas: [texx]d^2=0[/texx]
noisok
Semi pleno
***

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
España España

Mensajes: 72


Ver Perfil
« Respuesta #2 : 12/04/2019, 06:35:54 pm »

Pues yo lo que veo mal es la 1. Debería ser:
[texx]\exists x (Px \wedge x <3)[/texx]

Arreglado. Ha sido un error mio.

Respecto a lo otro, logicamente dice lo que tu estas diciendo. Pero la cuestion es si uno al leer la sentencia "Hay a a lo sumo.." ¿uno entenderia o deberia interpretar que hay tal numero, en cuyo caso sería equivalente a 3?
En línea
geómetracat
Moderador Global
Pleno*
*

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
España España

Mensajes: 803



Ver Perfil
« Respuesta #3 : 12/04/2019, 06:51:49 pm »

Cuando se dice "Hay a lo sumo [texx]n[/texx] elementos que cumplen tal" se entiende que no hay más de [texx]n[/texx], pero puede pasar perfectamente que no haya ninguno.
En cualquier caso es una cuestión lingüística, no matemática ni lógica. Si entiendes la diferencia de lo que expresan las fórmulas 2 y 3 lo estás entendiendo todo bien.
En línea

La ecuación más bonita de las matemáticas: [texx]d^2=0[/texx]
feriva
Pleno*
*****

Karma: +1/-0
Desconectado Desconectado

Sexo: Masculino
España España

Mensajes: 8.611



Ver Perfil
« Respuesta #4 : 12/04/2019, 07:46:16 pm »

Considerando P, "x es par";  <,"x es menor que y".

En cierto libro se dice que "Hay exactamente un número par menor que tres"


Hola.

Pero eso del libro es una complicación, "hay exactamente un elemento" tiene su forma de escribirse

[texx]\exists!2x\in\mathbb{N}^{{\color{blue}*}}(2x<3)
 [/texx]

Saludos.
En línea

geómetracat
Moderador Global
Pleno*
*

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
España España

Mensajes: 803



Ver Perfil
« Respuesta #5 : 13/04/2019, 04:17:40 am »

Hola.

Pero eso del libro es una complicación, "hay exactamente un elemento" tiene su forma de escribirse

[texx]\exists!2x\in\mathbb{N}^{{\color{blue}*}}(2x<3)
 [/texx]

Saludos.
No es una complicación. En lógica de primer orden formalmente no existe [texx]\exists![/texx], se usa únicamente como abreviatura. Es decir, [texx]\exists!x \phi(x)[/texx] es una abreviatura de la fórmula
[texx]\exists x \phi(x) \wedge \forall x \forall y (\phi(x) \wedge \phi(y) \rightarrow x=y)[/texx].
Por otro lado, formalmente se puede cuantificar únicamente sobre variables, no está bien escribir [texx]\exists 2x (2x <3)[/texx], sino que debería ser [texx]\exists x (2x<3)[/texx] (aunque en un contexto informal o semiformal todo el mundo va a entender qué quieres decir con lo que has escrito).
En línea

La ecuación más bonita de las matemáticas: [texx]d^2=0[/texx]
feriva
Pleno*
*****

Karma: +1/-0
Desconectado Desconectado

Sexo: Masculino
España España

Mensajes: 8.611



Ver Perfil
« Respuesta #6 : 13/04/2019, 04:34:40 am »

Hola.

Pero eso del libro es una complicación, "hay exactamente un elemento" tiene su forma de escribirse

[texx]\exists!2x\in\mathbb{N}^{{\color{blue}*}}(2x<3)
 [/texx]

Saludos.
No es una complicación. En lógica de primer orden formalmente no existe [texx]\exists![/texx], se usa únicamente como abreviatura. Es decir, [texx]\exists!x \phi(x)[/texx] es una abreviatura de la fórmula
[texx]\exists x \phi(x) \wedge \forall x \forall y (\phi(x) \wedge \phi(y) \rightarrow x=y)[/texx].
Por otro lado, formalmente se puede cuantificar únicamente sobre variables, no está bien escribir [texx]\exists 2x (2x <3)[/texx], sino que debería ser [texx]\exists x (2x<3)[/texx] (aunque en un contexto informal o semiformal todo el mundo va a entender qué quieres decir con lo que has escrito).

Ah, no sabía eso. Muchas gracias, Geómetracat.

Saludos.
En línea

Páginas: [1]   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!