Esta unidade didáctica é a primeira da materia Linguaxe Matemática, Conxuntos e Números do primeiro curso do grao en Matemáticas. Nela introdúcense os principios básicos da lóxica matemática, sentando as bases da demostración formal e por tanto das matemáticas como ciencia.