Doble negacin

La doble negacin es el teorema que afirma que "Si un enunciado es verdadero, entonces
no es el caso de que la declaracin no es cierta." Esto se expresa diciendo que una
proposicin A es lgicamente equivalente a no (no-A), o por la frmula A ~ (~A) donde el
signo expresa equivalencia lgica y el signo ~ expresa negacin. He es el principio de la
doble negacin, es decir, una proposicin es equivalente a la falsedad de su negacin."
El principium contradictiones de los lgicos modernos (especialmente Leibnitz y Kant) en
la frmula A es no no-A, difiere totalmente de significado y la aplicacin desde la
proposicin aristotlica [es decir, la Ley de Contradiccin: 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 relacin entre una afirmacin
y un juicio negativo.
Segn Aristteles, una sentencia [B se juzga como un A] contradiciendo a la otra [B se
juzga como un no-A]. La proposicin posterior [A no es no-A] se refiere desde la relacin
entre el sujeto y el predicado en un solo juicio, el predicado contradice el tema. Aristteles
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
proposicin aristotlica no es posible inferir inmediatamente la verdad o falsedad de una
proposicin particular, sino solamente la imposibilidad de creer tanto en la afirmacin
como en la negacin, al mismo tiempo.
ELIMINACIN DE LA DOBLE NEGACIN.
la eliminacin de la doble negacin (tambin llamada eliminacin del negativo
doble, introduccin del doble negativo, introduccin de la doble negacin, o
simplemente doble negacin6 7 8 ) son dos reglas de reemplazo vlidas. Son
las inferencias que si A es verdad, entonces no no-A es verdad y su conversin, que, si no
no-Aes verdad, entonces A es verdad. La norma permite introducir o eliminar
una negacin de una prueba lgica. La norma se basa en la equivalencia de, por ejemplo, es
falso que no est lloviendo. y est lloviendo.
La regla de introduccin de la doble negacin es:
P P
y la regla eliminacin de la doble negacin es:
P P
Donde "" es un smbolo metalgico que representa "puede ser reemplazado en una prueba
con.

Puesto que la bicondicionalidad es una relacin de equivalencia, cualquier

instancia
de
A
en
una frmula
bien
formada puede ser sustituida por A, dejando sin cambios el valor de verdad de la

frmula bien formada.

La eliminacin de la doble negacin es un teorema de la lgica clsica, pero no de la lgica
ms dbil, como la lgica intuicionista y la lgica mnima. Debido a su carcter
constructivo, una sentencia como No
es el caso de que no llueve es
ms dbil que Est lloviendo. Esta ltima requiere una prueba de lluvia, mientras
que la primera se limita a exigir una prueba de que lluve no sera contradictorio. (Esta
distincin tambin se plantea en lenguaje natural en forma de litotes.) La introduccin de la
doble negacin es un teorema tanto de la lgica intuitcioneista como de la lgica mnima,
como es. .
En la teora de conjuntos tambin se tiene la operacin de negacin del complemento que
obedece a esta propiedad: un conjunto A y un conjunto (A C)C (donde AC representa el
complemento de A) son los mismos.

https://es.wikipedia.org/wiki/Modus_ponendo_ponens