https://ciencias-basicas.

com/matematica/superior/logica-proposicional/que-es-la-negacion-logica/

2. Negación lógica
9 minutos de lectura
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 capítulo 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í:

 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í:
 pp = Los perros tienen 4 patas
 qq = Los perros no tienen 4 patas
La proposición (I)(I) se puede escribir así:
 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:

 pp = El Tumi es de oro.

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

 pp = Yo soy terricola y mortal.

∼p∼p = yo no soy terricola o no soy mortal.
 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:

 Mi perro tiene patas y cola.

Su negación sería:

 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 falsa.
Algunas Leyes lógicas de la negación

Las propiedades relacionadas con la 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:

 Enunciado afirmativo: Los perros son carnívoros.

 Enunciado negado: ∼∼ (los perros son carnívoros) = los perros no
son carnívoros.
 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:
 V(p)=VV(p)=V
 V(∼p)=FV(∼p)=F
 V(∼(∼p))=VV(∼(∼p))=V
Esto es para el caso  que pp es falsa, tendríamos:
 V(p)=FV(p)=F
  V(∼p)=VV(∼p)=V
 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:
 No es cierto que mi perro no tiene cola = mi perro tiene cola.
 No es verdad que la tierra no es redonda = la tierra es redonda.
 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 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 verá
cuando combinemos con el resto de los conectivos lógicos, en la tabla
siguiente te presento un resumen de lo expuesto.

Tabla de
Conectivo Notación Aplicación Significado Ejemplo
verdad

 Negación ~, ¬, ~ p no Sergio no es flaco

p∼pVFF
Vp∼pVF
FV
De esta manera finalizó con la sección de la negación lógica, la próxima
sección nos dedicaremos a la conjunción lógica. Y eso sería todo, nos
vemos en la próxima sección, que tengan un buen día, bye.