Negazione
Da Wikipedia, l'enciclopedia libera.
Questa voce è solo un abbozzo (stub). Se puoi, contribuisci adesso a migliorarla secondo le convenzioni di Wikipedia. Per l'elenco completo degli stub di matematica, vedi la relativa categoria.
La negazione è un'operazione logica unaria che applicata ad una proposizione p dà come risultato una nuova proposizione non p il cui valore di verità è l'inverso del valore di verità di p, ossia non p è vera se p è falsa ed è falsa se p è vera.