Negación
De Enciclopedia Symploké, la enciclopedia libre.
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 |