UNIVERSIDADE FEDERAL DE OURO PRETO

PRÓ-REITORIA DE GRADUAÇÃO
PLANO DE ENSINO

Introdução à Lógica e Teoria dos Conjuntos Código:

Introduction to Logic and Set Theory MTM 246

Nome e sigla do departamento: Unidade Acadêmica:

Departamento de Matemática – DEMAT Instituto de Ciências
Exatas e Biológicas – ICEB
Nome do docente:
Raimundo Santos Leite
Modalidade de oferta: [X] presencial [ ] a distância

Carga horária semestral Carga horária semanal

60 4
Total Extensionista Teórica Prática
60 horas 00 horas 4 horas/aula 00 horas/aula
Data de aprovação na assembleia departamental:

Ementa:
Noções de Lógica. Sistema dedutivo. Indução Finita. Conjuntos. Funções. Produto
cartesiano. Relações
Conteúdo programático:
Noções de Lógica: Proposição. Negação. Conectivos. Condicionais. Tautologias. Implicação.
Equivalência. Quantificadores.

Sistema dedutivo: Definição e exemplo de: Elemento primitivo, definição, axioma, lema,
teorema, proposição e corolário. Exemplos de Sistemas Dedutivos. Demonstrações: direta,
por contraposição, por absurdo, de existência, de unicidade.

Indução Finita: Primeira forma. Segunda forma.

Conjuntos: Noção intuitiva de conjuntos. Operações com conjuntos. Conjunto das Partes.
Família de conjuntos. Operações sobre famílias de conjuntos. Conjuntos Numéricos. Indução
finita.

Produto Cartesiano: Pares ordenados: {{a},{a,b}}. Propriedades. Gráfico de funções. Função

como subconjunto do produto cartesiano. Produtório. Operações.

Relações: Definição. Relações reflexivas, simétricas, antissimétricas, transitivas. Relação de

equivalência e congruência módulo n. Partições. Relação de ordem: parcial, total. Boa ordem.
Lema de Zorn.

Funções: Definição. Composição de funções. Funções injetoras, sobrejetoras e bijetoras.

Inversa à esquerda, inversa à direita e inversa. Imagem direta e suas propriedades. Imagem
inversa e suas propriedades.
 UNIVERSIDADE FEDERAL DE OURO PRETO
PRÓ-REITORIA DE GRADUAÇÃO
PLANO DE ENSINO

Objetivos: Ao final dessa disciplina o aluno deverá ter aprendido conceitos e técnicas de
lógica, os quais são inerentes ao estudo de matemática, por exemplo, o significado lógico de
“demonstração”, e as técnicas que podem ser empregadas, conceitos ubíquos em
matemática. Deverá também ter adquirido familiaridade com pormenores sobre conjuntos,
relações e funções.

Metodologia: Aula expositiva, quadro negro. Na parte referente ao sistema dedutivo, os

exemplos da disciplina serão complementados com as análises das demonstrações de alguns
teoremas de Álgebra Elementar e de Cálculo Diferencial.

Atividades Avaliativas: 3 provas nos valores de 3; 3,5 e 3,5, respectivamente, nas

seguintes datas: 18/1/23, 15/2/23 e 17/3/23. O exame especial, no dia 29/3/23, será
uma prova no valor de 10 pontos englobando todo o conteúdo trabalhado no período.

Cronograma: Semanas 1 a 4: Noções de Lógica e Sistema dedutivo.

Semanas 5 a 8: Indução Finita e Conjuntos.
Semanas 9 a 13: Produto cartesiano, Relações e Funções.

Esta divisão do período em três partes está vinculada aos conteúdos a serem avaliados
nas três avaliações.

Bibliografia básica:
1. Teoria dos conjuntos. Rio de Janeiro: McGraw-Hill, 1978. LIPSCHUTZ, Seymour.
2. Introdução às Técnicas de Demonstração em Matemática. 2ªed. Livraria da Física, 2009.
FOSSA, John.
3. Álgebra Moderna. São Paulo: Atual, 2003. DOMINGUES, Hygino H.; IEZZI, Gelson.

Bibliografia complementar:
1. Um prelúdio à lógica. UNESP, 2005. FEITOSA, Hércules de A.; PAULOVICH, Leonardo.
2. https://www.dm.ufscar.br/profs/sampaio/itc.html
3. Set theory and logic. New York: Dover Publications, Inc., 1979. STOLL, Robert R.