LA NEGACION

La negacin es un operador lgico que cambia el valor de verdad de

la proposicin que le precede, si la proposicin es verdadera, despus
de aplicarle el operador lgico de negacin esta proposicin se
volver falsa y si la proposicin es falsa la negacin la convierte en
verdadera.
El smbolo de este operador es () o (~) y se lee (NO); la tabla de
verdad de la negacin
se muestra a continuacin.
p

~
p

La negacin puede ser aplicada a conjunciones y disyunciones

utilizando las leyes de D Morgan en donde se establece que:

La negacin de una disyuncin es la conjuncin de las

negaciones.

La negacin de una conjuncin es

negaciones.

Tambin una negacin puede ser aplicada sobre una negacin,

lo
que
da
la
afirmacin.

la disyuncin de las

Es preciso decir que la negacin es un operador lgico como se

menciona anteriormente de la forma "no es el caso que" y que
transforma una proposicin p en otra con valor de verdad contrario.
Ejemplo: si p es la proposicin "el nmero n es impar" la negacin
de p es "no es el caso que el nmero n es impar" (es decir, "el
nmero n es par").
Las proposiciones negadas ms comunes y tiles son:

La
La
La
La

negacin
negacin
negacin
negacin

de
de
de
de

la
la
la
la

disyuncin pORq es ~p&~q

conjuncin p&q es ~pOR~q
condicional p-->q es p&~q
negacin ~p es p

NEGACIN DE UNA PROPOSICIN

Entendiendo que la negacin de una proposicin es el conectivo
lgico que permite cambiar el valor de verdad de dicha proposicin.

Si p es verdadero (V).
Su negacin p es falsa (F).
p se lee no p.

EJEMPLOS DE LA NEGACION DE UNA PROPOSICION

Negar las siguientes proposiciones simples:

p: Todos los nmeros primos son pares.

q: No todos los tringulos son isoceles.
r: -15+18=7.

Solucion:

p: No todos los nmeros primos son pares.

q: Todos los tringulos son isceles.
r:-15+18+ 7.

Otros ejemplos:
p = Est lloviendo.
~P = NO est lloviendo.
Si es verdad que est lloviendo, entonces la afirmacin No est
lloviendo es falsa.
~p = NO est lloviendo. ~ (~p) = NO( NO est lloviendo) = Est
lloviendo = p
Si no es verdad que no est lloviendo, entonces la negacin puede
leerse como No es cierto que No est lloviendo, que es lo mismo
que decir Est lloviendo.

Ejemplo de negacin de una disyuncin:

Si p = Vamos al cine y q = Vamos al teatro, la Disyuncin p ^

q = Vamos al cine o Vamos al teatro.

La negacin de esta disyuncin es la conjuncin de las

negaciones, como se ve en el siguiente ejemplo: ~(p ^ q) =
No (Vamos al cine o Vamos al teatro) Que equivale a:
~p v ~q = No vamos al cine y No vamos al teatro.

La negacin de una conjuncin es la negacin de las

disyunciones como se muestra a continuacin:
Si p = Vamos a comer y q = Vamos a jugar. p v q = Vamos a
comer y vamos a jugar.
La negacin de esta conjuncin entonces quedara de la
siguiente forma:
~(p v q) = NO (Vamos a comer y Vamos a jugar) = No Vamos
a comer o No vamos a jugar = ~p ^ ~q.