Desenvolve proposições, conectivos, tabelas-verdade, quantificadores e implicação. O estudante identifica negações corretas, argumentos válidos e erros de raciocínio.
