Proposizioni booleane composte
Impara a formare proposizioni composte partendo da proposizioni semplici con AND, OR e NOT, a passare dalle parole ai simboli e a trovarne il valore di verità.
Definizione
| A parole | Simboli | Vera quando |
|---|---|---|
| Piove e fa freddo. | entrambe le parti sono vere | |
| Piove o fa freddo. | almeno una parte è vera | |
| Non piove. | è falsa | |
| Piove ma non fa freddo. | è vera e è falsa | |
| Né piove né fa freddo. | entrambe le parti sono false |
- 1.Dai a ogni proposizione semplice il suo valore: 1 o 0.
- 2.Calcola le parti tra parentesi e ogni NOT.
- 3.Combina i risultati con AND o OR.
| 0 | 0 | 0 | 0 | 1 |
| 0 | 1 | 0 | 1 | 1 |
| 1 | 0 | 0 | 1 | 0 |
| 1 | 1 | 1 | 1 | 0 |
| 0 | 0 | 0 | 0 | 1 | 0 |
| 0 | 0 | 1 | 0 | 0 | 0 |
| 0 | 1 | 0 | 1 | 1 | 1 |
| 0 | 1 | 1 | 1 | 0 | 0 |
| 1 | 0 | 0 | 1 | 1 | 1 |
| 1 | 0 | 1 | 1 | 0 | 0 |
| 1 | 1 | 0 | 1 | 1 | 1 |
| 1 | 1 | 1 | 1 | 0 | 0 |
Prova subito
Esempi svolti
Sia : "Il negozio è aperto" e : "Ho dei soldi". Scrivi ogni frase in simboli: (a) Il negozio è aperto e ho dei soldi. (b) Il negozio non è aperto o ho dei soldi. (c) Il negozio è aperto ma non ho soldi. (d) Il negozio non è aperto e non ho soldi.
Frase (a)
La parola *e* unisce due parti che vengono affermate entrambe come vere →
Frase (b)
*non* riguarda solo la prima parte, *o* unisce le due parti →
Frase (c)
*ma* significa AND, e *non ho soldi* è la negazione di →
Frase (d)
Entrambe le parti sono negate e unite con *e* →
Risposta: (a) , (b) , (c) , (d) . La frase (d) si può dire anche con né ... né: né il negozio è aperto né ho soldi.
Errori comuni
Pensare che " o " sia falsa quando entrambe le parti sono vere
Perché è sbagliato: Nella lingua di tutti i giorni *o* spesso significa l'uno o l'altro, ma non entrambi. In logica OR è inclusivo: .
Corretto: è falsa solo quando entrambe le parti sono false. Per uno ma non entrambi esiste un altro operatore: l'OR esclusivo (XOR).
Negare "Mi piacciono il tè e il caffè" con "Non mi piace né il tè né il caffè"
Perché è sbagliato: *Né ... né* è vero solo quando entrambe le parti sono false (1 caso). La negazione di una proposizione con AND deve essere vera ogni volta che almeno una parte è falsa (3 casi).
Corretto: Di' "Non è vero che mi piacciano sia il tè sia il caffè": almeno uno dei due non mi piace. La regola generale (leggi di De Morgan) arriva nella lezione Algebra di Boole.
Leggere come se fosse
Perché è sbagliato: Senza parentesi, NOT si applica solo alla proposizione che lo segue direttamente. Per e : , ma .
Corretto: Controlla che cosa tocca il NOT. Scrivi le parentesi quando il NOT deve valere per tutta la proposizione composta.
Non riconoscere *ma* come AND
Perché è sbagliato: "La verifica era difficile ma l'ho superata" sembra un contrasto, eppure entrambe le parti sono affermate come vere.
Corretto: Traduci *ma*, *anche se* e *sia ... sia* con AND: (verifica difficile AND superata).
Visuale interattivo
Tabella di verità
| P | Q | P ∧ Q |
|---|---|---|
| 0 | 0 | 0 |
| 0 | 1 | 0 |
| 1 | 0 | 0 |
| 1 | 1 | 1 |
1= Vero0= Falso
Tabella di verità
| P | Q | R | P ∨ Q | ¬R | (P ∨ Q) ∧ ¬R |
|---|---|---|---|---|---|
| 0 | 0 | 0 | 0 | 1 | 0 |
| 0 | 0 | 1 | 0 | 0 | 0 |
| 0 | 1 | 0 | 1 | 1 | 1 |
| 0 | 1 | 1 | 1 | 0 | 0 |
| 1 | 0 | 0 | 1 | 1 | 1 |
| 1 | 0 | 1 | 1 | 0 | 0 |
| 1 | 1 | 0 | 1 | 1 | 1 |
| 1 | 1 | 1 | 1 | 0 | 0 |
1= Vero0= Falso
Sandbox interattivo
Calcolatrice di espressioni
Prova questi:
Cronologia
Ancora nessun calcolo
Esercizi pratici
18 eserciziSia : "Il cane ha fame" e : "Il cane è stanco". Quali simboli significano "Il cane ha fame ed è stanco"?
Perché è importante
- Negozi online e motori di ricerca: un filtro come "scarpe AND taglia 38 AND NOT rosse" combina tre condizioni
- Programmazione: condizioni come (connesso AND NOT bloccato) OR amministratore decidono che cosa fa un'app subito dopo
- Regole e cartelli: "I bambini sotto i 12 anni entrano gratis se sono accompagnati da un adulto" è rispettata o no a seconda di due fatti
- Argomentazioni e dibattiti: sapere esattamente quando OR e NOT sono veri ti aiuta a riconoscere frasi che sembrano simili ma dicono cose diverse
- Circuiti digitali: ogni chip è costruito con AND, OR e NOT, gli stessi operatori che usi qui
Applicazioni nel mondo reale
Filtri nei negozi online
Negozi e motori di ricerca combinano condizioni con AND, OR e NOT per decidere quali articoli vedi.
Esempio:
Il filtro (nero OR blu) AND NOT usato mostra solo articoli nuovi, in uno dei due colori.
Un filtro mostra una giacca se , dove : la giacca è blu, : è in saldo, : costa meno di 50 €. Una giacca è blu, è in saldo e costa 65 €.
Il filtro mostra questa giacca?
Passo 1: Scrivi l'espressione matematica
Con 1 e 0, AND funziona come una moltiplicazione. Scrivi l'ultimo passo come prodotto:
Regole di gioco nel codice
Videogiochi e app controllano condizioni composte molte volte al secondo per decidere che cosa succede dopo.
Esempio:
Una porta si apre se (chiave AND NOT allarme). Con la chiave e senza allarme: , quindi la porta si apre.
Una giocatrice sale di livello se , dove : il punteggio è almeno 100, : il tempo è scaduto, : ha una chiave bonus.
In quanti degli 8 casi sale di livello?
Passo 1: Scrivi l'espressione matematica
Scrivi il numero come i casi con vera meno i casi che non funzionano:
Regole e cartelli
Le regole su cartelli, biglietti e contratti sono proposizioni composte, e spesso conta sapere esattamente quando una regola NON è rispettata.
Esempio:
"Parcheggio gratuito la domenica o dopo le 20" vale una domenica a mezzogiorno, un lunedì alle 21 e anche una domenica alle 21.
Un cartello del museo dice: i bambini entrano gratis se hanno meno di 12 anni e vengono con un adulto. Sia : il bambino ha meno di 12 anni, : il bambino viene con un adulto.
In quanti dei 4 casi la regola dell'ingresso gratuito NON è rispettata?
Passo 1: Scrivi l'espressione matematica
Scrivi il numero come tutti i casi meno i casi in cui la regola è rispettata:
Punti chiave
- 1Una proposizione composta unisce proposizioni semplici con AND (), OR () e NOT ()
- 2*e* e *ma* si traducono con AND, *o* con OR, *non* e *non è vero che* con NOT
- 3AND è vero solo quando entrambe le parti sono vere; OR è falso solo quando entrambe le parti sono false
- 4Per trovare il valore di verità, dai 1 o 0 a ogni parte, calcola le parentesi e ogni NOT, poi combina
- 5Le parentesi decidono a che cosa si applica il NOT: non è la stessa cosa di
- 6Con 3 proposizioni semplici ci sono casi, e la negazione di una proposizione con AND è vera ogni volta che almeno una parte è falsa
Domande frequenti
Glossario
- Proposizione semplice
- Una singola frase che è vera oppure falsa, per esempio " è primo"
- Proposizione composta
- Una proposizione formata da proposizioni semplici con AND, OR e NOT, per esempio
- Valore di verità
- Se una proposizione è vera (1) o falsa (0)
- Congiunzione (AND / E)
- , vera solo quando entrambe le parti sono vere
- Disgiunzione (OR / O)
- , vera quando almeno una parte è vera
- Negazione (NOT / NON)
- , vera esattamente quando è falsa
Scheda formule
AND (congiunzione)
Vera (1) solo quando $P$ e $Q$ sono entrambe vere
OR (disgiunzione)
Falsa (0) solo quando $P$ e $Q$ sono entrambe false
NOT (negazione)
Inverte il valore: $\neg 1 = 0$ e $\neg 0 = 1$
Numero di casi
$n$ proposizioni semplici danno $2^n$ casi: 4 per due, 8 per tre