Gli insiemi e la logica sono il linguaggio di base con cui parla tutta la matematica: imparare a usarli bene significa imparare a ragionare con precisione, distinguendo ciò che è vero da ciò che è solo verosimile.
Quando entri al liceo, scopri che la matematica non è soltanto un insieme di regole di calcolo, ma soprattutto un modo rigoroso di pensare. Per costruire questo pensiero servono due strumenti potentissimi: gli insiemi, che permettono di raggruppare oggetti secondo proprietà comuni, e la logica, che permette di collegare affermazioni in modo corretto. Insieme, questi due strumenti formano l'alfabeto con cui scriveremo dimostrazioni, definizioni e teoremi in tutti gli anni successivi. Padroneggiarli adesso ti darà una marcia in più in algebra, geometria e analisi.
Che cos'è un insieme e come si rappresenta
Un insieme è una collezione di oggetti chiamati elementi, considerata come un'entità unica e ben definita. Perché una collezione sia un insieme in senso matematico, deve essere possibile stabilire senza ambiguità se un dato oggetto le appartiene oppure no. Per esempio, la collezione dei numeri naturali minori di 10 è un insieme, mentre la collezione delle persone alte è ambigua e quindi non lo è. Usiamo le lettere maiuscole per i nomi degli insiemi e le minuscole per gli elementi: scriviamo allora cose come A = {2, 4, 6, 8}, dove le parentesi graffe racchiudono gli elementi.
Esistono tre modi principali per descrivere un insieme. Il primo è la rappresentazione per elencazione, in cui si scrivono tutti gli elementi tra graffe, come B = {lunedì, martedì, mercoledì, giovedì, venerdì}. Il secondo è la rappresentazione per caratteristica, in cui si indica la proprietà che individua gli elementi, ad esempio C = {x | x è un giorno feriale}. Il terzo è la rappresentazione grafica con i diagrammi di Eulero-Venn, cioè curve chiuse che racchiudono i punti corrispondenti agli elementi e che si rivelano utilissime per visualizzare le relazioni tra più insiemi.
Appartenenza, sottoinsiemi e insieme vuoto
La relazione fondamentale tra un elemento e un insieme è quella di appartenenza, indicata con il simbolo ∈: scrivere 3 ∈ N significa che 3 è un elemento dei numeri naturali. Se invece l'elemento non sta nell'insieme, usiamo il simbolo ∉, come in 0,5 ∉ N. Tra due insiemi invece si parla di inclusione: diciamo che A è sottoinsieme di B, e scriviamo A ⊆ B, quando ogni elemento di A è anche elemento di B. Per esempio, se A è l'insieme degli scolari della tua classe e B quello degli studenti del tuo liceo, allora A è chiaramente contenuto in B.
Distinguiamo poi il sottoinsieme proprio, indicato con A ⊂ B, che vale quando A è incluso in B ma diverso da B, dal sottoinsieme improprio, che coincide con l'insieme stesso o con l'insieme vuoto. L'insieme vuoto, indicato con ∅ oppure con { }, è l'insieme privo di elementi: pensa all'insieme dei tuoi compagni di classe più alti di tre metri. Per convenzione, l'insieme vuoto è sottoinsieme di qualsiasi insieme, una proprietà che torna utile in molte dimostrazioni. Attenzione a non confondere ∅ con {∅}: il secondo contiene un elemento, cioè l'insieme vuoto stesso.
Operazioni tra insiemi
Come con i numeri facciamo somme e prodotti, anche con gli insiemi possiamo eseguire operazioni che ne producono di nuovi. L'unione A ∪ B è l'insieme degli elementi che appartengono ad A oppure a B (o a entrambi); l'intersezione A ∩ B raccoglie gli elementi che appartengono contemporaneamente ad A e a B. Se A ∩ B = ∅ gli insiemi si dicono disgiunti, cioè non hanno nulla in comune. Per esempio, se A = {gatto, cane, canarino} e B = {cane, criceto, tartaruga}, allora A ∪ B = {gatto, cane, canarino, criceto, tartaruga} e A ∩ B = {cane}.
Due ulteriori operazioni completano il quadro. La differenza A \ B contiene gli elementi che stanno in A ma non in B: nell'esempio precedente A \ B = {gatto, canarino}. Quando lavoriamo dentro un insieme universo U fissato, possiamo definire il complementare di A, indicato A̅ o ∁A, formato da tutti gli elementi di U che non appartengono ad A. Infine, il prodotto cartesiano A × B è l'insieme di tutte le coppie ordinate (a, b) con a in A e b in B, ed è la base per costruire il piano cartesiano, in cui ogni punto è una coppia di coordinate.
Proposizioni, connettivi e tavole di verità
Passiamo ora alla logica, che studia il modo in cui collegare affermazioni. Una proposizione è una frase di senso compiuto a cui si può attribuire in modo univoco il valore di verità V (vero) o F (falso): "Roma è la capitale d'Italia" è una proposizione vera, "3 è maggiore di 7" è una proposizione falsa, mentre "Che bello!" non è una proposizione perché non si può giudicare vera o falsa. Dalle proposizioni semplici, indicate con lettere come p, q, r, costruiamo proposizioni composte usando i connettivi logici. I principali sono cinque e ciascuno ha un significato preciso che possiamo riassumere in una tavola di verità.
Ecco i connettivi fondamentali, ognuno spiegato con un esempio:
- La negazione ¬p ("non p") è vera quando p è falsa e viceversa: se p = "oggi piove", allora ¬p = "oggi non piove".
- La congiunzione p ∧ q ("p e q") è vera solo quando entrambe sono vere: "studio matematica e mangio una mela" è vera solo se faccio tutte e due le cose.
- La disgiunzione p ∨ q ("p oppure q") è vera quando almeno una è vera, intesa in senso inclusivo: "vado al cinema o resto a casa" è vera anche se faccio entrambe le cose in momenti diversi.
- L'implicazione p → q ("se p allora q") è falsa solo nel caso in cui p è vera e q è falsa: "se prendo 10 in verifica, allora festeggio" è bugia solo se prendo 10 ma non festeggio.
- La doppia implicazione p ↔ q ("p se e solo se q") è vera quando p e q hanno lo stesso valore di verità, cioè sono entrambe vere o entrambe false.
Quantificatori e legame con gli insiemi
La logica diventa ancora più potente quando entra in gioco la nozione di proprietà che può variare al variare di un elemento, detta predicato. Il predicato P(x) = "x è pari" non è di per sé né vero né falso, ma lo diventa appena fissiamo l'elemento: P(4) è vera, P(7) è falsa. Per parlare di tutti gli elementi o di almeno uno usiamo i quantificatori: il quantificatore universale ∀ si legge "per ogni" e il quantificatore esistenziale ∃ si legge "esiste almeno un". Per esempio, ∀x ∈ N: x ≥ 0 dice che ogni numero naturale è non negativo, mentre ∃x ∈ N: x > 100 afferma che esiste almeno un numero naturale maggiore di 100.
Il legame tra insiemi e logica è strettissimo, perché ogni operazione insiemistica corrisponde a un connettivo. L'unione corrisponde al "o" logico, l'intersezione al "e", il complementare alla negazione: questo parallelismo non è una coincidenza, ma riflette la stessa struttura profonda. Sono inoltre fondamentali le leggi di De Morgan, che valgono sia per gli insiemi sia per la logica: la negazione di una congiunzione equivale alla disgiunzione delle negazioni, e viceversa. In simboli ¬(p ∧ q) ↔ (¬p ∨ ¬q) e ¬(p ∨ q) ↔ (¬p ∧ ¬q), regole che useremo costantemente per trasformare espressioni complesse in altre più semplici.
Ricorda
I punti chiave da fissare bene in mente sono i seguenti:
- Un insieme è una collezione ben definita di elementi, rappresentabile per elencazione, per caratteristica o con i diagrammi di Eulero-Venn.
- I simboli ∈ e ∉ riguardano gli elementi, mentre ⊆ e ⊂ riguardano i sottoinsiemi: non vanno mai confusi.
- Le operazioni fondamentali sono unione, intersezione, differenza, complementare e prodotto cartesiano, ciascuna con un significato preciso.
- Una proposizione ha sempre un valore di verità univoco, e i connettivi ¬, ∧, ∨, →, ↔ permettono di combinare proposizioni.
- I quantificatori ∀ ed ∃ traducono in linguaggio formale le espressioni "per ogni" ed "esiste", indispensabili per scrivere definizioni e teoremi.
Piccolo esercizio di verifica da svolgere sul quaderno: considera gli insiemi A = {1, 2, 3, 4, 5} e B = {2, 4, 6, 8}, con universo U = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10}. Calcola A ∪ B, A ∩ B, A \ B, B \ A e il complementare di A in U. Poi traduci con i quantificatori la frase "esiste almeno un elemento di A che non appartiene a B" e verifica se è vera o falsa. Infine, scrivi la negazione della proposizione "tutti gli studenti hanno il libro di matematica" usando correttamente le regole sulla negazione dei quantificatori.