Liceo · Matematica · 1° anno

Insiemi e logica

Simboli, appartenenza, inclusione, operazioni tra insiemi e traduzione di frasi in linguaggio logico.

Teoria essenzialeFormulario completo9 esercizi

Concetto al volo

Intuizione visiva · appartenenza, unione, intersezione

L’idea giusta è vedere gli insiemi come regioni e la logica come relazioni tra regioni.

Cosa deve comunicare: Comunicare che la logica di base si legge bene quando gli insiemi diventano spazi che si sovrappongono o si escludono.

Teoria essenziale

Pochi blocchi, ma con uno scopo didattico preciso.

Un insieme va letto come una collezione ben definita di oggetti. Prima si capisce quali elementi possono entrare, poi si fanno le operazioni.

In logica conviene separare bene implicazione, negazione e connettivi. Molti errori nascono da una lettura troppo verbale.

Formulario completo

Latex pulito, pronto da riconoscere e riusare.

Formule essenziali

Unione

A \cup B = {x ∣ x \in A \lor x \in B}

Intersezione

A \cap B = {x ∣ x \in A \land x \in B}

Differenza

A ∖ B = {x ∣ x \in A \land x \in / B}

Complementare

A^{c} = U ∖ A

Cardinalità dell'unione

∣ A \cup B ∣ = ∣ A ∣ + ∣ B ∣ - ∣ A \cap B ∣

Logica

De Morgan 1

\neg (P \land Q) \equiv \neg P \lor \neg Q

De Morgan 2

\neg (P \lor Q) \equiv \neg P \land \neg Q

9 esercizi a difficoltà crescente

Tre facili, tre medi, tre difficili.

Facili

F1facile

Con A={1,2,3,4} e B={3,4,5}, calcola A∪B, A∩B, A\B.

Idea guida: Lavora elemento per elemento.

F2facile

Nega correttamente la frase: x è pari e maggiore di 10.

Idea guida: Usa De Morgan.

F3facile

Scrivi per proprietà caratteristica l'insieme dei multipli di 3 compresi tra 1 e 20.

Idea guida: Trasforma la frase in una condizione su x.

Medi

M4medio

Mostra che {x∈R : x²=1}={-1,1}.

Idea guida: Usa doppia inclusione.

M5medio

Se |A|=12, |B|=9, |A∩B|=4, trova |A∪B|.

Idea guida: Usa la formula della cardinalità.

M6medio

Traduci e nega: “Ogni numero reale positivo ha radice quadrata reale”.

Idea guida: Lavora con quantificatori.

Difficili

D7difficile

Semplifica ¬[(P∨Q)∧(¬P∨R)].

Idea guida: Applica De Morgan con ordine.

D8difficile

In una classe 18 studenti fanno calcio, 11 nuoto, 5 entrambi. Quanti fanno almeno uno sport?

Idea guida: Usa l'unione.

D9difficile

Confronta una proposizione e la sua contronominale.

Idea guida: Sono logicamente equivalenti.

Formule da riconoscere al volo

Qui vanno le identità che devono diventare immediate.

$A \subseteq B non significa A \in B$
$\neg (x > 3) ⟺ x \leq 3$
$A = B si prova con doppia inclusione$

Pattern da interiorizzare

Scorciatoie mentali giuste, non trucchi vuoti.

Doppia inclusione

Per dimostrare che due insiemi coincidono, prova entrambe le inclusioni.

Conta senza doppioni

Nella cardinalità di unione l'intersezione si sottrae una volta.

Errori tipici

Gli errori ricorrenti sono parte del metodo.

Scrivere A∈B invece di A⊆B.

Perché: Appartenenza e inclusione sono concetti diversi.

Correzione operativa: Chiediti se stai parlando di un elemento o di un sottoinsieme.

Negare x>3 con x<3.

Perché: Manca il caso di uguaglianza.

Correzione operativa: La negazione di > è sempre ≤.

Roadmap di studio

Sequenza consigliata per studio rapido e verifiche.

Leggi la teoria essenziale senza saltare i pattern.

Riconosci a colpo d'occhio le formule che tornano spesso.

Esegui i 3 esercizi facili per fissare la struttura.

Passa ai medi per rendere operativo il metodo.

Chiudi con i difficili e controlla gli errori tipici.

PDF e CTA

Quando il PDF esiste, lo trovi qui.

PDF · Insiemi e logica

File: liceo-matematica-insiemi-e-logica.pdf
Stato: in preparazione

Vuoi fissare questo argomento davvero?

Fai gli esercizi in ordine, usa i pattern come checklist e poi passa agli errori tipici. È una pagina pensata per studio rapido e verifiche.

Prenota una lezione Scarica il PDF

Chiusura didattica

Prima traduci in simboli. Poi ragioni.