Este documento apresenta conceitos básicos de lógica, conjuntos e relações numéricas. Inclui definições de proposição, negação, conectivos lógicos como conjunção e disjunção e suas tabelas-verdade. Também aborda noções de tautologia, proposições logicamente falsas e condicionais.