06/08/2018 Informações da disciplina -

Ministério da Educação
Universidade Tecnológica Federal do Paraná
Câmpus Curitiba

Informações da disciplina

Modalidade
Código Disciplina/Unidade
Modo de Avaliação da Oferta
Ofertado Curricular
disciplina

Fundamentos De Nota/Conceito E
MA71J Presencial Semestral
Matemática Frequência

Carga Horária

AT AP APS ANP APCC Total

6 0 6 0 18 90

AT: Atividade s Te óricas (aulas se m anais).

AP: Atividade s Práticas (aulas se m anais).
ANP: Atividade s não pre se nciais (horas no pe ríodo).
APS: Atividade s Práticas Supe rvisionadas (aulas no pe ríodo).
APC C : Atividade s Práticas com o C om pone nte C urricular (aulas no pe ríodo, e sta carga horária e stá
incluída e m AP e AT).
Total: carga horária total da disciplina e m horas.

Objetivo

Promover a familiarização do estudante com a linguagem matemática e o desenvolvimento de

habilidades para se expressar matematicamente. Compreender e utilizar a lógica subjacente
às demonstrações matemáticas. Empregar conhecimentos de lógica matemática no estudo de
teoria de conjuntos, relações e funções.

Ementa

Sistematização da lógica matemática. Cálculo Proposicional. Relações de equivalência e

implicação lógica. Quantificação. Métodos de demonstração. Teoria elementar dos conjuntos.
Relações e Funções.

Conteúdo Programático

Ordem Ementa Conteúdo

1.1 Lógicas formais e lógica

1 Sistematização da lógica matemática matemática. 1.2 Fundamentos da
lógica matemática.

2.1 Proposições. 2.2 Conectivos

Lógicos 2.3 Propriedades dos
2 Cálculo Proposicional conectivos. 2.4 Tabelas-verdade.
2.5 Tautologias, contradições e
contingências.

https://utfws.utfpr.edu.br/acad01/sistema/mpPlanoEnsinoInformativo.pcPrintInfoPlaEns?p_Disccodnr=11476&p_Plaenscodnr=6885&p_Unidcodnr=1 1/3
06/08/2018 Informações da disciplina -

Ordem Ementa Conteúdo

3.1 Relações de equivalência

lógica. 3.2 Propriedades das
equivalências lógicas. 3.3 Relações
de implicação lógica. 3.4
Recíproca, contrapositiva e
3 Equivalência e implicação lógica.
contrária de uma implicação. 3.4
Propriedades das implicações
lógicas. 3.5 Implicações lógicas
fundamentais. 3.6 Método
dedutivo

4.1 Quantificador universal. 4.2

Quantificador existencial e
existencial de unicidade 4.3
4 Quantificação. Funções proposicionais
quantificadas. 4.4 Álgebra das
funções proposicionais
quantificadas.

5.1 Axioma, Postulado e Definição.

5.2 Teorema, Proposição, Lema e
Corolário. 5.3 Demonstração
direta. 5.4 Contra exemplo. 5.5
Demonstração por contradição.
5 Métodos de demonstração. 5.6 Demonstração pela
contrapositiva. 5.7 Demonstração
de unicidade. 5.8 Demonstração
de afirmações universais e
existenciais. 5.9 Indução
matemática

6.1 Conceitos primitivos

(conjuntos, elementos e relação
de pertinência). 6.2 Conjunto
vazio. 6.3 Operações com
conjuntos: Diferença,
complemento, união e interseção.
6.4 Diagramas de Venn. 6.5
Conjunto das partes de um
conjunto. 6.6 As propriedades
6 Introdução à Teoria dos Conjuntos.
reflexiva, transitiva e
antissimétrica da inclusão. 6.7
Propriedades da união e da
interseção: comutativa,
associativa, distributiva,
idempotência, absorção,
complementação. 6.8 Produto
cartesiano. 6.9 Intervalos reais.
6.10 Igualdade de conjuntos.

7.1 Relações binárias entre

conjuntos. 7.2 Propriedades de
uma relação. 7.3 Definição de
função. 7.4 Domínio e Imagem. 7.5
7 Relações e Funções
Gráficos. 7.6 Funções injetoras,
sobrejetoras e bijetoras. 7.7
Funções compostas. 7.8 Funções
inversas.

Bibliografia Básica

ALENC AR FILHO , Edgard de . Iniciação à lógica matemática. 15. e d. São Paulo: Nobe l, 1984. 203 p. ISBN 85-
213-0118-9

https://utfws.utfpr.edu.br/acad01/sistema/mpPlanoEnsinoInformativo.pcPrintInfoPlaEns?p_Disccodnr=11476&p_Plaenscodnr=6885&p_Unidcodnr=1 2/3
06/08/2018 Informações da disciplina -

Bibliografia Básica

IEZZI, Ge lson e t al. Fundamentos de matemática elementar. 8. e d. São Paulo, SP: Atual, 2004-2005. 11 v.
ISBN 9788535704556(v.1). - vol. 1

LIMA, Elon Lage s; C ESAR , Paulo; W AGNER , E.; MO R GADO , A. C . A matemática do ensino médio. 9. e d. R io de
Jane iro, R J: Socie dade Brasile ira de Mate m ática, 2006. 4 v. (C ole ção do Profe ssor de Mate m ática ; 13). ISBN
85-851810-7 (v. 1).

Bibliografia Complementar

DEVLIN, K. Sets, Functions, and Logic.

DIAS, C arlos Magno C orrê a. Lógica matemática: introdução ao cálculo proposicional. C uritiba: C .M.C . Dias,
1999. 404 p. ISBN 85-900661-3-4.

GER Ô NIMO , João R obe rto; FR ANC O , Valde ni Soliani. Fundamentos da Matemática: um a introdução à lógica
m ate m ática, te oria dos conjuntos, re laçõe s e funçõe s. 2 e d. Maringá: Edue m , 2008.

DO MINGUES, Hygino H.; IEZZI, Ge lson. Á lgebra moderna. 4. e d. re form ul. São Paulo, SP: Atual, 2003. 368 p.
ISBN 9788535704013.

BISPO , C arlos Albe rto F.; C ASTANHEIR A, Luiz B.; FILHO , O swaldo Me lo S. Introdução à Lógica Matemática. São
Paulo: C e ngage Le arning, 2011.

C ASTR UC C I, Be ne dito. Introdução à lógica matemática. 2. e d. São Paulo: Nobe l, 1974. 223 p.

# Resumo da Alteração Edição Data Aprovação Data

cadastro do plano de Neusa Nogas Neusa Nogas

1 20/02/2018 20/02/2018
ensino. Tocha Tocha

06/08/2018 18:04

https://utfws.utfpr.edu.br/acad01/sistema/mpPlanoEnsinoInformativo.pcPrintInfoPlaEns?p_Disccodnr=11476&p_Plaenscodnr=6885&p_Unidcodnr=1 3/3