A lógica examina a estrutura dos argumentos válidos. Ela questiona: se as premissas são verdadeiras, a conclusão segue-se necessariamente? A lógica formal utiliza símbolos para representar enunciados e regras para retirar conclusões. Os silogismos de Aristóteles foram um sistema primitivo; a lógica moderna, desenvolvida por Frege, Russell e outros, fundamenta a matemática e a ciência da computação.

A lógica proposicional lida com afirmações verdadeiras ou falsas e conectivos como E, OU e NÃO. A lógica de predicados acrescenta quantificadores: "para todo" e "existe". Estes sistemas formalizam o raciocínio e revelam falácias.

A lógica é o fundamento da demonstração matemática. Todo o teorema se baseia na dedução lógica a partir de axiomas. Na computação, as portas lógicas implementam operações booleanas e as linguagens de programação utilizam condições lógicas. O assunto cruza-se também com a filosofia, a linguística e a inteligência artificial. O raciocínio lógico é útil muito para além da matemática.

• Estudo do raciocínio válido
• Utiliza símbolos e regras formais.
• Lógica proposicional e de predicados
• Fundamentos da prova e da computação