Doble Negacin

La doble negacin es parte de la lgica proposicional, un teorema que

afirma 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.
Este es el principio de la doble negacin, es decir, una proposicin es
equivalente a la falsedad de su negacin.
Consiste en la utilizacin conjunta de dos negaciones y como resultado se
obtiene una afirmacin.
Dentro de un sistema de lgica clsica, la doble negacin, esto es, la
negacin de la negacin de una proposicin p, es lgicamente equivalente a
p. Expresado simblicamente, (p) p.

p=El acusado es inocente

p=El acusado no es inocente , el acusado es culpable

( p ) El acusado no es culpable

Adjuncin
Mediante la adjuncin se pueden unir dos premisas separadas utilizando el
operador ^ (conjuncin).
Permite que dos proposiciones dadas como premisas donde ambas son
verdaderas se puedan juntar por medio del trmino y, originando como
conclusin una conjuncin.
Su abreviatura es Ad. Simblicamente seria: