Quantificatori esistenziale e universale. Controllo di verità e falsità di affermazioni contenenti tali quantificatori. Confronto in diversi universi. Operazioni di unione intersezione, differenza insiemistica , complementare. Loro proprietà con commenti. Esercizi.