¿Qué es?
No se ha añadido ninguna twiki todavía.
O negador. Conectiva que en lógica de enunciados traduce el adverbio «no» y cuya función es cambiar la verdad por la falsedad y la falsedad por la verdad. Se simboliza con el signo ¬ delante de una letra de enunciado ( ¬p, ¬q, etc.). Su tabla de verdad es:
(Los valores 0 y 1 también se representan como F y V y significan Falso o Verdadero)
«No P es falso cuando P es verdadero y es verdadero cuando P es falso».
Ejemplo
Si es verdad que p («hace sol»), ¬p es falso («no hace sol» es falso)
Si es falso que p (es falso que «hace sol»), ¬p es verdadero («no hace sol»)