Before talking about sets we need a language for saying true or false. Propositions, combined with the logical connectives and read through truth tables, are the building blocks of every proof. We shall see the fundamental equivalences (among them De Morgan’s laws), how to negate the quantifiers and the parallel that makes logic and the algebra of sets two faces of the same object.