Cuantificador existencial negado

Discute sobre el editor de fórmulas

Cuantificador existencial negado

Notapor kukagres » Jue Oct 08, 2009 6:54 pm

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?
OpenOffice 3.1 en Windows Xp
kukagres
 
Mensajes: 5
Registrado: Jue Oct 08, 2009 6:42 pm

Re: Cuantificador existencial negado

Notapor RGB-es » Vie Oct 09, 2009 12:22 pm

¿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
No respondo mensajes privados sobre AOO, por favor, utilice el foro para sus preguntas

AOO/LibO en openSUSE con escritorio Plasma
---
Existen dos clases de personas: las que dicen que existen dos clases de personas y las que no.
Avatar de Usuario
RGB-es
 
Mensajes: 4738
Registrado: Lun Nov 24, 2008 10:46 am

Re: Cuantificador existencial negado

Notapor SAM » Lun Oct 26, 2015 1:03 am

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%C3%ADmbolos_matem%C3%A1ticos
SAM
 
Mensajes: 18
Registrado: Sab Oct 17, 2015 9:24 pm

Re: Cuantificador existencial negado

Notapor Ricardopardo » Mié Nov 11, 2015 5:19 am

LA RESPUESTA Estaba unas preguntas abajo: Unicode
https://forum.openoffice.org/es/forum/v ... 30&t=11463
LibreOffice 4.3.6 en OpenSUSE 13.1 /GNU/Linux
Ricardopardo
 
Mensajes: 59
Registrado: Lun Dic 02, 2013 2:45 am

Re: Cuantificador existencial negado

Notapor MRF » Lun Sep 24, 2018 3:06 pm

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
Adjuntos
noExiste.rar
(8.22 KiB) 15 veces
Apache OpenOffice 4.1.5 en windows 10
LibreOffice 6.0.6.2 en windows 10
Avatar de Usuario
MRF
 
Mensajes: 17
Registrado: Mar May 19, 2015 3:36 pm


Volver a Math

¿Quién está conectado?

Usuarios navegando por este Foro: No hay usuarios registrados visitando el Foro y 1 invitado