Negazione logica
Consideriamo la proposizione
p = Milano è la capitale d'Italia
che, come sappiamo, è falsa. La negazione di p è:
Non è vero che Milano è la capitale d'Italia
oppure
Milano non è la capitale d'Italia
e naturalmente è una proposizione vera. Negando una proposizione falsa si ottiene una proposizione vera e, viceversa, negando una proposizione vera si ottiene una proposizione falsa. La negazione logica si indica con il simbolo ¬ (che si legge non). Ecco la tavola di verità.
Il circuito elettrico con un interruttore p invertitore, consente di simulare la negazione logica. La lampadina si accende quando p è aperto.
