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.
