UNIVERSIDADE JOAQUIM CHISSANO

FACULDADE DE CIÊNCIAS E TECNOLOGIAS

PLANO ANALÍTICO – INTRODUÇÃO À LÓGICA - 2022 -1˚ SEMESTRE

Sem Datas N˚ da Aula Temas Antologia Obs

ana
T1. Teoria de conjuntos e introdução á Lógica

1. Noção de conjunto
• Conjunto. Formas de
Semana 1

22 a 26 de representação de conjuntos:
Teórica + Prática 1 [1], [2] , [3],
Março extensão e compreensão. Cardinal
[4]
dum conjunto.
• Conjunto singular. Conjunto vazio.
Relação de pertinência.

✓ Exercícios
• Subconjuntos. Conjunto potência.
Número total de subconjuntos num
conjunto com n elementos.
[1], [2] , [3],
Semana 2

29 de •Conjuntos numéricos [4]

Marçco a Teórica + Prática 2 fundamentais: conjunto dos
02 de Abril naturais, inteiros racionais,
irracionais e reais.
• Conjunto contável ou enumerável
• Intervalos numéricos
✓ Exercícios
2. Operações com conjuntos
• União e intersecção de
conjuntos e suas
propriedades.
• Diferença de conjuntos e [1], [2] , [3],
suas propriedades. [4]
Semana 3

05 a 09 de Complementar dum conjunto.

Teórica + Prática 3
Abril • Diagrama de Venn.
• Número de elementos da
união de dois conjuntos.
• Produto cartesiano

Exercícios

1
Sem Datas N˚ da Aula Temas Antologia Obs
ana

3. Introdução á lógica
• Lógica como Ciência
• Valores lógicos. [1], [2] , [3],
• Proposição lógica. Principio do [4]
12 a 16 de
Semana 4

terceiro excluído. Principio da não

Abril contradição.
Teórica + Prática 4
• Símbolos utilizados na Lógica
Matemática.
• O modificador negação.

Exercícios
• Operações lógicas: conjunção,
disjunção, condicional, bi-
Semana 5

19 a 23 de condicional. Proposições [1], [2] , [3],

Teórica + Prática 5 compostas [4]
Abril

Exercícios
• Tabela de verdade para
operações lógicas.
Semana 6

[1], [2] , [3],

26 a 30 de
Teórica + Prática 7 • Tautologia e contradição. [4]
Abril

✓ Exercícios
4. Álgebra de proposições
• Idempotência,
comutatividade, identidade,
complementaridade, [1], [2] , [3],
Semana 7

03 a 07 de associatividade e [4]
Maio distribuitividade.
• Leis de Morgan.
• Negação da condicional
✓ Exercícios
Semana 8

10 a 14 de
Teórica + Prática 8 PRIMEIRAS AVALIAÇÕES GERAIS
Maio

• Predicados e Quantificadores
• Relação entre conjunto e
predicado
• Conjuno de verdade de um
Semana 9

17 a 21 de predicado
Teórica + Prática 9
Maio • Equivalências usando [1], [2] , [3],
quantificadores [4]
• Negação de afirmações
quantificadas

2
Sem Datas N˚ da Aula Temas Antologia Obs
ana

Exercícios
5. Relação binária e de equivalência
Álgebra booleana
• Definição de relação binária.
• Domínio e imagem
• Relação inversa e composição de relações
Semana 10

24 a 28 de Teórica + Prática • Propriedades [1], [2] , [3],

Maio 10 • Classificação de relação binária: [4]
reflexiva, simétrica, anti-simétrica e
transitiva

Exercícios
• Noção de função. Domínio, imagem, pré-
imagem.
• Propriedades
Semana 11

31 de Maio
• Composição [1], [2] , [3],
a 04 de
Junho • Injecção e sobrejecção [4]
• Função inversa

✓ Exercícios
• Preparação para o teste II
Semana 12

07 a 11 de Teórica + Prática ✓ Preparação para o teste II

Junho 11
[1], [2] , [3],
[4]
Semana 13

14 a 18 de Teórica + Prática
SEGUNDAS AVALIAÇÕES GERAIS
Junho 12

• Relaçoes de equivalência
• Definição, exemplos
• Classes de equivalência
Semana 14

21 a 25 de • Partição. Partição em classes de

equivalência [2]
Junho
• Conjunto quociente

✓ Exercícios

• Álgebra Booleana e suas propriedades.

• Lógica dos circuitos. Funções booleanas
28 de
Semana 15

Junho a Teórica + Prática • Circuito com um interruptor.

02 de 13 • Circuito com dois interruptores: em paralelo,
Julho em série, acoplados contraditórios e
acoplados equivalentes.

3
Sem Datas N˚ da Aula Temas Antologia Obs
ana
✓ Exercícios
Semana 16

05 a 09 de Teórica + Prática
Preparação para o exame
Julho 14

Metodologia
As aulas teóricas serão de carácter expositiva, leccionadas via online pela plataforma
Blackboard e, as aulas práticas serão do tipo elaboração conjunta, de forma presencial.

Avaliação
▪ 2 Testes e uma avaliação contínua (AC).
▪ MF=0.4T1+0.4T2+0.2AC

Bibliografia
1. Ferreira, J.C.: Elementos de lógica Matemática e teoria de conjuntos, Lisboa, 2001.
2. Kirilov, A.: Introdução a teoria de conjuntos, UFPR, 2017
3. Pinter, C. C.: Set Theory, Dover publication, Inc. Mineola, New York, 2014
4. Cunha, F.G.: Lógica e Conjuntos, Fortaleza, 2008.