Negazione logica
La negazione logica è un connettivo logico dell'algebra booleana. Data una proposizione logica ( variabile logica ) A la negazione logica consente di ottenere una proposizione logica negativa "non A" tale che la proposizione A è vera quando non-A è falsa e viceversa. La negazione logica è anche rappresentata con il simbolo ¬ oppure con un trattino posto al di sopra della variabile logica. La tavola di verità della negazione logica è la seguente:
Ad esempio, data una proposizione A "il cielo è sereno", la proposizione non-A ( A ) è "il cielo non è sereno". La negazione logica si distingue dagli altri connettivi logici dell'algebra booleana poiché è un connettivo logico unario in quanto si applica su un'unica proposizione e non su due.
Operatore NOT. La negazione logica è utilizzata nell'informatica come operatore booleano della negazione nei linguaggi di programmazione informatica. È uno dei principali operatori logici insieme agli operatori AND e OR.