Questo Articolo è estratto dal Grande Manuale di logica
NOT ¬
Il connettivo logico NOT può essere scritto con il simbolo “¬”.
È simile al segno matematico “-“. Negare una affermazione è simile al cambio di segno di un numero.
Io canto e Io non canto possono essere scritti anche come a e ¬a analogamente al numero 4 che ha come opposto -4.
Un’altra applicazione complessa della negazione che ricorre nei test è data dalle negazioni multiple. Studieremo anche queste in altri articoli.
La tavola di verità della negazione è molto semplice. Si tratta di cambiare il senso di verità di una proposizione che da vera diventa falsa e viceversa.
| Tavola di verità NOT ¬ |
||
| a | ¬a | |
| V | F | Se risulta che la proposizione a è vera, allora la sua negazione ¬a è falsa. |
| F | V | Se risulta che la proposizione a è falsa, allora la sua negazione ¬a è vera. |
| PAGINA PRECEDENTE | PROSSIMA PAGINA |
| AND [ET] a ˄ b | OR [VEL] a ˅ b |
| NOT ¬ | XOR  |
| IMPLICAZIONE ⇒ | DERIVAZIONE → |
| DOPPIA IMPLICAZIONE ⇔ | Logica Proposizionale |
| Negazioni di Connettivi Logici |
Negazioni di Quantificatori |
| Negazioni Multiple |
© il testo è di esclusiva proprietà dell’autore ed è sottoposto a COPYRIGHT – non è consentito alcun utilizzo diverso dallo studio gratuito degli utenti del sito
