Mapa Mental - Lógica I

Prévia do material em texto

Lógica Proposicional Clássica Métodos de Prova Sintaxe e semântica da lógica Noções de sistemas proposicional. axiomáticos e sistemas formais. Definição de fórmulas e tradução de sentenças. Método de dedução natural Tabelas de verdade e suas aplicações e suas regras. práticas. Comparação entre Conceito de tautologias e consequência consequências sintáticas e semânticas. lógica. Teoremas de correção e completude na lógica. Lógica Introdução à Lógica Teoria dos Conjuntos Definição de lógica e sua I Conceitos básicos de conjuntos importância no raciocínio. e suas notações. Distinção entre raciocínio Relações e funções em teoria dedutivo e indutivo. dos conjuntos. Validade e correção de Distinção entre conjuntos argumentos na lógica. finitos e infinitos. História breve da lógica Funções injetivas, desde Aristóteles. sobrejetivas e bijetivas. Avaliação e Metodologia Avaliação através de questionários sobre conteúdo. Atividades síncronas e Argumentação assíncronas no Moodle. Lógicas Não Clássicas Importância da interação entre Reconhecimento de Introdução às lógicas docente e estudantes. argumentos válidos e polivalentes e suas falaciosos. Recuperação final para revisão características. do conteúdo programático. Distinção entre Lógicas modais e suas argumentos dedutivos e aplicações práticas. indutivos. Lógicas do tempo e suas Erros comuns de implicações filosóficas. argumentação e falácias Comparação entre lógicas informais. clássicas e não clássicas. Importância da argumentação na lógica clássica.