Negazione logica (simbolo)
Da Wikipedia, l'enciclopedia libera.
La negazione logica, chiamata anche semplicemente negazione, non o not, é un simbolo scientifico di tipo matematico. Essa viene utilizzata in diversi campi di questa disciplina, ma la sezione che la utilizza maggiormente è senz'altro la logica matematica: qui la ¬ viene spesso adoperata insieme ad altri simboli, come l'et e il vel. Essa consiste graficamente in un segmento orizzontale, alla cui estremità sinistra è unito un secondo tratto, brevissimo, verticale e discendente, formante con il primo un angolo retto. L'etimologia del non è delle più semplici: servendo, infatti, per negare qualcosa in matematica, il nome negazione [dal latino negatio, onis, l'atto del negare] è più che appropriato.
[modifica] Utilizzo
Il not viene utilizzato in matematica allo scopo di negare un'affermazione: se a è la proposizione da contraddire, la scrittura dovrà essere ¬a; per quanto riguarda le tabelle di verità, dunque, la negazione è l'operatore più semplice ed intuitivo: se la proposizione a è vera, allora ¬a è falsa, e viceversa. Nella scrittura a mano è spesso preferito a questo simbolo un altro che al computer è quasi impossibile digitare: si tratta di un trattino posto al di sopra della proposizione da negare: dunque ā = ¬a. Le immagini ingrandite dei due possibili segni sono visibili alla destra e alla sinistra di questa specifica voce.
[modifica] Voci correlate
- Congiunzione logica
- Disgiunzione logica
Segni elementari: segno + · segno ± · segno - · segno x · segno : · segno potenza · segno √ · segno % · segno ‰
Uguaglianza e disuguaglianza: segno = · segno ≠ · segno ≡ · segno ≈ · segno > · segno < · segno ≥ · segno ≤
Segni di Insiemistica: segno ∈ · segno Ø · segno ∩ · segno ∪ · segni ⊂ e ⊆ · segni ⊃ e ⊇
Segni di Logica matematica: segno ∧ · segno ∨ · segno ¬ · segno → · segno ↔
Segni di Geometria: segno ⊥ · segno //
Segni Vari: simbolo ∏ · simbolo ∑ · simbolo ∞ · Simbolo ! · simbolo ∃ · simbolo ∀ · segno | · Parentesi
Altre notazioni
