visite também www.gregosetroianos.mat.br/Lógica
Tel: (31) 3283-1122
Partes importantes e substanciais das aulas de Lógica e Matemática são oferecidas aos participantes como arquivos do Mathematica. Os interessados devem baixar uma cópia (gratuita) do MathReader para a visualização dos conteúdos.
Os asteriscos referem-se a tópicos adicionais que podem ou não ser vistos de acordo com o desempenho e interesse das turmas.
Aulas 1 e 2. Definição de proposição; forma lógica de uma proposição; valor lógico de uma proposição; sintaxe dos cinco conectivos lógicos fundamentais (notações, ordem de precedência); semântica dos conectivos lógicos (tabelas-verdade); representação simbólica de proposições; [*] ambigüidade estrutural.
Aulas 3 e 4. Leis de De Morgan; leis de negação; recíproca, contrária e contrapositiva de uma implicação; propriedades algébricas dos conectivos; [*] outros conectivos lógicos; álgebra de Boole.
Aulas 5 e 6. Tautologias; contradições; equivalências lógicas; definição de argumento (premissas e conclusão); argumentos válidos e inválidos; falácias; técnicas de refutação; regras de inferência (eliminação e introdução de conectivos); a semântica de “é”; [*] aspectos metodológicos do método dedutivo (conceitos primitivos, axiomas, lemas, teoremas e corolários; algumas técnicas de definição; consistência e independência).
Aulas 7 e 8. Introdução ao Cálculo de Predicados; sentenças abertas e fechadas; os quantificadores universal e existencial; sintaxe e semântica dos quantificadores; proposições categóricas; leis de negação; aplicação à álgebra dos conjuntos; refutação mediante diagramas de Euler-Venn.
Aulas 9 e 10. Predicados e relações; conjunto-verdade; semântica dos “mundos possíveis”; quantificadores restritos; quantificação múltipla; existência e unicidade; argumentos no Cálculo de Predicados; regras de inferência; simbolização de proposições matemáticas; [*] descrições definidas e outros operadores que ligam variáveis.
Aulas 11 e 12. Operações abstratas; reconhecimento de padrões; indução; problemas resolúveis por métodos diagramáticos (grafos); heurísticas.
Aulas 13 e 14. Aplicações ao Raciocínio Analítico (análise de textos argumentativos); indicadores de premissa e conclusão; análise lógica das conjunções coordenativas e subordinativas; orações subordinadas adjetivas restritivas e explicativas; adequação e limites dos cálculos proposicional e de predicados (relevância e conexão causal, a influência dos tempos e modos verbais); ambigüidade e vaguidade; falácias; [*] paradoxos.
Aula 15. Modelagem de problemas matemáticos (tradução em equações e relações, interpretação de fórmulas); preparação para o Raciocínio Quantitativo.
Carlos César de Araújo, 1 de janeiro de 2007