Ésta podría ser una edición anterior y no la más reciente o aprobada. Ir a la versión actual.
¿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: |
«No P es falso cuando P es verdadero y es verdadero cuando P es falso» (ver ejemplo).