Negación lógica
Identificar y aplicar el conectivo de negación para invertir el valor de verdad de una proposición
Introducción
Imagina que tienes una ficha que dice "Está lloviendo". La negación es como darle la vuelta a esa ficha: ahora dice "No está lloviendo". Si la ficha original era verdadera, la del revés es falsa. Así funciona la negación en lógica.
Explicación
La negación es el único conectivo unario de la lógica proposicional, pues actúa sobre una sola proposición.
Símbolo: $\neg p$ (también escrito como $\sim p$ o $\overline{p}$)
Definición formal: Si $p$ es una proposición, su negación $\neg p$ tiene el valor opuesto:
| $p$ | $\neg p$ |
|---|---|
| V | F |
| F | V |
Lectura: "$\neg p$" se lee "no $p$", "es falso que $p$", o "no es cierto que $p$".
Ejemplos lingüísticos:
- $p$: "Madrid es la capital de España." → $\neg p$: "Madrid no es la capital de España."
- $p$: "Todos los mamíferos son acuáticos." → $\neg p$: "No todos los mamíferos son acuáticos" (equivalente a "Existe algún mamífero que no es acuático").
Doble negación: $\neg(\neg p) \equiv p$. Negar dos veces equivale a la proposición original.
Cómo hacerlo paso a paso
- Identificar la proposición original $p$ y su valor de verdad.
- Aplicar el operador $\neg$: si $p = V$, entonces $\neg p = F$; si $p = F$, entonces $\neg p = V$.
- Verificar la coherencia semántica de la proposición resultante.
Ejemplos
1 Sea $p$: "El número 7 es par." ¿Cuál es $\neg p$ y cuál es su valor de verdad?
- $p$ afirma que 7 es par. Esto es Falso, pues 7 es impar. Así, $p = F$.
- La negación $\neg p$ es: "El número 7 **no** es par." Como $p = F$, entonces $\neg p = V$.
2 Sea $q$: "Todo triángulo equilátero es isósceles." ¿Cuál es $\neg q$?
- $q$ es Verdadera (todo triángulo equilátero tiene sus tres lados iguales, por lo que también tiene al menos dos lados iguales).
- $\neg q$: "No todo triángulo equilátero es isósceles" o "Existe un triángulo equilátero que no es isósceles." Como $q = V$, entonces $\neg q = F$.
3 ¿Es correcto que $\neg(p)$ siempre tiene valor de verdad diferente a $p$?
- Por definición, $\neg p$ invierte el valor de verdad de $p$.
- Si $p = V$ entonces $\neg p = F$; si $p = F$ entonces $\neg p = V$. Son siempre opuestos.
4 ¿Es $\neg\neg p$ equivalente a $p$?
- La doble negación $\neg\neg p$ niega dos veces la proposición.
- Si $p = V$, entonces $\neg p = F$, y $\neg\neg p = V = p$. Si $p = F$, entonces $\neg p = V$, y $\neg\neg p = F = p$.
Ejemplos Verdadero/Falso
"{'Confundir la negación de proposiciones universales ("Todos...") con añadir un simple "no"': 'la negación de "Todos los A son B" es "Existe algún A que no es B", no "Todos los A no son B".'}"
¿Es correcta esta afirmación?
Esta afirmación describe un error frecuente: es incorrecta.
"Aplicar la negación solo al sujeto o solo al predicado en lugar de a toda la proposición."
¿Es correcta esta afirmación?
Esta afirmación describe un error frecuente: es incorrecta.
"Creer que la negación de "algún A es B" es "ningún A es B" (la negación correcta es "ningún A es B" solo cuando se niega la existencia)."
¿Es correcta esta afirmación?
Esta afirmación describe un error frecuente: es incorrecta.
"Olvidar que la doble negación restaura el valor original ($\neg\neg p \equiv p$)."
¿Es correcta esta afirmación?
Esta afirmación describe un error frecuente: es incorrecta.
"Confundir el símbolo de negación $\neg$ con el de "diferente de" ($\neq$)."
¿Es correcta esta afirmación?
Esta afirmación describe un error frecuente: es incorrecta.
La negación (¬p) es el conectivo que invierte el valor de verdad de una proposición p. Si p es Verdadera, ¬p es Falsa, y viceversa. Se lee "no p".