Programa -  Bibliografia Lógica Proposic., Conect. Lógicos; Exercícios Priorid. dos Conect, Tab. Verd., Classificação; Implicação Lógica, Equivalência Lógica; Equival. Notáveis; Exercícios Resolução Valid. de um Argum.; Exercícios  Resolução Regras de Inferência; Exercícios  Resolução Técnicas Dedutivas: Direta, Indireta, Condicional; Valid. de um Argumento através de Fluxogramas; Álgebra de Boole, Propriedades; Álgebra dos Interruptores: Ligação Série e Paralelo; Simplif. de Circuitos pelas propriedades da Álgebra de Boole e Mapa de Karnaugh; Definição de Portas Lógicas, tipos de Portas e representação esquemática. TABELAS DE LÓGICA