Predicati. Esempi. Predicati con pi√π variabili. Esempi. Quantificatori (per ogni; esiste). Esempi. Quantificatori e predicati con pi√π variabili.

Negazione di una proposizione contenente quantificatori. Esercizi.

Terminologia sugli insiemi (enumerazione; mediante predicati).

Simbolo di appartiene (‚àà) e di non appartiene (‚àâ). Esempi. Insiemi numerici: N, Z, Q, R (la retta reale). Sottoinsiemi. Uguaglianza di insiemi.

Gli intervalli limitati. Esempi e loro rappresentazione sulla retta reale.