09/12/2019, 05:44:24 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: Sobre el uso o no de paréntesis para cuantificadores  (Leído 246 veces)
0 Usuarios y 1 Visitante están viendo este tema.
manooooh
Pleno*
*****

Karma: +1/-0
Desconectado Desconectado

Sexo: Masculino
Argentina Argentina

Mensajes: 2.445


Ver Perfil
« : 14/11/2019, 10:05:10 pm »

Hola!

Consideremos la definición de neutro [texx]e[/texx] que actúa sobre un conjunto [texx]A[/texx] y una operación cerrada [texx]*[/texx]. Se lo define así:

Existe un [texx]e\in A[/texx] tal que para todo [texx]x\in A[/texx] se tiene [texx]x*e=e*x=x[/texx].

Spoiler: Comentario acerca de la elección (click para mostrar u ocultar)

Mi pregunta es, ¿cuál de las siguientes notaciones es la "más correcta" o la más habitual?:

a) [texx]\exists e\in A\forall x\in A(x*e=e*x=x).[/texx]

b) [texx](\exists e\in A)(\forall x\in A)(x*e=e*x=x).[/texx]

c) [texx](\exists e\in A)((\forall x\in A)(x*e=e*x=x)).[/texx]

d) [texx]\exists e\in A(\forall x\in A(x*e=e*x=x)).[/texx]

También pensando en lo que un compilador podría tratar, ¿no? En este aspecto me parece que la última notación es la que podría llegar a entender un compilador porque maneja el concepto de "encapsulamiento" necesario para conocer a qué token puede pertenecer un carácter del búffer de entrada. Pero no sé.

Creo que Carlos Ivorra a veces usa la opción (b) como para delimitar el scope de los cuantificadores con la relación de pertenencia, pero no sé en qué casos podría llegar a resultar útil esta notación.

¿Ustedes cuál elegirían o propondrían?

Gracias!!
Saludos
En línea
Carlos Ivorra
Administrador
Pleno*
*****

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
España España

Mensajes: 9.067


Ver Perfil WWW
« Respuesta #1 : 15/11/2019, 07:12:58 pm »

Juraría que nunca he usado la opción (b). Yo siempre uso la opción (a), simplemente porque se entiende sin ambigüedad alguna y tiene menos paréntesis que las demás.
En línea
manooooh
Pleno*
*****

Karma: +1/-0
Desconectado Desconectado

Sexo: Masculino
Argentina Argentina

Mensajes: 2.445


Ver Perfil
« Respuesta #2 : 16/11/2019, 06:34:37 pm »

Hola

Juraría que nunca he usado la opción (b). Yo siempre uso la opción (a), simplemente porque se entiende sin ambigüedad alguna y tiene menos paréntesis que las demás.

Tiene sentido.

¿Le agregás algún tipo de espacio? En LaTeX, ¿para separar los cuantificadores como en [texx]\exists e\in A\forall x\in A[/texx] usás \, o \: o \; o nada? ¿Y qué hay entre el cuantificador y la expresión o sea entre [texx]A[/texx] y [texx]([/texx]?

Gracias y saludos
En línea
Carlos Ivorra
Administrador
Pleno*
*****

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
España España

Mensajes: 9.067


Ver Perfil WWW
« Respuesta #3 : 16/11/2019, 08:00:45 pm »

Si después viene un paréntesis no suelo dejar ningún espacio. Si no viene un paréntesis, suelo poner \
Pero tampoco me preocupa seguir siempre el mismo patrón. Si veo que queda bien sin hacer nada, lo dejo así, si veo que algo queda apretado, pongo espacios.
En línea
manooooh
Pleno*
*****

Karma: +1/-0
Desconectado Desconectado

Sexo: Masculino
Argentina Argentina

Mensajes: 2.445


Ver Perfil
« Respuesta #4 : 16/11/2019, 09:19:11 pm »

Hola, gracias Carlos

Si después viene un paréntesis no suelo dejar ningún espacio. Si no viene un paréntesis, suelo poner \
Pero tampoco me preocupa seguir siempre el mismo patrón. Si veo que queda bien sin hacer nada, lo dejo así, si veo que algo queda apretado, pongo espacios.

De acuerdo.

"\ " debería ser evitado en modo matemático por tratarse de un símbolo usado en modo texto. En su defecto se prefiere \,

Saludos
En línea
Carlos Ivorra
Administrador
Pleno*
*****

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
España España

Mensajes: 9.067


Ver Perfil WWW
« Respuesta #5 : 16/11/2019, 09:32:44 pm »

"\ " debería ser evitado en modo matemático por tratarse de un símbolo usado en modo texto. En su defecto se prefiere \,

Pero es tonto evitar las cosas que deberían ser evitadas. En la práctica, con evitar las cosas que deben ser evitadas es más que suficiente.
En línea
manooooh
Pleno*
*****

Karma: +1/-0
Desconectado Desconectado

Sexo: Masculino
Argentina Argentina

Mensajes: 2.445


Ver Perfil
« Respuesta #6 : 16/11/2019, 09:36:58 pm »

Hola

Pero es tonto evitar las cosas que deberían ser evitadas. En la práctica, con evitar las cosas que deben ser evitadas es más que suficiente.

Vamos, que sabés que no lo digo yo, que lo dicen los editores.

Es obvio que poner "\ " o "\," da igual, pero bueno, por llevarte la contra en algo. :risa:

Saludos y buenas noches
En línea
argentinator
Consultar la FIRMAPEDIA __________________________________________________________________________________________________________________
Administrador
Pleno*
*****

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
Argentina Argentina

Mensajes: 7.282

Vean mis posts activos en mi página personal


Ver Perfil WWW
« Respuesta #7 : 16/11/2019, 10:08:35 pm »

Hola

Pero es tonto evitar las cosas que deberían ser evitadas. En la práctica, con evitar las cosas que deben ser evitadas es más que suficiente.

Vamos, que sabés que no lo digo yo, que lo dicen los editores.

Es obvio que poner "\ " o "\," da igual, pero bueno, por llevarte la contra en algo. :risa:

Saludos y buenas noches

Cuando te referís a editores,  cada publicación tiene sus propias reglas.
Hay que ajustarse a las reglas del editor al cual uno envía u a publicación.
Si no hay reglas, como con los libros de Carlos, su propio sentido estético parece más que suficiente.
El estilo (a) me parece preferible porque el exceso de signos de puntuación pienso que dificulta la lectura.
Tras una serie de cuantificadores, la proposicioón que sigue la pongo entre paréntesis sólo si contiene un conector lógico.

Para el caso de alumnos que están acostumbrados a muletillas como el "tal que", sela reemplazo por un separador ":" tras los cuantificadores, hasta que veo que ya puedo quitar signos de puntuación innecesarios y uso la forma (a).

No es correcto decir que un compilador prefiere paréntesis.
Al procesar una expresión, se utilizan comunmente estructuras tipo "pila",
con lo cual son preferibles expresiones en notación polaca.

A mí me gusta seguir estilos uniformes en un texto, porque considero que esa coherencia da un aspecto global más prolijo a ojos del lector, y además es posible que el ojo del lector se acostumbre a ver cierto estilo, de manera que la lectura no le demande sorpresas ni le distraiga del tema principal.

Siempre procuro agregar una separación tipo \; o similar tras los cuantificadores, para facilitar la lectura.
El tamaño del espaciado trato de conservarlo siempre el mismo en un mismo documento.

La elección de un estilo debiera darse por razones prácticas concretas.
En mi caso busco que haya una lectura fluida, con pocas tildes y colgajos raros, minimizar el uso de letras griegas (que obligan a pensar en cuál era el nombre de la letra antes que en lo que se está exponiendo), pocas y bien conocidas tipografías de letras, evitar el exceso de símbolos matemáticos extravagantes o poco vistos,  y en lo posible usar las mismas letras siempre para las mismas cosas.
En línea

manooooh
Pleno*
*****

Karma: +1/-0
Desconectado Desconectado

Sexo: Masculino
Argentina Argentina

Mensajes: 2.445


Ver Perfil
« Respuesta #8 : 17/11/2019, 03:16:05 pm »

Hola argentinator, muchas gracias por tu mensaje

Cuando te referís a editores,  cada publicación tiene sus propias reglas.
Hay que ajustarse a las reglas del editor al cual uno envía u a publicación.
Si no hay reglas, como con los libros de Carlos, su propio sentido estético parece más que suficiente.
El estilo (a) me parece preferible porque el exceso de signos de puntuación pienso que dificulta la lectura.
Tras una serie de cuantificadores, la proposicioón que sigue la pongo entre paréntesis sólo si contiene un conector lógico.

Para el caso de alumnos que están acostumbrados a muletillas como el "tal que", sela reemplazo por un separador ":" tras los cuantificadores, hasta que veo que ya puedo quitar signos de puntuación innecesarios y uso la forma (a).

No es correcto decir que un compilador prefiere paréntesis.
Al procesar una expresión, se utilizan comunmente estructuras tipo "pila",
con lo cual son preferibles expresiones en notación polaca.

A mí me gusta seguir estilos uniformes en un texto, porque considero que esa coherencia da un aspecto global más prolijo a ojos del lector, y además es posible que el ojo del lector se acostumbre a ver cierto estilo, de manera que la lectura no le demande sorpresas ni le distraiga del tema principal.

Siempre procuro agregar una separación tipo \; o similar tras los cuantificadores, para facilitar la lectura.
El tamaño del espaciado trato de conservarlo siempre el mismo en un mismo documento.

La elección de un estilo debiera darse por razones prácticas concretas.
En mi caso busco que haya una lectura fluida, con pocas tildes y colgajos raros, minimizar el uso de letras griegas (que obligan a pensar en cuál era el nombre de la letra antes que en lo que se está exponiendo), pocas y bien conocidas tipografías de letras, evitar el exceso de símbolos matemáticos extravagantes o poco vistos,  y en lo posible usar las mismas letras siempre para las mismas cosas.

Es cierto lo que decís.

Lo que quizás critico es que haya muchas formas de decir lo mismo. Pero es problema mío. La diversidad está genial.

Me refiero a por ejemplo [texx]\exists xP(x)[/texx]. No tiene conectores lógicos pero parece un poco pegado. ¿Qué hacemos en este caso: agregamos un espacio y de qué tipo, o no agregamos nada?

Por eso discutir de si agregar siempre paréntesis o no sea cual sea la proposición.

Perdón por mi necedad de creer que los compiladores requieren de paréntesis; concuerdo con vos en que usan estructuras tipo stack y que es preferible pasarle la expresión en notación polaca.

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!