MATEMÁTICA
LÓGICA MATEMÁTICA
Ementa
Noções de lógica matemática. Definição das proposições e seus tipos. Estudo das operações lógicas, dos conectivos. Tabela-verdade. Tautologias. Contradições. Contingências. Implicação. Equivalência. Álgebra das proposições. Redução dos números conectivos. Formas normais. Princípio da dualidade. Definição dos argumentos válidos. Regras de inferência. Técnicas de validação. Definição de sentenças abertas e operações lógicas. Quantificadores e quantificação de sentenças abertas.OBJETIVO: Esta disciplina visa habilitar os alunos de exatas e áreas correlatas a desenvolver raciocínio logico matemático, adquirindo uma formação dedutiva e intuitiva para efetuar estudos e pesquisas nessas áreas.
CONTEÚDO PROGRAMÁTICO:
UNIDADE I – FUNDAMENTOS DA LÓGICA E PROPOSIÇÕES
- NOÇÕES DE LÓGICA MATEMÁTICA
- TIPOS DE PROPOSIÇÕES LÓGICAS: SIMPLES E COMPOSTA
- CONECTIVOS, OPERAÇÕES LÓGICAS, TABELAS-VERDADE E TAUTOLOGIAS
- CONTRADIÇÕES, CONTINGÊNCIAS, IMPLICAÇÃO E EQUIVALÊNCIA EM LÓGICA
- ÁLGEBRA DAS PROPOSIÇÕES
- REDUÇÃO DO NÚMERO DE CONECTIVOS LÓGICOS
- FORMAS NORMAIS EM LÓGICA: CONJUNTIVA E DISJUNTIVA
- PRINCÍPIO DA DUALIDADE LÓGICA
- DEFINIÇÃO DE ARGUMENTOS LÓGICOS
- CRITÉRIOS DE VALIDADE E VALIDADE DE ARGUMENTOS LÓGICOS
- REGRAS DE INFERÊNCIA
- REGRAS DE VALIDAÇÃO
- DEFINIÇÃO DE SENTENÇAS ABERTAS EM LÓGICA MATEMÁTICA
- OPERAÇÕES LÓGICAS
- QUANTIFICADORES DE SENTENÇAS ABERTAS
- QUANTIFICAÇÃO DE SENTENÇAS ABERTAS COM MAIS DE UMA VARIÁVEL