Introdução à lógica

O curso de lógica será dividido em duas partes: (i) lógica proposicional e (ii) lógica de predicados.

Exploraremos apenas a lógica clássica, fazendo apenas alguns comentários sobre lógicas alternativas (a serem exploradas em outros cursos).

O curso é recomendado para nível introdutório de cursos como filosofia, matemática e computação. Apesar disso, pode ser usado por todos que tiverem interesse. O curso não tem pre-requisitos além de conhecimentos básicos do ensino médio.