Prima di parlare di insiemi serve un linguaggio per dire vero o falso. Le proposizioni, combinate con i connettivi logici e lette attraverso le tavole di verità, sono i mattoni di ogni dimostrazione. Vedremo le equivalenze fondamentali (fra cui le leggi di De Morgan), il modo di negare i quantificatori e il parallelo che rende la logica e l’algebra degli insiemi due facce dello stesso oggetto.