Sunteți pe pagina 1din 2

Ministrio da Educao

UNIVERSIDADE TECNOLGICA FEDERAL DO PARAN Campus Curitiba

PLANO DE ENSINO
CURSO Licenciatura em Matemtica MATRIZ 674

FUNDAMENTAO LEGAL Resoluo n. 117/10-COEPP DISCIPLINA/UNIDADE CURRICULAR Lgica Matemtica 1 CDIGO MA71E PERODO 1 AT 68 AP 00 CARGA HORRIA APS AD APCC 04 00 00

Total 72

AT: Atividades Tericas, AP: Atividades Prticas, APS: Atividades Prticas Supervisionadas, AD: Atividades a Distncia, APCC: Atividades Prticas como Componente Curricular.

PR-REQUISITO EQUIVALNCIA

OBJETIVOS Desenvolver o raciocnio lgico e dedutivo dos educandos possibilitando a adequada utilizao das estruturas da Lgica Matemtica para a anlise e a resoluo de problemas relacionados. EMENTA Sistematizao da lgica matemtica; estruturao do clculo proposicional; operaes lgicas fundamentais; relaes de equivalncia e de implicao lgica; lgebra proposicional; teoria da argumentao e anlise inferencial no clculo proposicional; clculo dos predicados; quantificao; funes proposicionais quantificadas. CONTEDO PROGRAMTICO ITEM 1 EMENTA 1.1 Sistematizao da lgica matemtica. 1.2 1.3 2.1 Estruturao do clculo proposicional. 2.2 2.3 3.1 Operaes lgicas fundamentais. 3.2 3.3 4.1 4.2 4.3 4.4 Relaes de equivalncia e de implicao lgica. 4.5 4.6 4.7 4.8 5.1 5.2 5.3 5.4 lgebra proposicional. 5.5 5.6 5.7 5.8 5.9 6.1 6.2 6.3 Teoria da demonstrao e anlise inferencial no 6.4 clculo proposicional. 6.5 6.6 6.7 CONTEDO Lgicas formais e lgica matemtica. Clculo proposicional e clculo dos predicados. Fundamentos da lgica matemtica. Linguagem proposicional. Procedimentos de deciso. Tabelas funo de verdade. Operaes lgicas elementares. Ordem de precedncia dos operadores lgicos. Codificao e decodificao de frmulas proposicionais. Relaes de equivalncia lgica. Propriedades das equivalncias lgicas. Equivalncias lgicas fundamentais. Operaes lgicas derivadas. Relaes de implicao lgica. Propriedades das implicaes lgicas. Implicaes lgicas fundamentais. Tautologias, contradies e contingncias. Propriedades da negao. Propriedades da conjuno. Propriedades da disjuno inclusiva. Propriedades da conjuno e da disjuno inclusiva. Propriedades da disjuno exclusiva. Propriedades da condicional. Propriedades da bicondicional. Propriedades da negao conjunta. Propriedades da negao disjunta. Mtodo dedutivo em lgica matemtica. Induo. Teoria da demonstrao. Anlise inferencial. Argumentos dedutivos no clculo proposicional. Sofismas ou falcias. Avaliao e validao de argumentos dedutivos.
Data: Vigora a partir de:
VERSO WEB

Revisado por: Coordenao de Curso Aprovado por: Coordenao de Curso FORMULRIO UNIFICADO / GERNCIA DE ENSINO

10/2011 2010

NO VALE COMO DOCUMENTO

Clculo dos predicados.

Quantificao.

Funes proposicionais quantificadas.

6.8 6.9 7.1 7.2 7.3 7.4 8.1 8.2 8.3 8.4 9.1 9.2

Principais regras de inferncia. Proposies consistentes e inconsistentes. Sistematizao do clculo dos predicados. Linguagem formal no clculo dos predicados. Funes enunciativas de n variveis no clculo dos predicados. Conjunto verdade de funes enunciativas de n variveis. Definio e notao de quantificador universal. Definio e notao de quantificador existencial. Definio e notao de quantificador existencial de unicidade. Relaes lgicas entre quantificadores. Funes proposicionais quantificadas. lgebra das funes proposicionais quantificadas.

PROCEDIMENTOS DE ENSINO AULAS TERICAS Conforme estabelecido no Regulamento Didtico-Pedaggico do correspondente Curso e de acordo com o Plano de Aula do Professor da Disciplina. Aulas expositivas e participativas nas quais sero utilizados quadro-negro e/ou projetor multimdia. AULAS PRTICAS No so previstas Aulas Prticas na carga horria da Disciplina. ATIVIDADES PRTICAS SUPERVISIONADAS ATIVIDADES A DISTNCIA No so previstas Atividades a Distncia na carga horria da Disciplina. ATIVIDADES PRTICAS COMO COMPONENTE CURRICULAR PROCEDIMENTOS DE AVALIAO Conforme estabelecido no Regulamento Didtico-Pedaggico do correspondente Curso e de acordo com o Plano de Aula do Professor da Disciplina. REFERNCIAS Referencias Bsicas: a CASTRUCCI, B. Introduo lgica matemtica. 6 . ed. So Paulo: Nobel, 1984. a DIAS, C. M. C. Lgica matemtica: introduo ao clculo proposicional. 2 . ed. Curitiba: C. M. C. Dias, 2001. HEGENBERG, L. Lgica: clculo sentencial. So Paulo: Herder/EDUSP, 1973. Referncias Complementares: DIAS, C. M. C. Problemas e exerccios de lgica matemtica. Curitiba: C. M. C. Dias, 2003. a DIAS, C. M. C. Silogstica: introduo lgica categrica. 2 . ed. Curitiba: C. M. C. Dias, 2002. FREGE, G. Lgica e filosofia da linguagem. So Paulo: Cultrix/EDUSP, 1978. MATES, B. Lgica elementar. So Paulo: Companhia Editora Nacional, 1968. MENDELSON, E. Introduction to mathematical logic. 3rd ed. Pacific Grove, Ca.: Wadsworth & Brooks, 1987. NOLT, J. e ROHATYN, D. Lgica. So Paulo, McGraw-Hill, 1991. ORIENTAES GERAIS

Assinatura do Professor

Assinatura do Coordenador do Curso

Revisado por: Coordenao de Curso Aprovado por: Coordenao de Curso FORMULRIO UNIFICADO / GERNCIA DE ENSINO

Data: Vigora a partir de:


VERSO WEB

10/2011 2010

NO VALE COMO DOCUMENTO