Gli insiemi sono raccolte di oggetti ben definiti, mentre la logica fornisce le regole per ragionare correttamente su di essi. Insieme costituiscono il linguaggio di base di tutta la matematica.
La matematica ha bisogno di un linguaggio preciso che eviti ambiguità e permetta di costruire ragionamenti solidi su qualsiasi argomento. Per questo motivo, fin dalle prime lezioni del liceo, si introducono gli insiemi e la logica come strumenti fondamentali. Un insieme è una collezione di oggetti distinti, detti elementi, che soddisfano una proprietà chiara e oggettiva. La logica, invece, studia le proposizioni e i modi corretti per combinarle attraverso connettivi. Imparare a usare con padronanza questi due ambiti significa acquisire la chiave che apre la porta di tutte le altre branche della matematica.
Insiemi: rappresentazione e operazioni
Un insieme può essere descritto in due modi principali: per elencazione, scrivendo tra parentesi graffe i suoi elementi separati da virgole, oppure per caratteristica, indicando la proprietà che li accomuna. Ad esempio, l'insieme dei numeri naturali pari minori di 10 si scrive A = {0, 2, 4, 6, 8} per elencazione, oppure A = {x ∈ ℕ | x è pari e x < 10} per caratteristica. Le relazioni fondamentali sono l'appartenenza, indicata con il simbolo ∈, e l'inclusione, indicata con ⊆: un elemento appartiene a un insieme, mentre un insieme è contenuto in un altro. L'insieme vuoto, simbolo ∅, è quello privo di elementi ed è sottoinsieme di qualunque insieme. Tra due insiemi possiamo definire diverse operazioni: l'unione A ∪ B raccoglie tutti gli elementi che stanno in A o in B, l'intersezione A ∩ B raccoglie solo quelli comuni, la differenza A − B contiene gli elementi di A non presenti in B. Esiste poi il complementare, che in un universo U fissato è l'insieme degli elementi di U che non appartengono ad A.
Logica: proposizioni e connettivi
Una proposizione è una frase dichiarativa di cui si può dire con certezza se è vera o falsa, escluse quindi domande, esclamazioni o frasi soggettive. Frasi come "7 è un numero primo" o "Roma è in Francia" sono proposizioni; "che ore sono?" non lo è. Le proposizioni si combinano mediante i connettivi logici: la negazione ¬p inverte il valore di verità, la congiunzione p ∧ q è vera solo se entrambe sono vere, la disgiunzione p ∨ q è vera se almeno una è vera. L'implicazione p ⇒ q significa "se p allora q" ed è falsa solo quando p è vera e q è falsa, mentre la doppia implicazione p ⇔ q è vera quando p e q hanno lo stesso valore di verità. I quantificatori ∀ (per ogni) ed ∃ (esiste) permettono di formulare affermazioni generali; per esempio ∀x ∈ ℕ, x ≥ 0 è una proposizione vera. Esiste un legame profondo con gli insiemi: l'unione corrisponde al connettivo "o", l'intersezione al connettivo "e" e il complementare alla negazione, tanto che le leggi di De Morgan valgono in entrambi i contesti.
Ricorda
- Un insieme si rappresenta per elencazione o per caratteristica; le operazioni principali sono unione, intersezione, differenza e complementare, ciascuna con un suo simbolo specifico.
- Una proposizione è vera o falsa senza ambiguità; i connettivi ¬, ∧, ∨, ⇒, ⇔ permettono di costruire proposizioni complesse a partire da quelle semplici.
- Insiemi e logica sono collegati: ∪ corrisponde a ∨, ∩ corrisponde a ∧, il complementare corrisponde a ¬.
- Esercizio attivo sul quaderno: dati A = {1, 2, 3, 4, 5} e B = {3, 4, 5, 6, 7}, scrivi A ∪ B, A ∩ B e A − B, poi traduci in linguaggio logico la frase "x appartiene ad A e non a B" e verifica con un esempio numerico.