História da lógica. Lógica clássica e lógicas não clássca. Lógica proposicional de 1º ordem. Termo e enunciado. Princípio da igualdade. Enunciados abertos e fechados. Príncipais morfemas.Juntores ou conectivos: não, e, ou, nem, nor,se...então, se e somente se. Enunciados atômicos e moleculares. Ordem de força dos juntores. Tautologia, contradição e contigência.Equivalências(distridutividade do não). Tabela-verdade. Diagramas. O operadormodus ponens. Axiomas-esquemas. Os métodos de prova (substituindo os silogismos e operadores tradicionais) e a idéia de contrução teórica. O metateorema da dedução -MTD,o metateorema da introdução do e, o metateorema da eliminação do e, o metateorema da introdução do ou, o metateirema da redução ao absurdo-MRA, o metateorema da prova por casos-MTPC. A mecânica das demonstrações em lógica. Quantificadores: universal e existencial. Teoria elementar dos conjuntos. Conceitos intuitivos e objetivos de se estudar conjuntos. Formas de representação e notações. Inclusão e iguadade. Operações com conjuntos: união, intersecção ,diferençae complementar. Conjunto vazio.Conjunto universo. Propriedades.Conjunto potêcia. leis de De Morgar.Álgebra de Boole:definições, dualidade, teoremas básicos, ordem. Projeto de circuitos de interruptores.

A diciplina deverá ser, sempre que possível, dividida em duas partes. A primeira, prioritária, deverá corresponder a parte simbólica, isto é,uso, entendimento e manipulação dos esquemas lógicos ( cálculo quantificacional e sentencial) , sendo a aferição dos estudantes feita mediante prova sem consulta. A segunda parta da disciplina será dedicada ao processo de induzir o aluno a se utilizar dos procedimentos lógicos, na leitura, escrita e argumentação verbal, isto é, uma "lógica instrumental". A aferição da segunda parte deverá ser feita mediante uma monografia ou seminário ou dissertação em sala.