Gli insiemi e la logica sono il vocabolario fondamentale della matematica: imparare a usarli con precisione significa imparare a pensare in modo chiaro, ordinato e dimostrabile.
Introduzione: perché studiare insiemi e logica
Quando entriamo in una pizzeria e ordiniamo "una pizza con i funghi oppure con le olive", stiamo già usando la logica, anche se non ce ne accorgiamo. La matematica ha bisogno di un linguaggio molto più preciso di quello quotidiano, perché una parola ambigua può cambiare completamente il significato di un teorema. Per questo motivo, alla fine dell'Ottocento, il matematico Georg Cantor introdusse una teoria sistematica degli insiemi, che oggi è considerata il fondamento di quasi tutta la matematica moderna. Imparare insiemi e logica significa imparare a distinguere ciò che è vero da ciò che sembra vero, ciò che è dimostrato da ciò che è solo plausibile. Questi strumenti ti accompagneranno per tutto il liceo, dalle equazioni alla geometria analitica, dalla probabilità all'analisi. Vedrai che, una volta acquisito questo linguaggio, anche i problemi più complessi diventeranno più trasparenti e maneggevoli.
Il concetto di insieme
Un insieme è una collezione di oggetti, detti elementi, che possono essere riconosciuti senza ambiguità come appartenenti o non appartenenti alla collezione stessa. Per esempio, l'insieme degli alunni di una classe è perfettamente definito: dato uno studente della scuola, possiamo dire con certezza se fa parte di quella classe oppure no. Al contrario, "l'insieme delle persone alte" non è un insieme matematico, perché "alto" è un aggettivo soggettivo e non permette una decisione netta. Gli insiemi si indicano con lettere maiuscole, come A, B, C, mentre gli elementi si indicano con lettere minuscole, come a, b, c. Per dire che un elemento appartiene a un insieme usiamo il simbolo ∈, mentre per la non appartenenza usiamo ∉; ad esempio, se A è l'insieme dei giorni feriali, allora lunedì ∈ A e domenica ∉ A. Un insieme può essere descritto in due modi principali: per elencazione, scrivendo tra parentesi graffe tutti gli elementi, oppure per caratteristica, indicando la proprietà che li distingue.
Rappresentare gli insiemi: elencazione, caratteristica e diagrammi di Eulero-Venn
La rappresentazione per elencazione consiste nell'elencare gli elementi separati da una virgola, come in B = {2, 4, 6, 8}, ed è comoda quando l'insieme contiene pochi elementi. Quando invece gli elementi sono molti o infiniti, conviene usare la rappresentazione per caratteristica, scrivendo ad esempio C = {x ∈ ℕ | x è pari e x ≤ 10}, che si legge "l'insieme degli x appartenenti ai naturali tali che x è pari e minore o uguale a dieci". La barra verticale, talvolta sostituita dai due punti, significa "tale che" ed è una delle abbreviazioni più utili del linguaggio matematico. Esiste poi una rappresentazione grafica molto intuitiva, chiamata diagramma di Eulero-Venn, in cui ogni insieme è disegnato come una regione chiusa del piano, e gli elementi sono indicati con dei punti all'interno. Per esempio, se vogliamo rappresentare l'insieme degli sport praticati dalla classe, possiamo disegnare un cerchio e collocare al suo interno calcio, pallavolo, basket e nuoto. I diagrammi sono particolarmente preziosi quando dobbiamo confrontare più insiemi e visualizzare relazioni come l'inclusione, l'unione o l'intersezione.
Sottoinsiemi, insieme vuoto e uguaglianza
Dati due insiemi A e B, diciamo che A è un sottoinsieme di B, e scriviamo A ⊆ B, se ogni elemento di A appartiene anche a B; se inoltre B contiene almeno un elemento in più, parliamo di sottoinsieme proprio e usiamo il simbolo ⊂. Per esempio, l'insieme degli alunni di prima A che giocano a scacchi è un sottoinsieme dell'intera classe, perché ogni scacchista della classe è comunque un alunno della classe. Un caso particolare è l'insieme vuoto, indicato con ∅ oppure con { }, che non contiene alcun elemento ed è considerato sottoinsieme di qualunque insieme. Due insiemi A e B si dicono uguali se contengono esattamente gli stessi elementi, indipendentemente dall'ordine o dalle ripetizioni: per esempio {1, 2, 3} e {3, 2, 1, 2} rappresentano lo stesso insieme. Definiamo poi l'insieme delle parti di A, indicato con P(A), come l'insieme di tutti i possibili sottoinsiemi di A, compresi A stesso e l'insieme vuoto. Se A = {a, b}, allora P(A) = {∅, {a}, {b}, {a, b}}, e in generale, se A ha n elementi, P(A) ne ha 2 elevato alla n.
Operazioni tra insiemi: unione, intersezione, differenza e complementare
Le operazioni tra insiemi permettono di costruire nuovi insiemi a partire da quelli dati, in modo del tutto analogo a come le operazioni aritmetiche costruiscono nuovi numeri. L'unione di A e B, indicata con A ∪ B, è l'insieme degli elementi che appartengono ad almeno uno dei due, ovvero ad A oppure a B (oppure a entrambi). L'intersezione di A e B, indicata con A ∩ B, contiene invece gli elementi che appartengono contemporaneamente sia ad A sia a B; se non ce ne sono, i due insiemi si dicono disgiunti. La differenza A − B, detta anche complementare relativo, è formata dagli elementi di A che non appartengono a B; se ad esempio A è l'insieme dei libri della biblioteca di classe e B quello dei libri presi in prestito, allora A − B rappresenta i libri ancora disponibili sugli scaffali. Quando si lavora dentro un insieme universo U, si può definire il complementare di A, indicato con A̅ oppure con C(A), come U − A, cioè l'insieme di tutti gli elementi dell'universo che non stanno in A. Esiste infine il prodotto cartesiano A × B, formato da tutte le coppie ordinate (a, b) con a in A e b in B: se A = {rosso, blu} e B = {1, 2, 3}, allora A × B contiene sei coppie, dalle magliette rosse numero 1 fino a quelle blu numero 3.
Le proposizioni logiche e i connettivi
Una proposizione, in logica matematica, è una frase dichiarativa di cui si può dire con certezza se è vera oppure falsa, ma non entrambe le cose. La frase "7 è un numero primo" è una proposizione vera, mentre "Roma è la capitale della Francia" è una proposizione falsa; al contrario, "che ore sono?" o "buona giornata!" non sono proposizioni, perché non hanno un valore di verità. Le proposizioni possono essere combinate tra loro mediante i connettivi logici, che funzionano in modo analogo alle operazioni tra insiemi. La negazione, indicata con ¬p o con una linea sopra p, inverte il valore di verità: se p è vera, ¬p è falsa, e viceversa. La congiunzione p ∧ q, che si legge "p e q", è vera solo quando entrambe le proposizioni sono vere, esattamente come uno studente promosso deve aver superato sia lo scritto sia l'orale. La disgiunzione p ∨ q, che si legge "p o q", è invece vera quando almeno una delle due proposizioni è vera, come accade quando entriamo al cinema con un biglietto ridotto se siamo studenti oppure over 65.
Implicazione, doppia implicazione e tavole di verità
L'implicazione p ⇒ q, che si legge "se p allora q", esprime una relazione di conseguenza tra due proposizioni: p è detta ipotesi o premessa, mentre q è la tesi o conclusione. Questa implicazione è considerata falsa solo in un caso, cioè quando l'ipotesi è vera ma la conclusione è falsa; in tutti gli altri casi, compreso quello in cui l'ipotesi è falsa, l'implicazione è ritenuta vera per convenzione. Per esempio, l'affermazione "se piove, allora prendo l'ombrello" risulta smentita soltanto nel giorno in cui piove ma esco senza ombrello. La doppia implicazione p ⇔ q, che si legge "p se e solo se q", è vera quando p e q hanno lo stesso valore di verità, cioè sono entrambe vere oppure entrambe false. Per studiare sistematicamente i connettivi si usano le tavole di verità, tabelle in cui si elencano tutte le combinazioni possibili dei valori di verità delle proposizioni di partenza e si calcola il risultato delle operazioni logiche. Le tavole permettono di riconoscere le tautologie, proposizioni sempre vere come p ∨ ¬p, e le contraddizioni, proposizioni sempre false come p ∧ ¬p.
Quantificatori e legame con gli insiemi
Quando vogliamo parlare di proprietà che riguardano molti elementi di un insieme, abbiamo bisogno dei quantificatori, che traducono in simboli le espressioni "per ogni" e "esiste almeno uno". Il quantificatore universale ∀ si legge "per ogni" e indica che una certa proprietà vale per tutti gli elementi considerati; il quantificatore esistenziale ∃ si legge "esiste" e indica che almeno un elemento soddisfa la proprietà. Per esempio, la frase "∀ x ∈ ℕ, x + 0 = x" afferma che ogni numero naturale sommato a zero dà se stesso, mentre la frase "∃ x ∈ ℕ tale che x² = 9" afferma che esiste un naturale il cui quadrato è nove, ed è chiaramente vera perché x = 3 funziona. Negare una frase con quantificatori richiede un'attenzione particolare, perché la negazione di "per ogni" diventa "esiste almeno uno per cui non", e viceversa. La logica e gli insiemi si intrecciano profondamente: ad esempio, dire che A ⊆ B equivale ad affermare ∀ x (x ∈ A ⇒ x ∈ B), e l'intersezione A ∩ B corrisponde alla congiunzione delle due proprietà di appartenenza. Riconoscere questi legami ti aiuterà a scrivere dimostrazioni più rigorose e a capire perché certe regole matematiche funzionano nel modo in cui funzionano.
Ricorda
I punti chiave di questo argomento sono i seguenti, e ti consiglio di rileggerli prima di affrontare gli esercizi:
- Un insieme è una collezione ben definita di elementi, descrivibile per elencazione o per caratteristica.
- I simboli fondamentali sono ∈, ∉, ⊆, ⊂, ∅ e si usano per esprimere appartenenza e inclusione.
- Le operazioni principali tra insiemi sono unione (∪), intersezione (∩), differenza (−) e complementare.
- Una proposizione è una frase di cui si può dire con certezza se è vera o falsa.
- I connettivi logici sono negazione (¬), congiunzione (∧), disgiunzione (∨), implicazione (⇒) e doppia implicazione (⇔).
- I quantificatori ∀ ed ∃ permettono di esprimere proprietà universali ed esistenziali, e si negano scambiandosi tra loro.
Piccolo esercizio di verifica da svolgere sul quaderno: considera l'universo U = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10}, l'insieme A dei numeri pari di U e l'insieme B dei multipli di 3 in U. Determina A ∪ B, A ∩ B, A − B e il complementare di A in U, rappresentandoli sia per elencazione sia con un diagramma di Eulero-Venn. Poi scrivi in linguaggio logico la frase "ogni multiplo di 6 in U appartiene sia ad A sia a B" usando il quantificatore universale e l'implicazione, e verifica che sia vera elencando i multipli di 6 presenti in U.