Cómo probar que nunca puede ser negativo, ya que no puede ser negativo

Sí, puedes probar que “no puedes ser negativo”. De hecho es trivial. Pero tenemos que desempacar un poco.

“No se puede demostrar que sea negativo” tiene el mismo carácter que un proverbio, como “la paciencia es una virtud” o “la hierba siempre es más verde en el otro lado”. Los proverbios son verdaderos solo en condiciones implícitas específicas; Siempre hay otras condiciones donde son falsas. Por lo tanto, es fácil encontrar “otros lados” donde la hierba no es, de hecho, más verde. Este proverbio es, por supuesto, acerca de un tipo particular de persona que siempre está insatisfecho con lo que tiene. Siempre está obsesionado con la esposa más bonita de otra persona o con un trabajo mejor remunerado, etc. Para esa persona, metafóricamente, la hierba de otra persona siempre es más verde; y el punto del proverbio es que, para ser feliz, necesita aprender a apreciar a su propia esposa, a su trabajo o lo que sea. Siempre puedes ridiculizar un proverbio señalando ejemplos contrarios, pero eso es ser inteligente a costa de ser sabio. Entonces, cuando se trata de un proverbio sensato, pregúntese “¿en qué condiciones es cierto?” Así es como descubres lo que realmente significa. Entonces te enseñará una valiosa lección.

Para este proverbio, “no puedes probar un negativo”, “un negativo” significa un tipo de declaración muy específico. Ha sido existencial, como “X no existe”. Más que eso, tiene que requerir la verificación de un número infinito de casos. Algunos ejemplos aclararán.

Esta declaración califica como “negativa” en este contexto: “No hay elefantes voladores en ningún lugar del universo”. Como no podemos buscar elefantes voladores en todas partes del universo, la afirmación no se puede probar. Puedes inventar muchos más ejemplos de este tipo.

Aquí hay ejemplos que NO son el tipo de “negativo” al que se refiere este proverbio. “No hay elefantes voladores en esta habitación”. Si miras a tu alrededor, rápidamente lo probarás. O: “no hay mejor momento”. Si miras ingenuamente cada primo y verificas si es el más grande, nunca terminarás, por supuesto. Pero hay una forma bien conocida de probar la afirmación de forma lógica. Eso es típico de las matemáticas (y la lógica, el ajedrez, cualquier sistema contenido). A menudo es posible probar “un negativo” dentro de los límites de este tipo de “universo de juguete”. Claramente estas declaraciones no son de lo que trata el proverbio.

Así que vemos que la declaración, entendida correctamente, significa “no se puede probar que algo no existe, cuando la única forma de hacerlo es verificar un número infinito de casos”.

Con este entendimiento, podemos ver que no puede ser negativo, porque es imposible verificar un número infinito de casos.

Como se señaló, hay muchos casos en los que se puede probar un negativo. Pero en la lógica formal, hay teoremas que muestran que ciertos aspectos negativos no se pueden probar dentro de un sistema de axiomas dado.

Esto se desprende de los teoremas de incompletitud de Gödel y el problema relacionado con la detención.

Un principio básico de la lógica es la tesis de Church-Turing, en que todas las definiciones formales de funciones computables son esencialmente equivalentes. En particular, las pruebas lógicas de un conjunto dado de axiomas pueden generarse mediante una función computable. Recopilado, el conjunto de todos los teoremas comprobables de un conjunto de axiomas dado puede representarse mediante un programa de computadora (o una Máquina de Turing) que, dado un posible teorema x como entrada, escupe la prueba P de x cuando se encuentra . Si este teorema no puede probarse a partir del conjunto de axiomas dado, el programa simplemente se desintegrará para siempre en esta entrada. El Problema de Detención dice que no existe un algoritmo universal que, cuando se da el conjunto de axiomas A y el procedimiento de prueba representado como una máquina de computación MA y una entrada x, que el algoritmo puede responder sí o no sobre si MA (x) se detiene en tiempo finito.

Tenga en cuenta que es posible probar que, en muchos casos, MA (x) no se detendrá en algunas entradas. También es posible probar que, en algunos casos, puede indicar que MA (x) se detendrá o no para cualquier entrada. Pero hay algunos conjuntos de axiomas, incluso simples que simplemente calculan las funciones aritméticas, que no podrán decir correctamente si alguna entrada x se detendrá o no. El algoritmo puede ser incorrecto (inconsistente), o, también, simplemente continuará para siempre (incompleto). Pero ningún algoritmo cubrirá todos los casos.

Por lo tanto, a veces puede resultar negativo, pero no siempre puede ser negativo.

“No se puede demostrar que es negativo” es simplemente un uso descuidado del lenguaje. Cualquier declaración de la forma “no hay una x en el conjunto S, por lo que y (x) es verdadera” es equivalente a “para todas las x en S, y (x) es falsa”. Por ejemplo, “no hay un número primo mayor ”Es equivalente a“ para cada primo p, existe un primo q tal que q> p ”. Un ejemplo más elaborado es el teorema de Turing sobre computabilidad, que establece que “no existe un programa de computadora que pueda decidir si un programa de computadora arbitrario se detiene cuando se le presenta una entrada vacía”.

Otra consecuencia de esto, que es equivalente al Teorema de Incompletitud de Goedel (cualquier sistema de axiomas que incluya los axiomas de aritmética de Peano es inconsistente o incompleto) es que hay algunas afirmaciones que no se pueden probar como verdaderas o falsas. Los casos realmente interesantes son las afirmaciones por las que podemos demostrar que las matemáticas son igualmente coherentes con la afirmación o su negativa. Un ejemplo famoso de esto es el Postulado Paralelo de Euclides (dada cualquier línea L y cualquier punto P que no esté en L, hay exactamente una línea a través de P que no se intersecta con L); ambas opciones, ninguna e infinita, dan lugar a una actividad interesante y perfecta. Geometrías consistentes.

Un ejemplo más interesante es el Axioma de elección, que es un enunciado perfectamente razonable: “dado un conjunto S cuyos elementos son conjuntos, uno puede construir un conjunto T que contenga un elemento elegido de cada uno de los elementos de S” – de cuál puede deducir cosas tan extravagantes como “el conjunto de números reales puede estar bien ordenado” y la Paradoja de Banach-Tarski. La teoría de conjuntos es igualmente consistente si el Axioma de elección o su negación se toma como verdadera.

Ahora, no todas las afirmaciones, positivas o negativas, son un axioma matemático o teorema. Algunas declaraciones son declaraciones sobre el universo físico; estos incluyen “no hay elefantes en mi sala de estar”, “no hay unicornios en la Tierra”, “no hay otros planetas en nuestra galaxia con vida” y “no hay monopolos magnéticos”.

Las afirmaciones empíricas para las cuales el espacio de búsqueda es completamente observable se prueban o refutan fácilmente; puedo ver fácilmente que no hay elefantes en mi sala de estar. Otros pueden ser fácilmente falsificados con un solo contraejemplo; por ejemplo, el rinoceronte indio ( Rhinoceros unicornis ). Algunos pueden requerir observaciones más extensas, y solo se puede obtener una respuesta con cierto grado de precisión: las búsquedas de planetas con vida y de monopolos magnéticos aún están en curso, aunque tenemos más esperanzas de obtener un resultado positivo para el primero de ellos.

Finalmente, algunas cosas que suenan a primera vista como afirmaciones empíricas pueden ser probadas o refutadas en base a la lógica; por ejemplo, “la Tierra es un disco plano que se lleva en la espalda de cuatro elefantes que están parados sobre una tortuga”, y otros no son falsificables : no hay un experimento u observación concebible que pueda refutarlos. Declaraciones como “todos ustedes son productos de mi imaginación (o quizás la de la Reina Roja)” y “el Monstruo de Espagueti Volador creó todo el universo hace cinco minutos, de tal manera que pareciera antiguo” entran en esta categoría. Tendemos a rechazarlos aplicando reglas generales como la Maquinilla de afeitar de Occham, pero debido a la forma en que se presentan, no hay forma de estar seguro.

No es cierto que no puedas probar algo negativo.

La frase se usa a veces para describir la dificultad de afirmar que algo no está allí, como “probar que no tienes una hermana”. Sin embargo, no hay nada lógica, matemática o filosóficamente imposible en probar tales afirmaciones.

En matemáticas, estamos probando rutinariamente la no existencia de objetos incluso cuando el “espacio de búsqueda” es infinitamente grande. No hay un número primo mayor, no hay un grupo simple no abeliano de orden impar, no hay un algoritmo que determine si una ecuación diofántica se puede resolver o no. Dichas pruebas son a veces fáciles, a veces difíciles, pero son abundantes en todas las matemáticas.

De hecho, desde una perspectiva lógica, cualquier declaración de la forma “no existe una [math] x [/ math] tal que [math] P (x) [/ math]”, donde [math] P [/ math ] es una propiedad de los objetos bajo investigación, es equivalente a “para todos [math] x [/ math], [math] Q (x) [/ math]” donde [math] Q [/ math] es simplemente el opuesto de la propiedad [math] P [/ math]. Por lo tanto, no hay diferencia entre “probar negativos” y probar afirmaciones universales.

Creo que algunos han entendido mal a lo que realmente se refiere “no se puede demostrar que es negativo”.
Se origina en la capacidad de la ciencia experimental para sacar conclusiones basadas en la observación. Por supuesto, si aplica la metafísica (por ejemplo, la lógica) hay varias posibilidades, ya que no está obligado a ofrecer evidencia física y cuantitativa. Pero si tuviéramos que evaluar la validez de una afirmación con evidencia física concluyente, para un evento nunca observado, solo somos capaces de describirlo como “una teoría absurdamente inacabable, no concluyente”. Experimentalmente, nada ha sido probado, excepto por el hecho de que nada ha sido probado.
Es una práctica común utilizar la lógica para establecer teorías y las probamos a través de la observación y la experimentación.

Digamos que yo digo que hay tal cosa como los cisnes negros. Para probar mi afirmación, todo lo que tengo que hacer es encontrar un solo cisne negro. Incluso un solo cisne negro probará mi afirmación. Así es como es posible demostrar una afirmación positiva.

Echemos un vistazo a la afirmación negativa. No hay tal cosa como cisnes negros. Podría reclamar esto si nunca he visto uno, pero ¿cómo lo demuestro? No puedo mostrarte un cisne blanco, eso no prueba que no haya cisnes negros. No puedo buscar en todos los lagos de la tierra, tal vez los cisnes negros viven bajo tierra. Y así. Si bien puede que no sea 100% imposible demostrar una afirmación negativa, está muy cerca.

Esto se puede aplicar a otros conceptos. Si quieres probar que hay un dios, simplemente necesitas encontrar evidencia de uno. Si quiero probar que no hay uno, necesito explorar todo el universo, todo lo que está fuera del universo y todo concepto metafísico. Si quieres probar que tienes un hermano, todo lo que necesitas hacer es mostrar evidencia de su existencia. Si quiero probar que no tienes un hermano, necesito hacer chequeos de ADN a cada humano en la tierra.

Técnicamente, demostrar que es negativo no es imposible (podría, por ejemplo, probar que no tengo una hipoteca llamando a todos los bancos que los ofrecen y confirmando que no), pero en la mayoría de los ejemplos es tan difícil que en cualquier caso. Debate razonable no se puede esperar.

Parece que hay una cierta confusión sobre el significado del término negativo y, en general, sobre el tema de la afirmación “No se puede demostrar que es negativo”.

Contrariamente al sentimiento común, no se refiere a las matemáticas, donde obviamente no es correcto decir que no puede probar proposiciones relacionadas con la negación, sino a los fenómenos y sus relaciones existentes, o no, en el universo físico .

Es una afirmación sobre la ciencia y los límites del método científico.

La combinación de prueba y existencia permite cuatro combinaciones:

  1. prueba de existencia,
  2. refutación de la no existencia,
  3. prueba de inexistencia,
  4. refutación de la existencia.

Los números 1 y 2 – los aspectos positivos – son viables, por demostración : “¡Mira, aquí!”. Luchar por poder hacer esa afirmación es el trabajo de los científicos.

Lo hacen estableciendo hipótesis falsificables, y luego tratando de falsificarlas realmente.

Un conjunto de hipótesis relacionadas que se han resistido a los intentos sistemáticos de falsificación durante un tiempo suficiente se convierte en una teoría y gana poder predictivo, lo que a su vez ofrece aún más oportunidades de falsificación.

Sin embargo, ninguna hipótesis o teoría científica está “probada”.

Pero incluso el más exitoso de ellos será falsificado, y debe ser falsificable, tan pronto como alguien pronuncie con justicia las palabras mágicas: “¡Mira, aquí!” Un solo conejo precámbrico, y la teoría de la evolución está terminada.

En cuanto a los números 3 y 4, los negativos : son inalcanzables en la ciencia , en cualquier universo. Esta es la esencia de “No se puede demostrar que es negativo”. Por lo tanto, la afirmación es realmente cierta.

Es falso que no puedas probar algo negativo.

1. Todos los perros son mamíferos.
2. Los cocodrilos no son mamíferos.
3. Por eso, los perros no son cocodrilos.

Ese argumento es válido y de hecho suena. Su conclusión es una proposición negativa (lo admito, la noción de una proposición negativa es confusa, ¿qué es una proposición negativa? ¿Solo una con un signo de negación? O un número impar de signos de negación, o qué, pero este es un ejemplo tan bueno como alguna).

Depende de lo que, exactamente, quiere decir con “negativo”. Ciertamente, puede probar la existencia de ciertos tipos de negativos. Por ejemplo, 4–1 = 3. Esta simple ecuación prueba que el 1 negativo existe. Sin embargo, escribamos esta ecuación de una manera diferente: 4+ (-1) = 3. Sigue siendo correcta y el 1 negativo todavía existe. PERO ahora, apliquemos esto a una situación del mundo real.

Tienes 4 bolígrafos. Regalas 1. Entonces, ahora tienes 3 (4–1 = 3) bolígrafos. Sin embargo, lo que NO PUEDES hacer es agregar 1 bolígrafos negativos a 4 bolígrafos. Entonces, digamos que tienes 4 bolígrafos. Alguien te trae 1 bolígrafos negativos. Entonces, ahora tienes 4 bolígrafos más 1 bolígrafo negativo. Pero todavía tienes 4 bolígrafos. No tienes 3 bolígrafos. Esto se debe a que nadie puede darle un bolígrafo negativo. Es imposible. Nadie vende 1 bolígrafos negativos. Nunca puede, nunca, por ninguna razón, en ningún momento, bajo ninguna circunstancia, probar la existencia de bolígrafos negativos.

En matemáticas, la negatividad es el proceso de resta y / o reducción. Usted asume negación cuando ve que puede reducir X a X menos 1. Pero, en tales casos, SIEMPRE, X> 1 (en la vida real). En matemáticas, puedes hacer (-1) + (-1) y obtener menos 2. Pero no puedes hacer esto en la vida real. No puedes tener 1 bolígrafos negativos en primer lugar. Entonces, ¿cómo se pueden agregar los negativos? Es imposible.

Entonces, en mi opinión, no puede probar lo negativo de una declaración para la cual no existe una declaración positiva. Entonces, digamos que tienes $ 4. Dime que tienes $ 5. Puedo probar que solo tienes $ 4. No puedes probar que tienes $ 5. Entonces, aquí, he probado que NO tienes $ 5. Pero, en la vida real, eso no es cierto. He demostrado que usted tiene $ 4 y ambos sabemos que $ 4 es menos de $ 5. Aún así, lo que he probado es positivo (que tienes $ 4) en lugar de negativo (NO tienes $ 5). Una vez que he demostrado que tiene $ 4, también he demostrado que NO tiene $ 3.99 o $ 400 trillones o cualquier otro número que no sea exactamente $ 4. Probar este tipo de negtaive no tiene sentido. Ya tienes pruebas positivas. Más allá de esto, todas las pruebas son necesariamente negativas (en relación con ese tema en particular en ese momento exacto). Pero, si me pidieras que probara que tienes $ 18.26493 billones de dólares negativos, no podría hacerlo.

En resumen, puede probar que algo es falso SOLAMENTE si alguien afirma que es verdad. Puedes probar que una afirmación contradictoria es cierta, en este caso. Entonces, de alguna manera, ha demostrado ser negativo (aunque, de hecho, solo ha demostrado ser positivo que es contradictorio con la afirmación original, que también es positivo). Pero nunca se puede probar que algo es falso y que nadie ha afirmado ser verdad. Por ejemplo: Demuestre que nunca dije algo que nunca dije.

Como es perfectamente posible probar un negativo [1], no es posible probar que no se puede demostrar un negativo.

Tenga en cuenta sin embargo que la declaración

Si no puede demostrar que es negativo, entonces no puede probar que no puede ser negativo.

es verdad. Como es la declaración

Si no puede demostrar que es negativo, entonces puede demostrar que no puede ser negativo.

En otras palabras, “Si entonces [math] P [/ math]” es verdadero para cualquier proposición [math] P [/ math]. Por lo tanto, nos corresponde a todos hacer preguntas condicionales solo cuando estamos razonablemente seguros de que el antecedente es verdadero.

Notas al pie

[1] Respuesta de Alan Bustany a ¿Es posible demostrar que es negativo?

Se pueden probar muchos negativos. Podría hacerme un análisis de sangre y demostrar que no tengo VIH (en realidad lo llaman un resultado “negativo” cuando se demuestra que NO tiene una enfermedad). Podría conseguir otro y demostrar que no estoy relacionado con mi vecino. Podría dejar que alguien busque en mi apartamento y probar que no hay una copia de Winnie-the-Pooh aquí. Y así.

En ciencia, muchos negativos pueden ser probados. En matemáticas, en todo tipo de cosas. “Es difícil demostrar que es negativo” es algo que los abogados dicen a menudo. Porque cuando se habla del tipo de cosas que los abogados hablan (no siempre), generalmente (no siempre) es. La evidencia de ADN puede probar que A ha estado en la propiedad de B; Es difícil probar que nunca lo han hecho. La evidencia fotográfica puede probar que C y D se han encontrado antes; Es difícil probar que nunca lo han hecho. Las imágenes de la película podrían mostrar que E solía golpear a su cónyuge F up; Es difícil probar que nunca lo hicieron. Y así.

Los negativos son generalmente más difíciles de probar que los positivos. Pero no siempre. A veces se pueden probar absolutamente. Depende de qué campo estamos hablando.

No puedes probar la afirmación, ya que es falsa. Por supuesto que puede resultar negativo. Por ejemplo, puede probar fácilmente que un círculo no es cuadrado, que no hay solteros casados, etc. Solo tiene que demostrar que el razonamiento conduce a una contradicción, que es lo suficientemente simple.

Por ejemplo, es lógicamente posible probar que Dios no existe, si el concepto de Dios es intrínsecamente contradictorio.

El viejo dicho “no se puede demostrar que es negativo” definitivamente no es cierto en matemáticas. Hay muchos ejemplos.

Quizás el ejemplo más famoso sea la forma en que Galois demostró que no hay fórmulas (en el sentido ordinario) que puedan resolver ecuaciones polinomiales de grado cinco o superior. (Supongo que sabe sobre la fórmula cuadrática, que uno aprende en la escuela secundaria. Eso resuelve cualquier polinomio de grado dos).

Galois inventó un nuevo concepto, llamado grupo. Es una estructura algebraica con ciertas propiedades. Lo hizo porque notó que las raíces de un polinomio se pueden intercambiar entre sí de ciertas maneras, siguiendo reglas simples. La razón por la que no puede haber una fórmula de este tipo en el grado 5 o superior es porque los grupos que resultan son lo suficientemente grandes como para que no se puedan “resolver”. Ese es un término técnico que no tengo tiempo para entrar aquí. Puedes buscarlo en Google si lo deseas.

Otro ejemplo famoso es que es imposible triseclar un ángulo (como querían los griegos). La prueba es algo similar a la prueba de Galois mencionada anteriormente, ya que también involucra estructuras algebraicas.

Andrew Wiles ha demostrado un negativo en su prueba del último teorema de Fermat: no hay soluciones enteras de x, y y z, para el entero n mayor que 2 para la ecuación:

x ^ n + y ^ n = z ^ n.

Por lo tanto, existe un ejemplo contrario de “no se puede demostrar que es negativo” y, por lo tanto, se puede demostrar que es negativo y, por lo tanto, es imposible probar que no se puede demostrar que es negativo.

Sin embargo, estoy de acuerdo en que algunos aspectos negativos no se pueden probar: por ejemplo, ¿cómo se podría demostrar que uno no estaba casado? Es fácil probar que uno está casado con un certificado de matrimonio, pero no se emite ningún certificado por no estar casado. La prueba de no estar casado puede requerir una búsqueda, para un resultado negativo, del Registro de matrimonios de todos los países del mundo, lo que sería una tarea monumental.

Curiosamente, ese es el corazón de varias conjeturas de matemáticas elementales: Twin Primes, Goldbach, Legendre, Collatz.

  • ¿Puedes probar que hay más allá de cierta magnitud sin primos gemelos hasta el infinito?
  • ¿Puede probar que hay un número par para el cual cada primo menor que ese número no puede emparejarse para hacer su suma?
  • ¿Puede probar la posibilidad de que, aunque la cantidad de números primos aumente absolutamente en casi todos los pares de cuadrados perfectos consecutivos, el crecimiento de alguna manera podría terminar y descender a cero?
  • ¿Puede probar que el mismo número nunca puede repetirse dos veces en la misma secuencia hasta alcanzar [math] 1 [/ math]? ¿Es suficiente para demostrar que cada otra variante de [math] 3n + x [/ math] (excepto [math] x = 1 [/ math]) tiene una prueba fácil de que se repite? ¿Eso dice algo acerca de que no exista algún otro mecanismo arcano de repetición que pueda existir cuando [math] 3n + 1 [/ math] alcanza un cierto tamaño indiscutible?

Estas afirmaciones son inverosímiles. Pero afirmar lo negativo hasta ahora no ha sido comprobable. Y ese hecho ha llevado a algunos a sugerir que son conjeturas indecidibles. La lógica y las matemáticas son los dominios de la duda, y eso es lo que crea conocimiento.

Si estas conjeturas se condenan a existir en un estado perpetuamente indecidible, se podría decir que están probadas y no comprobadas al mismo tiempo, como en un estado cuántico no observable.

Puede que esté muy lejos de la base, pero hasta ahora todo el mundo, incluido el OP, está malinterpretando la suposición de que “no se puede demostrar que es negativo”.

Creo que cuando la gente dice esto significa que no puedes probar que algo no existe . Esto se usa a menudo en los debates sobre la existencia de dioses, ovnis, teorías de conspiración, Big Foot, etc.

Si la afirmación es que hay una criatura marina gigante que habita en el Lago Ness, no puedes probar lo negativo. Es decir, no puede mostrar evidencia concluyente de que el monstruo de Loch Ness no existe .

La declaración del OP, “esta es una declaración negativa”, no es tal “negativa”. Es una definición diferente de negativo (es decir, “no algo”).

Una vez más, puedo estar totalmente fuera de lugar. Corrígeme si me equivoco…

La idea de que no puedes probar algo negativo es un mito. Si fuera cierto, no podría probar nada, porque cualquier declaración positiva puede ser redactada como negativa. Hay un excelente ensayo sobre esto en

http://departments.bloomu.edu/ph

(Nota: el enlace es un PDF)

Puedes probar que es negativo. La gente lo hace todo el tiempo:

“Demuestra que no eres un rinoceronte”.
“Los rinocerontes no pueden hablar”.
“Está bien, bien hecho”.

Sin embargo, es injusto poner la carga de la prueba en el lado negativo de un argumento. Si quieres convencerme de algo, deberías traerme pruebas convincentes de que es cierto. De lo contrario, tengo que pasar toda mi vida investigando reclamos que en realidad pueden ser imposibles de refutar. Si partimos de una posición de escepticismo, determinar qué es lo real es más fácil. Si comenzamos desde la posición de creer todo hasta que se demuestre lo contrario, tenemos mucho trabajo por hacer.

Te estás perdiendo una palabra y te lleva a hacer esta pregunta.

No se puede probar un negativo existencial .

Este concepto es exclusivo de la filosofía. Como muchos otros han dicho, es completamente posible probar negativos en la mayoría de los niveles prácticos.

[pregunta formulada: “Si no puede demostrar que es negativo, ¿puede probar que no puede demostrar que es negativo?”]

Positivo es la abundancia de algo mientras negativo es la falta de algo.

La neutralidad es solo una medida arbitraria que establece la gente o la conveniencia de contar. Puedo iniciar la neutralidad con 0. Puedo comenzar con -1000 o +1000. No hace ninguna diferencia, ya que es arbitrario. ¿Sabes que 0 grados es aproximadamente igual a 17.7778 Fahrenheit?

La neutralidad no es fija. Así no sale una neutralidad fija. Lo positivo tampoco es fijo. Por lo tanto, un positivo fijo no existe.

Dado que el positivo fijo en sí mismo no existe, el negativo fijo tampoco.

Sin embargo, positivo y negativo es un término que existe y es usado por muchas personas por razones de conveniencia.

Espero haber respondido a tu pregunta.