negación

Negación es la acción de negar, rechazar o contradecir una proposición. En lógica y matemática, la negación es un operador unario que invierte el valor de verdad de una proposición: si P es verdadera, ¬P es falsa, y si P es falsa, ¬P es verdadera. Se suele denotar con NOT o con el símbolo ¬. La negación es fundamental para la demostración y para formalizar contradicciones.

En lingüística, la negación se expresa mediante palabras o morfemas negativos que afectan al enunciado. En español, la negación típica se realiza con la partícula "no" delante del verbo, y pueden acompañarse por palabras como "nadie", "nada", "ningún" o "nunca". El alcance de la negación determina qué elementos del enunciado quedan negados. En algunas lenguas se da la concordancia negativa, donde varios elementos quedan negados por una sola partícula negativa.

En filosofía y lógica, la negación se estudia junto a conceptos como doble negación y leyes como De Morgan. En informática, la negación se implementa como la operación lógica NOT, usada en condicionales y en algoritmos.

La noción de negación también tiene relevancia en la semántica y la pragmática, donde se analiza cómo la negación afecta la presuposición, la evidencia y la interpretación de oraciones irónicas o evasivas. En conjunto, la negación es una categoría central que permite expresar falsedad, contradicción y oposición en lenguaje, razonamiento y computación.