2.

Negación lógica
Hoy dedicaremos esta sección a la negación lógica denotado con
el símbolo ∼ o ¬ ? del capítulo de lógica proposicional, este
operador tiene la propiedad de cambiar el valor de verdad de
las proposiciones o variables proposicionales, aunque también es
usado en enunciados abiertos, también llamados funciones
proposicionales.
En la sección de cuantificadores del capitulo de teoría de
conjuntos la negación es capaz de cambiar del cuantificador
existencial al universal o viceversa, también es usado como
complemento de un conjunto.
La sección actual es corta y no muestra muchos detalles con este
operador monádico. Sin mas que decir, comencemos.

TABLA DE CONTENIDO
 ¿Que es la negación lógica?
o Definición de negación lógica
 Tabla de verdad de la negación
 Algunas Leyes lógicas de la negación
o Ejemplos
 Negación de las proposiciones categóricas
 La negación como función de verdad
o Modo correcto de usar la negación:
o Resumen:

¿Que es la negación lógica?

Si bien es cierto que la negación de una proposición no realiza

ninguna conexión lógica, es decir, no es un conectivo
lógico propiamente dicho, no deja de ser una proposición
compuesta luego de negar una proposición simple.
Una proposición simple tiene como finalidad realizar un juicio
pero de manera afirmativa, si este juicio es una negación, entonces
sería una proposición compuesta. Aclarando este punto, veamos
el concepto de negación lógica:

Definición de negación lógica

En matemáticas, la negación lógica denotado con el

símbolo  ∼∼  es un operador lógico que tiene la propiedad de
cambiar la validez de una proposición  pp, esto es, cambia de
verdadero a falso y viceversa, la negación de una proposición se
escribe como  ∼p∼p.
Aquí pp no hace ninguna referencia a una proposición simple o
compuesta, su única función es simplemente negar emitiendo un
valor de verdad opuesto a la validez de pp. Veamos como la
negación trabaja sobre una proposición simple.
Ejemplo

Sea las proposiciones:

1. Los perros tienen 4 patas

2. Los perros no tienen 4 patas
Las dos proposiciones tiene algo en común, uno afirma y la
otra niega para un mismo sujeto y con predicados contrarios.
El enunciado 2 se puede escribir así:

o Los perros no tienen 4 patas = ∼∼ (Los perros tienen 4 patas)

…  (I)(I)
Es decir, la proposición 2 es la negación de la proposición 1, por
cuestiones prácticas, las proposiciones 1 y 2 serán representados
por pp y qq respectivamente, de esta manera quedaría así:

o pp = Los perros tienen 4 patas

o qq = Los perros no tienen 4 patas
La proposición (I)(I) se puede escribir así:
o p=∼qp=∼q
Si bien pp es una proposición compuesta, la negación ∼∼ no es un
conector lógico o conectiva lógica porque no conecta con otra
proposición.
Naturalmente la proposición 1 es verdadero y la 2 es falsa por si creían
que me olvidaba.

Negación lógica de proposiciones simples:

o pp = El Tumi es de oro.

∼p∼p = El tumi no es de oro.
o qq = Los seres humanos no son de Ganimedes.
∼q∼q = Los seres humanos son de Ganimedes.
o rr = El tigre es un felino .
 ∼r∼r = El tigre no es un felino.
La negación de proposiciones compuestas:

o pp = Yo soy terricola y mortal.

∼p∼p = yo no soy terricola o no soy mortal.
o qq = la tierra no es cuadrada o circular.
∼q∼q = la tierra es cuadrada y circular.
Este tipo de negaciones para proposiciones compuestas lo explicaremos
con mayor claridad cuando lleguemos a las secciones de la disyunción
lógica.
Se pueden realizar otros ejemplos más complejos de la negación
de otros enunciados de estos tipos pero esto requiere de otros
conectivos lógicos que aún no hemos explicado, ya hemos visto
ejemplos similares como por ejemplo:

o Mi perro tiene patas y cola.

Su negación sería:

o Mi perro no tiene patas o no tiene cola.

Para explicar esta nomenclatura, requiere del estudio de la
conjunción y disyunción lógica.
Comúnmente se considera a la negación lógica como un conectivo
pero como operador monádico porque afecta solo a una
proposición, también toma el nombre de complemento lógico.

Tabla de verdad de la negación

Como ya hemos indicado antes, lo único que hace este operador

lógico es cambiar la validez de las proposiciones.

Si una proposición es falsa, la negación de la proposición es

verdadera, de la misma manera, si una proposición es verdadera,
la negación de tal proposición es falsa.

En la siguiente tabla de verdad muestro el cambio de la validez de

una proposición cualquiera.
p∼pVFFVp∼pVFFV
Donde VV significa que la proposición es verdadera y FF significa
que la proposición es FF.

Algunas Leyes lógicas de la negación

Las propiedades relacionadas con las negación lógica lo puedes

encontrar en las principales leyes lógicas. Una clásica propiedad
común es la ley de la doble negación (o coloquialmente
mencionada como ley de la negación de la negación), por ejemplo:
o Enunciado afirmativo: Los perros son carnívoros.
o Enunciado negado: ∼∼ (los perros son carnívoros) = los perros
no son carnívoros.
o Doble negación: ∼∼ ( ∼∼ (los perros son carnívoros))
= ∼∼ (los perros no son carnívoros) = los perros son carnívoros.
Como acaban de notar, la doble negación de una proposición
devuelve la misma proposición, simbólicamente se representa así:
∼(∼p)=p∼(∼p)=p
Otras propiedades relacionadas con otros conectivos lógicos lo
pueden encontrar en la sección de las principales leyes lógicas que
ya mencione hace pocos párrafos.

La representación simbólica de los valores de verdad para una

proposición pp dónde estamos suponiendo que es verdadera
junto con su negación y doble negación es:

o V(p)=VV(p)=V
o V(∼p)=FV(∼p)=F
o V(∼(∼p))=VV(∼(∼p))=V
Esto es para el caso  que pp es falsa, tendríamos:
o V(p)=FV(p)=F
o V(∼p)=VV(∼p)=V
o V(∼(∼p))=FV(∼(∼p))=F
Existen otras leyes lógicas como las leyes de Morgan que no
vamos a mencionar en esta sección porque están relacionadas con
otros conectivos lógicos que aún no hemos explicado, pero son
muy usados para encontrar relaciones entre conectivos lógicos
que ya tratamos en secciones posteriores del curso de lógica.

Ejemplos

Todos los ejemplos de doble negación tiene la siguiente forma

lógica ∼(∼p)=p∼(∼p)=p, veamos:
o No es cierto que mi perro no tiene cola = mi perro tiene cola.
o No es verdad que la tierra no es redonda = la tierra es redonda.
o Es falso que los gatos no comer carne = los gatos comer carne.
Por tanto, queda claro que el valor de verdad de una doble negación de
una proposición resulta ser la misma proposición.

Negación de las proposiciones categóricas

La negación puede tener otras aplicaciones como en las
proposiciones categóricas, existen unas palabras especiales que se
les añade al sujeto de un enunciado abierto para transformarlo en
proposiciones, este tipo de proposiciones se les llama
proposiciones categóricas y pueden ser justificadas de manera
general o particular al sujeto según el predicado que se le asigne.

Las proposiciones categóricas son proposiciones que afirman o

niegan una cantidad del sujeto de una proposición, esto es, el
predicado afirma o niega para todos o algunos a una categoría (en
este caso, el sujeto). Las proposiciones categorías tiene la siguiente
forma:

1. Todo S es P
2. Ningún S es P
3. Algún S es P
4. Algún S no es P
Y aquí es donde entra la negación lógica, la negación de la
proposición categoría de 1 es 2 y la negación de 3 es 4 y viceversa,
es decir:

 La negación de “todo S es P” es “ningún S es P.

 La negación de “ningún S es P” es “Todo S es P.
 La negación de “algún S es P” es “algún S no es P”
 La negación de “algún S no es P” es “algún S es P”
Sin embargo, la negación de “algún S es P” debería ser “no todo S
es P” y que es completamente diferente de “algún S no es P”, la
explicación lo realizamos en la sección de cuantificadores de teoría
de conjuntos.
Pero en la sección actual hago un pequeño esbozo al final del tema
actual de este punto.

La negación como función de verdad

Otra forma de crear oposición de los argumentos proposicionales
verbalmente hablando es con la frase “no es verdad que” sin
necesidad de introducir el adverbio “no” entre el sujeto y
predicado.

Esta palabra es suficiente para transformar una proposición

simple en compuestas como mencione anteriormente, si bien la
negación de una compuesta puede generar otra compuesta,
también nos puede dar también una proposición simple.

Sea la siguiente proposición como ejemplo:

o pp: La puerta no es de madera. (compuesta)

Su negación sería:

o ∼p∼p: No es cierto que la puerta no es de madera.  (compuesta)

Su equivalente sería:

o ∼p∼p: La puerta es de madera.  (simple)

Cuando un operador lógico opera sobre una proposición con
ciertos posibles valores de verdad, también nos devuelven un
valor de verdad específico, estos operadores lógicos se les
llama funciones de verdad.

De hecho, todos los conectivos lógicos que presentaremos en

secciones posteriores también pueden tratarse como funciones de
verdad.

Para el caso de la negación lógica, hay que ser cuidadoso cuando

negamos una proposición cuando tratamos con cuantificadores
como “Algunos son” o “algunos no son”, ya que una de ellas es la
conclusión de la otra.

Modo correcto de usar la negación:

Veamos el siguiente ejemplo:

 o pp = Algunos perros tiene cola.
Esta es una proposición categórica, y es obvio que algunos perros
tiene cola, debe existir otros perros que no los tenga, obtenemos la
siguiente proposición:

o qq = Algunos perros no tiene cola.

Si se fijan bien, la negación de pp realmente no contradice a qq ya
que una de ellas se ha deducido de la otra. Y más que una
aparente contradicción, realmente una de ellas es la conclusión de
la otra.

Como dije en el apartado anterior, el adverbio “no” tiene algunos

inconvenientes al negar este tipo de proposiciones. La manera
correcta de negar la proposición “algunos perros tiene cola” es:
o No es verdad que algunos perros tiene cola
Y es lo mismo que decir:

o Ningún  perro tiene cola.

Estas corrección lo veremos en una sección de cuantificadores en
el curso de teoría elemental de conjuntos, por lo pronto, tomar en
cuentas estos pequeños detalles.
Resumen:

Se pueden hacer muchas cosas con la negación lógica, pero esto se

vera cuando combinemos con el resto de los conectivos lógicos, en
la tabla siguiente te presento un resumen de lo expuesto.

Conectiv  Notació  Aplicació  Significad  Ejempl

o n n o o  Tabla de verdad

 Sergio
 Negació no es p∼pVFFVp∼pVF
n   ~, ¬,  ~ p  no flaco FV