2. Negación lógica

Hoy dedicaremos esta sección a la negación lógica con símbolo ~ 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, tambien llamados funciones proposicionales.

En la sección de cuantificadores del capitulo de teoria 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.

Urgente, esta pagina esta al borde de la extinción, para seguir publicando mas contenido gratuito necesitamos de tu apoyo, ¿como puedes contribuir? haz una pequeña donación, el importa mas pequeño que sea. Nuestra intensión es seguir publicando  todas las materias universitarias de ciencias matemática y física. El siguiente enlace te llevará a los cursos que pensamos impartir libremente y un botón de donación que decidirá el destino de la pagina. Muchas gracias por escucharnos.

Si bien, la negación lógica de una proposición no realiza ninguna conexión lógica, es decir, no es un conectivo lógico propiamente dicha, 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

La negación lógica con símbolo ~ es un operador lógico que tiene la propiedad de cambiar la validez de una proposición p, esto es, cambia de verdadero a falso y viceversa, la negación de una proposición se escribe ~ p.

Aquí p no hace ninguna referencia a una proposición simple o compuesta, su unica funcion es simplemente negar emitiendo otro valor de verdad, es por ello que la negación se le llama función de verdad que ya explicaremos al finalizar esta sección. Veamos como la negación trabaja sobre una proposición simple.

Ejemplos de la negación lógica

Lo que veremos ahora será un ejemplo explicativo de la negación lógica. Sean las proposiciones siguientes:

  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 juicios contrarios.

El enunciado 2 se puede escribir así:

  • Los perros no tienen 4 patas = ~ (Los perros tienen 4 patas)

Por cuestiones prácticas, usaremos el símbolo  p y q, para la proposición 1 y 2 respectivamente, de esta manera quedaría así:

  • p = Los perros tienen 4 patas
  • q = Los perros no tienen 4 patas

con estos ajustes, el enunciado 2 se escribiría de la siguiente manera:

Si bien q es una proposición compuesta, 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 creian que me olvidaba. Mas ejemplos de la negación lógica:

  • p = El Tumi es de oro.
    ~ p = El tumi no es de oro.
  • q  = Los seres humanos no son de ganimedes.
    ~ q = Los seres humanos son de ganimedes.
  • proposición r = El tigre es un felino .
    ~ proposición r = El tigre no es un felino.

La negación de proposiciones compuestas es un poco diferente, aquí algunos ejemplos:

  • p = Yo soy terrico y mortal.
    ~ p = yo no soy terrico o no soy mortal.
  • q = la tierra no es cuadrada o circular.
    ~ q = la tierra es cuadrada ni circular.

Este tipo de negaciones lo explicaremos con mayor claridad cuando lleguemos a las secciones de la disyunción lógica, observe que que la negacion puede afirmar o negar al sujeto.

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, si por ejemplo negamos una proposición compuesta como  “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 de la teoría de la conjuncion y disyuncion lógica.

Otro punto mas, 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

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 muestra el cambio de la validez de una proposición cualquiera.

  p  ~ p
 VerdaderoFalso 
 FalsoVerdadero 

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 clasica 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

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 p dónde estamos suponiendo que es verdadera con su respectivo negador es:

  • V(p) = V representa el conjunto de valores de verdad
  • ( V(~ p) = F
  • V(~ (~ p)) = V representa el conjunto de valores de verdad

Esto es para el caso  que p es falsa, entonces:

  • V(p) = F
  • V(~ p) = V representa el conjunto de valores de verdad
  • V representa el conjunto de valores de verdad(~ (~ 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 trataremos en las siguientes secciones posteriores del capítulo de lógica.

Ejemplos de la doble negación

Todos los ejemplos de doble negación tiene la siguiente forma lógica ~ (~ 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.

Negacion 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 negacion de “todo S es P” es “ningun S es P.
  • La negacion de “ningun S es P” es “Todo S es P.
  • La negacion de “algun S es P” es “algun 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 aunque al final realizo un pequeño esbozo de este incongruente problema.

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 (si es que lo hay) y predicado, aunque este última forma de negación tiene algunos inconvenientes que lo veremos en breve.

Esta frase es suficiente para transformar una proposición simple en compuestas, si bien la negación de una compuesta puede generar otra compuesta, la negación de una compuesta nos puede dar también una proposición simple y eso es fácilmente demostrable con la ley de la noble negación, donde nos vota como valor la misma proposición doblemente negada.

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. 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:

  • p = Algunos perros tiene cola.

Esta es una proposición categórica, y podemos concluir que:

  • q  = Algunos perros no tiene cola.

Si se fijan bien, la negación de p realmente no contradice a  q ya que una de ellas se ha deducido de la otra. Y más que una aparente contradicción, es una confirmación concluyente. Como dije en el apartado anterior, el adverbio “no” tiene algunos inconvenientes al negar una proposición. La manera correcta de negar la proposición “algunos perros tiene cola” es:

  • No es verdad que algunos perros tiene cola

Y es lo mismo que decir:

  • 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 de la negación lógica

Se pueden hacer muchas cosas con la negacion 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.

Conectivo Notación Aplicación Significado Ejemplo Tabla de verdad
 Negación  ~, ¬, \ ~ p no Sergio no es flaco
p~ p
VF
FV

 

Fin de la seccíon 2

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.

Detalles
Fecha de Revision
Nombre De La Entrada
La negación lógica
Clasificación
51star1star1star1star1star
2018-06-20T23:31:47+00:00