Página 1 de 1

Cuantificador existencial negado

Publicado: Jue Oct 08, 2009 6:54 pm
por kukagres
Bueno, no se si ya se ha respondido esto, o talvez no conozco la forma, pero no se como poner cuantificadores existenciales negados en formulas. ¿Hay alguna forma, tengo que instalar una extensión adicional, o simplemente no se puede?

Re: Cuantificador existencial negado

Publicado: Vie Oct 09, 2009 12:22 pm
por RGB-es
¿Te refieres a escribir "no existe"? Math no tiene por defecto un símbolo para eso, pero puedes agregarlo:
agregando nuevos símbolos a Math
Existe ya un reporte de error relacionado con el hecho de no poder "negar" un símbolo:
https://issues.apache.org/ooo/show_bug.cgi?id=31460

Re: Cuantificador existencial negado

Publicado: Lun Oct 26, 2015 1:03 am
por SAM
1° el cuantificador universal tachado no existe en Math, en ninguna parte! (y yo uso la última version, la más fresca).
2° el "no existe" SÍ es un símbolo que tiene Math, pero no de forma explícita. Continuemos...
3° La negación del cuantificador existencial no sólo puede expresarse con el símbolo tachado, sino también con el operador lógico de negación que es el que sigue

Imagen

El cuantificador existencial entonces puede expresarse de dos maneras (existe una tercera forma que es anteponer el símbolo ASCII alt+126 pero no es tan común).
Una forma es la que nos acostumbramos a estudiar desde la escuela, es decir, el cuantificador tachado, y la otra, la que expliqué es la de anteponer el símbolo de negación lógica como aparece en esta figura en el segundo miembro de esta equivalencia: Imagen

IMPORTANTE: Es necesario entender que para poder expresarse en matemáticas hay que tener cierto bagaje de símbolos lógicos y algebraicos, y así uno puede sustituir, como en este caso una notación que no está incluida en algún sistema digital. Es por eso que voy a compartir este artículo que me parece útil y básico para familiarizarse con el lenguaje de las matemáticas (con consecuencias óptimas para transcribir nuestros apuntes, por ejemplo...): https://es.wikipedia.org/wiki/Anexo:S%C ... C3%A1ticos

Re: Cuantificador existencial negado

Publicado: Mié Nov 11, 2015 5:19 am
por Ricardopardo
LA RESPUESTA Estaba unas preguntas abajo: Unicode
https://forum.openoffice.org/es/forum/v ... 30&t=11463

Re: Cuantificador existencial negado

Publicado: Lun Sep 24, 2018 3:06 pm
por MRF
Buenas tardes,
Otra forma de hacerlo es directamente ponemos "notexists" en math o el editor de ecuaciones y se obtiene el símbolo. Adjunto un archivo con un nejemplo en writer.

Un saludo