275 029
contributi
m (Annullate le modifiche di 87.9.34.67 (discussione), riportata alla versione precedente di Phantomas) |
|||
|}
== 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:
|