Benvenuto nel mondo degli insiemi
L'insiemistica (o teoria degli insiemi) è il linguaggio di base di tutta la matematica moderna. Studia gli insiemi — collezioni di oggetti — e le operazioni che permettono di combinarli. È strettamente legata alla logica: ogni operazione tra insiemi corrisponde a un'operazione logica tra proposizioni. Imparare gli insiemi significa imparare a ragionare con precisione.
Un po' di storia
La teoria degli insiemi è una disciplina relativamente giovane: nasce nell'Ottocento dall'incontro tra la logica e lo studio dell'infinito. Ecco i protagonisti principali.
Leonhard Euler
Il grande matematico svizzero usa dei cerchi — i «cerchi di Eulero» — per rappresentare graficamente i ragionamenti logici (i sillogismi). Sono gli antenati dei diagrammi che useremo.
George Boole & Augustus De Morgan
Boole crea l'algebra della logica: le proposizioni vere/false si combinano come in un calcolo. De Morgan formula le celebri leggi di De Morgan, ponte tra logica e insiemi.
Georg Cantor
È il fondatore della teoria degli insiemi. Studiando gli insiemi infiniti scopre che esistono infiniti «più grandi» di altri e introduce l'idea di cardinalità.
John Venn
Il logico inglese perfeziona i diagrammi che oggi portano il suo nome: i diagrammi di Venn, che useremo per «vedere» unione, intersezione e complementare.
Giuseppe Peano
Il matematico italiano introduce molti dei simboli che usiamo ancora oggi, come ∈ (appartiene), ∪ e ∩, dando alla matematica un linguaggio rigoroso.
Bertrand Russell
Scopre un famoso paradosso che mette in crisi la teoria «ingenua» degli insiemi, spingendo i matematici a costruirla su basi rigorose (gli assiomi).
Insiemi e logica: due facce della stessa medaglia
Il filo conduttore di tutto il percorso è questo: ogni operazione tra insiemi corrisponde a un connettivo logico. Tienilo a mente in ogni argomento.
| Insiemi | Logica | Si legge |
|---|---|---|
| A ∪ B | P OR Q | almeno uno vero |
| A ∩ B | P AND Q | entrambi veri |
| Ac | NOT P | la negazione |
| A ⊆ B | P ⇒ Q | implica |
| A = B | P ⇔ Q | se e solo se |
Come useremo quest'app
Ogni argomento (le schede in alto) è diviso in quattro sotto-schede:
- 📚 Teoria — le definizioni e le regole, con esempi concreti.
- 🎮 Simulazione — trascina gli elementi e «vedi» le operazioni con i diagrammi.
- ✏️ Esercizi graduati — tre esercizi a difficoltà crescente: scrivi la risposta, usa il suggerimento e controlla la soluzione guidata.
- 🎯 Quiz — 10 domande per verificare quanto hai capito.
Alla fine ti aspetta il 🏆 Quiz Riepilogativo con 15 domande su tutti gli argomenti. Buono studio!
Teoria — Cosa sono gli insiemi?
Un insieme è una collezione ben definita di oggetti distinti, chiamati elementi. «Ben definita» significa che dato qualsiasi oggetto si può sempre stabilire con certezza se appartiene o no all'insieme.
Esistono tre modi per descrivere un insieme:
- Per elencazione — si scrivono tutti gli elementi tra graffe: A = {2, 4, 6}
- Per proprietà — si descrive la caratteristica: A = {x ∈ ℕ | x pari, x < 10}
- Diagramma di Venn — rappresentazione grafica con cerchi nel piano
Simboli fondamentali:
| Simbolo | Significato | Esempio |
|---|---|---|
| x ∈ A | x appartiene ad A | 3 ∈ {1,2,3} |
| x ∉ A | x non appartiene ad A | 5 ∉ {1,2,3} |
| |A| | cardinalità (n. di elementi) | |{a,b,c}| = 3 |
| ∅ oppure {} | insieme vuoto | zero elementi |
| A ⊆ B | A è sottoinsieme di B | {1,2} ⊆ {1,2,3} |
| A = B | stessi elementi | {1,2} = {2,1} |
Esempi concreti
Tutti gli studenti della 3ª A formano un insieme.
Marco ∈ Classe3A
Gli studenti con gli occhiali formano un sottoinsieme.
Numeri pari tra 1 e 10:
={2,4,6,8,10}
I triangoli con 4 lati: impossibile!
Simulazione — Classifica gli elementi
Universo: U = {1,2,3,4,5,6,7,8} | A = {1,2,3,4} | B = {3,4,5,6}
Trascina ogni numero nel riquadro corretto ↓
Esercizi graduati
Risolvi i tre esercizi a difficoltà crescente. Scrivi la risposta e premi Verifica; se sei in difficoltà usa il 💡 Suggerimento e poi la 📖 Soluzione guidata.
Quiz — 10 domande sugli insiemi
Teoria — Unione e Intersezione
Dati due insiemi A e B, definiamo due operazioni fondamentali:
L'unione contiene tutti gli elementi di A, di B, o di entrambi. Gli elementi comuni si scrivono una sola volta.
L'intersezione contiene solo gli elementi che stanno contemporaneamente in A e in B.
| Proprietà | Unione | Intersezione |
|---|---|---|
| Elemento neutro | A ∪ ∅ = A | A ∩ U = A |
| Idempotenza | A ∪ A = A | A ∩ A = A |
| Commutatività | A ∪ B = B ∪ A | A ∩ B = B ∩ A |
| Formula card. | |A ∪ B| = |A| + |B| − |A ∩ B| | |
A ∪ B ⇐⇒ P OR Q: almeno uno vero.
A ∩ B ⇐⇒ P AND Q: entrambi veri.
Esempi concreti
A={1,2,3}, B={3,4,5}
Il 3 si scrive una sola volta.
A={1,2,3}, B={3,4,5}
A={1,2}, B={3,4}: nessun elemento comune.
|A|=4, |B|=5, |A∩B|=2:
Simulazione — Unione e Intersezione
A = {1,2,3,4} | B = {3,4,5,6}
Esercizio 1: Trascina gli elementi di A ∪ B
Esercizio 2: Trascina gli elementi di A ∩ B
Esercizi graduati
Risolvi i tre esercizi a difficoltà crescente. Scrivi la risposta e premi Verifica; se sei in difficoltà usa il 💡 Suggerimento e poi la 📖 Soluzione guidata.
Quiz — 10 domande su unione e intersezione
Teoria — Complementare e Differenza
Oltre a unire o intersecare, possiamo anche «togliere» elementi:
Il complementare contiene tutti gli elementi dell'universo U che non appartengono ad A. Dipende sempre da U!
A∖B contiene gli elementi di A che non stanno in B. Equivale a A ∩ Bc.
| Proprietà | Valore |
|---|---|
| A ∪ Ac | = U |
| A ∩ Ac | = ∅ |
| (Ac)c | = A |
| A ∖ B | = A ∩ Bc |
(A ∪ B)c = Ac ∩ Bc
(A ∩ B)c = Ac ∪ Bc
Ac ⇐⇒ NOT P | A∖B ⇐⇒ P AND (NOT Q)
De Morgan: ¬(P∨Q) = ¬P ∧ ¬Q
Esempi concreti
U={1..6}, A={1,3,5}
Stesso A={1,3,5} ma U={1..10}
Il complementare cambia con U!
A={1,2,3,4}, B={3,4,5,6}
B∖A={5,6}
A={1,2,3}, B={2,3,4}, U={1..5}
Ac∩Bc={4,5}∩{1,5}={5}✓
Simulazione — Complementare e Differenza
U={1,2,3,4,5,6,7,8} | A={1,2,3,4} | B={3,4,5,6}
Esercizio 1: Trascina gli elementi di Ac (rispetto a U)
Esercizio 2: Trascina gli elementi di A ∖ B
Esercizi graduati
Risolvi i tre esercizi a difficoltà crescente. Scrivi la risposta e premi Verifica; se sei in difficoltà usa il 💡 Suggerimento e poi la 📖 Soluzione guidata.
Quiz — 10 domande su complementare e differenza
Teoria — Prodotto Cartesiano
Il prodotto cartesiano A×B è l'insieme di tutte le coppie ordinate (a, b) dove a∈A e b∈B.
È fondamentale che le coppie siano ordinate: (1,2) ≠ (2,1). L'ordine conta sempre!
| Proprietà | Risultato |
|---|---|
| A×B = B×A ? | No, in generale A×B ≠ B×A |
| A × ∅ | = ∅ |
| A × (B∪C) | = (A×B) ∪ (A×C) |
| A × (B∩C) | = (A×B) ∩ (A×C) |
Esempi concreti
A={1,2}, B={a,b}
|A×B|=2⋅2=4
B×A ha coppie diverse:
M={bianca,nera}, P={jeans,chino}
Ogni punto del piano è una coppia (x,y):
Simulazione — Costruisci A × B
Dati A = {1, 2, 3} e B = {x, y}, clicca le celle che appartengono ad A × B (tutte le coppie possibili). Poi premi Verifica.
Esercizi graduati
Risolvi i tre esercizi a difficoltà crescente. Scrivi la risposta e premi Verifica; se sei in difficoltà usa il 💡 Suggerimento e poi la 📖 Soluzione guidata.
Quiz — 10 domande sul prodotto cartesiano
Teoria — La logica delle proposizioni
Una proposizione è un enunciato di cui si può dire con certezza se è VERO (V) o FALSO (F). Esempi: «7 è un numero primo» (V), «Roma è in Francia» (F). Non sono proposizioni le domande o gli ordini.
Le proposizioni si combinano con i connettivi logici, esattamente come gli insiemi si combinano con le operazioni:
| Connettivo | Simbolo | Si legge | Vera quando… |
|---|---|---|---|
| Negazione | ¬P | NOT / non P | P è falsa |
| Congiunzione | P ∧ Q | AND / P e Q | entrambe vere |
| Disgiunzione | P ∨ Q | OR / P o Q | almeno una vera |
| Implicazione | P ⇒ Q | P implica Q | falsa solo se P vera e Q falsa |
| Doppia impl. | P ⇔ Q | P se e solo se Q | P e Q hanno lo stesso valore |
La tavola di verità
La tavola di verità elenca tutti i casi possibili e il risultato di ogni connettivo:
| P | Q | ¬P | P ∧ Q | P ∨ Q | P ⇒ Q | P ⇔ Q |
|---|---|---|---|---|---|---|
| V | V | F | V | V | V | V |
| V | F | F | F | V | F | F |
| F | V | V | F | V | V | F |
| F | F | V | F | F | V | V |
Il ponte con gli insiemi
Ogni connettivo logico corrisponde a un'operazione insiemistica: è lo stesso ragionamento, visto da due punti di vista.
| Logica | Insiemi |
|---|---|
| P ∧ Q (AND) | A ∩ B (intersezione) |
| P ∨ Q (OR) | A ∪ B (unione) |
| ¬P (NOT) | Ac (complementare) |
| P ⇒ Q | A ⊆ B (sottoinsieme) |
| P ⇔ Q | A = B (uguaglianza) |
¬(P ∧ Q) = ¬P ∨ ¬Q
¬(P ∨ Q) = ¬P ∧ ¬Q
Sono le stesse leggi che valgono per il complementare di unione e intersezione!
Una proposizione sempre vera si chiama tautologia (es. P ∨ ¬P), una sempre falsa contraddizione (es. P ∧ ¬P).
Esempi concreti
«Piove» (V) e «ho l'ombrello» (F).
«Pago in contanti» (F) o «con carta» (V).
«Se studio (V) allora passo (F)»: promessa non mantenuta.
«Non è vero che 5 > 10».
Simulazione — La macchina della verità
Imposta i valori di verità di P e Q cliccando i pulsanti, e osserva come cambia il risultato di ogni connettivo. Prova tutte e quattro le combinazioni!
Esercizi graduati
Risolvi i tre esercizi a difficoltà crescente. Rispondi con V o F e premi Verifica; usa il 💡 Suggerimento e la 📖 Soluzione guidata se serve.
Quiz — 10 domande sulla logica
Quiz Riepilogativo — 15 domande su tutti gli argomenti
Metti alla prova tutto ciò che hai imparato! 15 domande miste — teoriche e pratiche — sui cinque argomenti.