Apresenta proposições, validade, conectivos, quantificadores, identidade e relações de consequência. Exercícios de simbolização mostram como a forma lógica pode revelar ou corrigir ambiguidades da linguagem comum.