Negación

Es una de las conectivas u operadores lógicos básicos. La representaremos con el signo “¬”. En español, las negaciones se expresan mediante diversas formulaciones, entre las cuáles podemos considerar a:

1. “No es verdad que…”
2. “No es el caso que…”
3. “No es cierto que…”
4. “No…”

Consideremos la siguiente proposición:

A. “No es verdad que hay una serpiente en mi bota”

Estamos aquí ante una proposición molecular. Recordemos que una proposición molecular (o compleja) está compuesta por al menos una proposición simple, es decir, atómica, y al menos una conectiva lógica. En este caso tenemos la conectiva lógica “negación” y la proposición simple:

A.1 “Hay una serpiente en mi bota”.

Para saber cuándo una negación es verdadera o falsa, debemos conocer su tabla de verdad. Hagámoslo para A:

Paso 1. Sea:

P: “Hay una serpiente en mi bota”

Paso 2. Completamente simbolizada, A queda:

¬ P

Paso 3. Tabla de verdad:

La tabla anterior se puede verbalizar como la siguiente regla práctica para la negación:

             La negación de una proposición tiene el valor de verdad opuesta al de la proposición objeto de la negación.