Formas de Inferência válidas - lógica proposicional

Variáveis proposicionais e conectivas proposicionais

Funções de verdade

Avaliação de formas proposicionais - tautologias, contradições e contingências

Formalização em lógica proposicional

Avaliar argumentos

Formas de inferência válidas

Formas de inferência inválidas