Negación

De Enciclopedia Symploké, la enciclopedia libre.
Saltar a: navegación, buscar

En Lógica, símbolo que representa la disminución del universo del discurso equivalente a la extensión del término que es negado por él. Por ejemplo, no-p es negación de la extensión de la proposición p.

La tabla de verdad de la negación es la siguiente:

p ¬ p
V F
F V