Introdução à Lógica moderna. Cálculo sentencial: estudo semântico ( tábuas de verdade e tautologias ) e sintático ( dedução natural, formas normais e método axiomático ) do cálculo sentencial. Cálculo dos predicados: estudo semântico ( interpretações, modelos e validade ) e sintático ( dedução natural, método axiomático ) do cálculo dos predicados.