Derivação de substituibilidades não elementares na álgebra das proposições - II. 

Tautologias, contradições e fórmulas contingentes.

O Problema da Decisão: métodos semântico e sintáctico de o resolver. 

Inferência Proposicional: implicações tautológicas como paradigmas da inferência proposicional.