To install click the Add extension button. That's it.

The source code for the WIKI 2 extension is being checked by specialists of the Mozilla Foundation, Google, and Apple. You could also do it yourself at any point in time.

4,5
Kelly Slayton
Congratulations on this excellent venture… what a great idea!
Alexander Grigorievskiy
I use WIKI 2 every day and almost forgot how the original Wikipedia looks like.
Live Statistics
Spanish Articles
Improved in 24 Hours
Added in 24 Hours
What we do. Every page goes through several hundred of perfecting techniques; in live mode. Quite the same Wikipedia. Just better.
.
Leo
Newton
Brights
Milds

Doble negación (lógica)

De Wikipedia, la enciclopedia libre

En lógica proposicional, la doble negación es el teorema que afirma que "Si un enunciado es verdadero, entonces no es el caso que la declaración no es cierta". Esto se expresa diciendo que una proposición A es lógicamente equivalente a no (no-A), o por la fórmula A≡~(~A) donde el signo ≡ expresa equivalencia lógica y el signo ~ expresa negación.[1]

Al igual que la ley del tercero excluido, este principio es considerado como ley del pensamiento en la lógica clásica,[2]​ aunque la lógica intuicionista no lo permite.[3]

YouTube Encyclopedic

  • 1/3
    Views:
    4 621
    26 639
    4 061
  • 04 Doble Negacion.wmv
  • Repaso de lógica 6 - Negación
  • Doble negación en la misma frase - Normativa del lenguaje - Educatina

Transcription

Historia

El principio fue declarado por Russell y Whitehead como teorema de la lógica proposicional en Principia Mathematica como:

[4]
"Este es el principio de la doble negación, es decir, una proposición es equivalente a la falsedad de su negación."

El principium contradictiones de los lógicos modernos (especialmente Leibnitz y Kant) en la fórmula A es no no-A, difiere totalmente de significado y la aplicación desde la proposición aristotélica [es decir, la Ley de Contradicción: no (A y no-A), es decir ~(A y ~A), o no ((B es A) y (B es no-A))]. Esta última se refiere a la relación entre una afirmación y un juicio negativo.

Según Aristóteles, una sentencia [B se juzga como un A] contradiciendo a la otra [B se juzga como un no-A]. La proposición posterior [A no es no-A] se refiere desde la relación entre el sujeto y el predicado en un solo juicio, el predicado contradice el tema. Aristóteles afirmaba que una sentencia es falsa cuando otra es verdadera, escritores posteriores [Leibniz y Kant] afirmaban que un juicio es en sí mismo y absolutamente falso, porque el predicado contradice al tema. Lo que los escritores posteriores desean es un principio desde el cual se puede saber si ciertas proposiciones son verdaderas en sí mismas. De la proposición aristotélica no es posible inferir inmediatamente la verdad o falsedad de una proposición particular, sino solamente la imposibilidad de creer tanto en la afirmación como en la negación, al mismo tiempo.[5]

Eliminación de la doble negación

La doble negación puede eliminarse mediante la eliminación de la doble negación (también llamada eliminación del negativo doble, introducción del doble negativo, introducción de la doble negación, o simplemente doble negación). Esta se realiza mediante dos reglas de reemplazo válidas. Son las inferencias que si A es verdad, entonces no no-A es verdad y su conversión, que, si no no-A es verdad, entonces A es verdad. La norma permite introducir o eliminar una negación de una prueba lógica. La norma se basa en la equivalencia de, por ejemplo, es falso que no está lloviendo y está lloviendo.

La regla de introducción de la doble negación es:

P ¬¬P

y la regla eliminación de la doble negación es:

¬¬P P

Donde "" es un símbolo metalógico que representa "puede ser reemplazado en una prueba con... ."

Notación formal

La regla de introducción de la doble negación puede escribirse en la notación subsiguiente:

La regla de eliminación de la doble negación se puede escribir como:

En forma de regla:

y

o como la afirmación de una verdadera tautología (sentencia simple de cálculo proposicional):

y

Estos se pueden combinar en una sola fórmula bicondicional:

.

Puesto que la bicondicionalidad es una relación de equivalencia, cualquier instancia de ¬¬A en una fórmula bien formada puede ser sustituida por A, dejando sin cambios el valor de verdad de la fórmula bien formada.

Usos e implicaciones

La eliminación de la doble negación es un teorema de la lógica clásica, pero no de la lógica más débil, como la lógica intuicionista y la lógica mínima. Debido a su carácter constructivo, una sentencia como No es el caso de que no llueve es más débil que Está lloviendo. Esta última requiere una prueba de lluvia, mientras que la primera se limita a exigir una prueba de que llueve no sería contradictorio. (Esta distinción también se plantea en lenguaje natural en forma de litotes.) La introducción de la doble negación es un teorema tanto de la lógica intuicionista como de la lógica mínima, como es .

En la teoría de conjuntos también tenemos la operación de negación del complemento que obedece a esta propiedad: un conjunto A y un conjunto (AC)C (donde AC representa el complemento de A) son los mismos.

Referencias

  1. O el simbolismo alternativo, como A ↔ ¬ (¬ A) o de Kleene * 49 º: A ∾ ¬ ¬ A (Kleene 1952:119; en el Kleene original utiliza un tilde elongado ∾ para una equivalencia lógica, aquí aproximadamente con una "S perezosa".)
  2. Hamilton está discutiendo a Hegel en el siguiente fragmento: "En los más recientes sistemas de la filosofía, la universalidad y la necesidad del axioma de la razón han, con otras leyes lógicas, controvertido y rechazado por los especuladores en lo absoluto. [On principle of Double Negation as another law of Thought (El principio de la doble negación como otra ley del pensamiento), véase Fries, Logik, § 41, p 190;. Calker, Denkiehre odor Logic und Dialecktik, § 165, p 453;. Beneke, Lehrbuch der Logic, § 64, p. 41] "(Hamilton 1860:68)
  3. El o de fórmula de Kleene *49.o indica que "la manifestación es inválido para los sistemas [sistema clásico y sistema intuicionista]", Kleene 1952:101.
  4. PM 1952 reprint of 2nd edition 1927 pages 101-102, page 117.
  5. Sigwart 1895:142-143

Bibliografía

  • William Hamilton, 1860, Lectures on Metaphysics and Logic, Vol. II. Logic; Edited by Henry Mansel and John Veitch, Boston, Gould y Lincoln. Disponible en línea desde googlebooks.
  • Christoph Sigwart, 1895, Logic: The Judgment, Concept, and Inference; Second Edition, Translated by Helen Dendy, Macmillan & Co. Nueva York. Disponible en línea desde googlebooks.
  • Stephen C. Kleene, 1952, Introduction to Metamathematics, 6th reprinting with corrections 1971, North-Holland Publishing Company, Ámsterdam NY, ISBN 0 7204 2103 9.
  • Stephen C. Kleene, 1967, Mathematical Logic, Dover edición de 2002, Dover Publicastions, Inc, Mineola N.Y. ISBN 0-486-42533-9 (pbk.)
  • Alfred North Whitehead y Bertrand Russell, Principia Mathematica to *56, 2.ª edición 1927, reprint 1962, Cambridge at the University Press, Londres UK, no ISBN o LCCCN.

Enlaces externos

Esta página se editó por última vez el 15 ene 2022 a las 02:41.
Basis of this page is in Wikipedia. Text is available under the CC BY-SA 3.0 Unported License. Non-text media are available under their specified licenses. Wikipedia® is a registered trademark of the Wikimedia Foundation, Inc. WIKI 2 is an independent company and has no affiliation with Wikimedia Foundation.