Ementa/Descrição: |
Introdução à Lógica: contextualização, proposições, valores-verdade, formalização, conectivos. Tabela-verdade. Equivalências e implicações lógicas. Álgebra das proposições, argumentos, sentenças abertas, operações lógicas sobre sentenças abertas e quantificadores. Análise combinatória. Funções e equações. |