Differenze tra le versioni di "Tabella della verità"
→Operatore logico negazione
m (Annullate le modifiche di 87.9.34.67 (discussione), riportata alla versione precedente di 89.202.231.191) |
|||
|
|}
== Operatore logico
La relazione di negazione [[Negazione logica (simbolo)|NOT]] (<span style="border-top:1px solid black"> </span>) è un [[connettivo logico]], attraverso il quale, a partire da una [[proposizione (logica)|proposizione]] ''A'' si forma una nuova proposizione chiamata ''negazione di A'' <math>\overline A</math> la quale è vera quando ''A'' è falsa, ed è falsa quando ''A'' è vera.
La relazione è così definita:
| |||