L'operazione NOT

Scopri come l'operazione NOT trasforma il vero in falso e il falso in vero, e come negare correttamente una frase.

Intermedio20 minLezione

Definizione

L'operazione NOT (detta anche negazione logica) prende una sola proposizione e ne inverte il valore di verità: il vero diventa falso e il falso diventa vero.
Scriviamo NOT con questi simboli:
  • ¬P\neg P (notazione matematica, si legge "non P")
  • NOT P (scritto, in italiano NON P)
  • !P (programmazione)
Tavola di verità per NOT:
PP¬P\neg P
VF
FV
Con 1 per vero e 0 per falso: NOT 1 = 0 e NOT 0 = 1. Un trucco utile è ¬P=1−P\neg P = 1 - P.
L'idea chiave: a differenza di AND e OR, NOT ha bisogno di un solo input. Una proposizione e la sua negazione non sono mai entrambe vere e mai entrambe false. Esattamente una delle due è vera!

Prova subito

Se PP è vera, che cosa è ¬P\neg P?

Esempi svolti

Sia PP = "7 è un numero pari". Trova i valori di verità di PP, ¬P\neg P e ¬(¬P)\neg(\neg P).

1

Valuta P

7 è dispari, quindi la proposizione "7 è un numero pari" è falsa → P = F

2

Scrivi la negazione a parole

¬P\neg P = "7 non è un numero pari" → ¬P a parole

3

Applica NOT

¬P=¬F=V\neg P = \neg F = V → ¬P = V

4

Applica NOT una seconda volta

¬(¬P)=¬V=F\neg(\neg P) = \neg V = F, cioè lo stesso valore di P → ¬(¬P) = F

Errori comuni

Negare "Tutti i gatti sono neri" con "Nessun gatto è nero"

Perché è sbagliato: Le due frasi possono essere false contemporaneamente (alcuni gatti sono neri, altri no), quindi la seconda non è la negazione della prima.

Corretto: La negazione è "Non tutti i gatti sono neri", cioè "Almeno un gatto non è nero".

Scrivere la negazione di x>5x > 5 come x<5x < 5

Perché è sbagliato: Si dimentica il caso x=5x = 5. Per x=5x = 5 sia x>5x > 5 sia x<5x < 5 sono false.

Corretto: ¬(x>5)\neg(x > 5) è x≤5x \leq 5: tutti i numeri che non sono maggiori di 5.

Portare NOT dentro una parentesi senza cambiare AND/OR: ¬(P∧Q)=¬P∧¬Q\neg(P \land Q) = \neg P \land \neg Q

Perché è sbagliato: Provalo con P = V, Q = F: ¬(V∧F)=¬F=V\neg(V \land F) = \neg F = V, ma ¬V∧¬F=F∧V=F\neg V \land \neg F = F \land V = F. I due lati sono diversi.

Corretto: Quando NOT entra nella parentesi, AND diventa OR: ¬(P∧Q)=¬P∨¬Q\neg(P \land Q) = \neg P \vee \neg Q.

Pensare che "non non" sia ancora una negazione

Perché è sbagliato: In alcune lingue una doppia negazione nel parlato è solo una negazione rafforzata (in spagnolo "No veo nada", in italiano "Non vedo niente"). In logica, invece, ogni NOT conta.

Corretto: Due NOT si annullano: ¬(¬P)=P\neg(\neg P) = P. "Non è vero che il negozio non sia aperto" significa che il negozio è aperto.

Visuale interattivo

Tabella di verità

¬P
P¬P
V
F

V= VeroF= Falso

Sandbox interattivo

Calcolatrice di espressioni

Prova questi:

Cronologia

Ancora nessun calcolo

Esercizi pratici

18 esercizi
Problema 1 di 18
Facile

Se PP è vera, che cosa è ¬P\neg P?

Perché è importante

La negazione è ovunque, anche quando non ce ne accorgiamo:
  • Linguaggio di tutti i giorni: "Il negozio non è aperto" è la negazione di "Il negozio è aperto"
  • Programmazione: un'app controlla !connesso per mostrare la schermata di accesso solo a chi NON ha ancora fatto l'accesso
  • Motori di ricerca: una ricerca pizza AND NOT ananas trova pagine sulla pizza che non parlano di ananas
  • Elettronica: una porta NOT (invertitore) trasforma un segnale 1 in 0 e un segnale 0 in 1
  • Argomentazione: per dimostrare che qualcuno ha torto ti serve la negazione esatta della sua affermazione, non semplicemente il suo "contrario"
Saper negare correttamente ti aiuta a scrivere regole chiare e a evitare malintesi.

Applicazioni nel mondo reale

Programmazione e app

I programmatori scrivono ! davanti a una condizione perché un codice venga eseguito solo quando quella condizione è falsa.

Esempio:

Un'app per i compiti usa la regola !fatto: mostra un promemoria solo se i compiti NON sono fatti.

1Provaci tu stesso

Un'app per i compiti mostra un promemoria quando NOT D è vera, dove D = "i compiti sono fatti". In questo momento i compiti non sono ancora fatti.

Il promemoria comparirà? (Usa 1 per vero e 0 per falso.)

Passo 1: Scrivi l'espressione matematica

La regola dell'app è NOT D. Che valore ha adesso (1 o 0)?

Porte NOT in elettronica

Una porta NOT (detta anche invertitore) ha un ingresso e un'uscita. Dà sempre il segnale opposto.

Esempio:

Una luce notturna usa un sensore di luce che invia 1 quando c'è luce. Dopo una porta NOT, la lampada riceve 1 solo quando è buio.

2Provaci tu stesso

Un segnale 1 passa attraverso due porte NOT collegate una dopo l'altra.

Quale segnale esce alla fine?

Passo 1: Scrivi l'espressione matematica

Il circuito calcola NOT (NOT 1). Qual è il risultato?

Regole dei negozi e filtri di ricerca

Regole e ricerche spesso escludono qualcosa con AND NOT: il risultato deve corrispondere a una cosa, ma non a un'altra.

Esempio:

Una ricerca pizza AND NOT ananas mostra le pagine sulla pizza, tranne quelle che parlano di ananas.

3Provaci tu stesso

Un negozio fa uno sconto soci quando M AND NOT S è vera, dove M = "la cliente è socia" e S = "l'articolo è già scontato". Lea è socia e compra un articolo che è già scontato.

Lea ottiene lo sconto soci? (Usa 1 per vero e 0 per falso.)

Passo 1: Scrivi l'espressione matematica

La regola del negozio è M AND NOT S. Che valore ha per Lea (1 o 0)?

Punti chiave

  • 1L'operazione NOT inverte il valore di verità: ¬V=F\neg V = F e ¬F=V\neg F = V
  • 2NOT agisce su una sola proposizione. Simboli: ¬P\neg P in matematica, NOT P a parole, !P in programmazione
  • 3Con 1 e 0: NOT 1 = 0, NOT 0 = 1 e ¬P=1−P\neg P = 1 - P
  • 4Nega una frase con la grammatica della tua lingua (non prima del verbo) e ricorda che la negazione di "tutti" è "non tutti"
  • 5Doppia negazione: due NOT si annullano, ¬(¬P)=P\neg(\neg P) = P
  • 6Le parentesi contano: ¬(P∨Q)=¬P∧¬Q\neg(P \vee Q) = \neg P \land \neg Q e ¬(P∧Q)=¬P∨¬Q\neg(P \land Q) = \neg P \vee \neg Q (leggi di De Morgan)

Domande frequenti

AND e OR collegano due proposizioni, mentre NOT cambia semplicemente il valore di verità di una sola proposizione. Per questo la tavola di verità di NOT ha solo due righe: P = V e P = F.
AND e OR collegano due proposizioni, mentre NOT cambia semplicemente il valore di verità di una sola proposizione. Per questo la tavola di verità di NOT ha solo due righe: P = V e P = F.
No. "Non essere felice" è la negazione e comprende tutti gli stati diversi dall'essere felice: triste, annoiato, tranquillo e così via. "Triste" è solo una di queste possibilità. Una negazione è vera esattamente quando la proposizione di partenza è falsa.
È x≤5x \leq 5. Ogni numero o è maggiore di 5 o non lo è, e "non maggiore di 5" comprende anche il 5 stesso.
Ti dicono come NOT entra in una parentesi: ¬(P∧Q)=¬P∨¬Q\neg(P \land Q) = \neg P \vee \neg Q e ¬(P∨Q)=¬P∧¬Q\neg(P \vee Q) = \neg P \land \neg Q. AND diventa OR e OR diventa AND. Le verificherai riga per riga nella lezione sulle tavole di verità.

Glossario

Operazione NOT
Un'operazione logica con un solo input che trasforma il vero in falso e il falso in vero
Negazione
Il nome matematico dell'operazione NOT, che si scrive ¬P\neg P
Doppia negazione
Applicare NOT due volte, il che restituisce il valore di partenza: ¬(¬P)=P\neg(\neg P) = P
Invertitore (porta NOT)
Un componente elettronico che dà 0 quando l'ingresso è 1 e dà 1 quando l'ingresso è 0
Leggi di De Morgan
Due regole che mostrano come NOT entra in una parentesi scambiando AND con OR

Scheda formule

Regola del NOT

¬V=F,¬F=V\neg V = F, \quad \neg F = V

NOT inverte sempre il valore di verità

NOT con 1 e 0

¬P=1−P\neg P = 1 - P

NOT 1 = 0 e NOT 0 = 1, comodo per verificare con la calcolatrice

Doppia negazione

¬(¬P)=P\neg(\neg P) = P

Due NOT si annullano a vicenda

Leggi di De Morgan

¬(P∧Q)=¬P∨¬Q,¬(P∨Q)=¬P∧¬Q\neg(P \land Q) = \neg P \vee \neg Q, \quad \neg(P \vee Q) = \neg P \land \neg Q

NOT entra nella parentesi e AND e OR si scambiano di posto

Altro su questo argomento