Negación

De Enciclopedia Symploké, la enciclopedia libre.
Revisión a fecha de 10:23 6 sep 2009; JJLG (Discusión | contribuciones)

(dif) ←Revisión más antigua | Ver la revisión actual (dif) | Newer revision→ (dif)
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