Lógica proposicional

Variáveis proposicionais e conectivas

Funções de verdade

Formalização

Avaliar argumentos

Formas de inferência válidas 

Formas de inferência inválidas- falácias formais