7/25/2019 Doble Negacin

1/1

Doble Negacin

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

afrma 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 rmula a!(!a) donde elsigno expresa equivalencia lgica " el signo ! expresa negacin.

#ste es el principio de la doble negacin, es decir, una proposicin es

equivalente a la alsedad de su negacin.

$onsiste en la utili%acin con&unta de dos negaciones " como resultado se

obtiene una afrmacin.

'entro 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. #xpresado simblicamente, (p) * p.

p=El acusadoesinocente

p=El acusadonoesinocente , el acusadoes culpable

( p )El acusadonoes culpable

Adjuncin

+ediante la ad&uncin se pueden unir dos premisas separadas utili%ando el

operador (con&uncin).

ermite que dos proposiciones dadas como premisas donde ambas son

verdaderas se puedan &untar por medio del trmino ", originando como

conclusin una con&uncin.

/u abreviatura es Ad. /imblicamente seria0