Objetivos

Geral: Apresentar algumas ferramentas da lógica matemática de modo que os alunos apliquem estas nas disciplinas posteriores e no seu cotidiano.

Específicos:
• Construir o raciocínio lógico com o objetivo de pensar correto e assim obter a verdade.
• Provar proposições compostas, fazendo uso da tabela-verdade;
• Promover a demonstração para verificação do valor lógico da proposição, se é verdadeira ou falsa;
• Descrever a equivalência lógica de duas proposições;
• Usar proposições logicamente verdadeiras, falsas e verdadeiras e falsas, bem como hierarquizar as operação dos conectivos;
• Usar as leis da Álgebra Proposicional com o objetivo de aprendizagem;
• Consolidar o estudo da argumentação e das regras de inferência;