Universidade Católica de Moçambique

Instituto de Educação à Distância

Logica e Teoria de Conjuntos

Baptista Alves
Código N.o 708237861

Licenciatura em Ensino de Matemática

GURUE, de Maio de 2023

Universidade Católica de Moçambique
Instituto de Educação à Distância

Logica e Teoria de Conjuntos

Baptista Alves
Código N.o 708237861

Curso: Licenciatura em Ensino de Matemática

Disciplina: Fundamentos de Matemática
Ano de Frequência: 1º
Turma: D

Trabalho de carácter avaliativo da Cadeira de

Fundamentos de Matemática a ser entregue no
Departamento de Ciências Naturas e
Tecnologia dado e Orientado pelo:
Tutor: dr. Valdomar José Baptista

GURUE, Maio de 2023

Critérios de avaliação (disciplinas teóricas)

Classificação

Categorias Indicadores Padrões Nota

Pontuação Subto
do
máxima tal
tutor
➢ Índice 0.5
➢ Introdução 0.5
Aspectos
Estrutura ➢ Discussão 0.5
organizacionais
➢ Conclusão 0.5
➢ Bibliografia 0.5
➢ Contextualização
(Indicação clara do 2.0
problema)
Introdução
➢ Descrição dos objectivos 1.0

➢ Metodologia adequada ao
2.0
objecto do trabalho
➢ Articulação e domínio do
discurso académico
Conteúdo (expressão escrita 3.0
cuidada, coerência /
Análise e coesão textual)
discussão ➢ Revisão bibliográfica
nacional e internacional
2.0
relevante na área de
estudo
➢ Exploração dos dados 2.5
➢ Contributos teóricos
Conclusão 2.0
práticos
➢ Paginação, tipo e tamanho
Aspectos
Formatação de letra, paragrafo, 1.0
gerais
espaçamento entre linhas
Referência Normas APA 6ª
➢ Rigor e coerência das
s edição em
citações/referências 2.0
Bibliográfi citações e
bibliográficas
cas bibliografia
Folha para recomendações de melhoria: A ser preenchida pelo tutor

___________________________________________________________________________
___________________________________________________________________________
___________________________________________________________________________
___________________________________________________________________________
___________________________________________________________________________
___________________________________________________________________________
___________________________________________________________________________
___________________________________________________________________________
___________________________________________________________________________
___________________________________________________________________________
___________________________________________________________________________
___________________________________________________________________________
___________________________________________________________________________
___________________________________________________________________________
___________________________________________________________________________
___________________________________________________________________________
___________________________________________________________________________
___________________________________________________________________________
___________________________________________________________________________
___________________________________________________________________________
___________________________________________________________________________
___________________________________________________________________________
___________________________________________________________________________
___________________________________________________________________________
___________________________________________________________________________
___________________________________________________________________________
___________________________________________________________________________
Indice
Introdução ............................................................................................................................... 6
Objectivos ............................................................................................................................... 6
Objetivos geral ........................................................................................................................ 6
Objectivos Específicos ............................................................................................................ 6
Metodologias .......................................................................................................................... 6
Logica e teoria de conjuntos ................................................................................................... 7
Conjunto finito ........................................................................................................................ 7
Conjunto infinito ..................................................................................................................... 7
Conjunto Vazio........................................................................................................................ 7
Conjunto Universo .................................................................................................................. 7
Operações com conjuntos e suas propriedades ....................................................................... 8
Reunião (∪) ............................................................................................................................ 8
Diferença ................................................................................................................................. 8
Complementar de um conjunto ............................................................................................... 9
Diagramas de Venn Euller ...................................................................................................... 9
Aplicação da Teoria de Conjuntos .......................................................................................... 9
Elementos de Teoria de dedução ............................................................................................. 9
Disjunção ( ˅ ) ...................................................................................................................... 10
Condicional (→) ................................................................................................................... 10
Bicondicional (↔) ................................................................................................................ 10
Negação (~).......................................................................................................................... 10
Tautologia ............................................................................................................................. 10
Logica com quantificador ..................................................................................................... 11
Parte II resolução de exercícios ............................................................................................ 11
Conclusão.............................................................................................................................. 13
Bibliografia ........................................................................................................................... 14
Introdução
Teoria de conjunto e um ramo de logica matemática que estuda conjuntos que informalmente
são coleções de elementos. Embora qualquer tipo de elemento possa ser reunido em um
conjunto a teoria de conjuntos é, em geral é investigada com elementos que são relevantes para
fundamentos da matemática. a teoria de conjunto e comumente empregada como um sistema
percursor da matemática, particularmente na forma dos conjuntos de Zermelo-Fraenkel com
axioma da escolha.

Com essa abordagem, no presente trabalho irei tratar de conteúdos relacionados a logica e teoria
de conjuntos, apresentando diferentes tipos de conjuntos, logica proposicional, e
quantificadores lógicos..

O trabalho apresenta introdução, objectivos, metodologia, desenvolvimento dos conteúdos,

resolução de exercícios, conclusão, referências bibliográficas de onde fiz a consulta para
elaboração do trabalho.

Objectivos
Objetivos geral
Conhecer os pressupostos da Logica e Teoria de Conjuntos.

Objectivos Específicos
Definir conjuntos;
Descrever os principais tipos de conjuntos
Caracterizar os diferentes tipos proposições logicas
Resolver exercícios propostos no trabalho.

Metodologias
Para a realização do trabalho, foi necessário consulta bibliográfica
Logica e teoria de conjuntos
Agrupamento de termos com características semelhantes é uma definição da palavra conjunto.
Os conjuntos recebem nomes de acordo com a quantidade de elementos que podem vir a ser
agrupados.

Existem diferentes tipos de conjuntos, seus nomes estão de acordo com a quantidade de
elementos que eles agrupam.

Conjunto finito
Esse tipo de conjunto representa uma quantidade limitada de elementos. Por exemplo, o
conjunto dos números compreendidos entre 1 e 10 será representado da seguinte maneira:
{𝑥 / 1 < 𝑥 < 10} 𝑜𝑢 {2, 3, 4, 5, 6, 7, 8, 9}

Conjunto infinito
Apresenta uma quantidade infinita (ilimitada de termos). Por exemplo:

O conjunto dos reais é considerado um conjunto infinito, pois não possui fim.
O conjunto dos números inteiros também é considerado infinito.

Conjunto Vazio
O conjunto vazio não possui nenhum elemento, a sua representação pode ser feita utilizando
duas simbologias: { } 𝑜𝑢 Ø. Por exemplo:

O conjunto dos números naturais antecessores ao 0 (zero) é considerado vazio, pois nos
números naturais não existe antecessor de zero.
O conjunto dos números fracionários existentes no conjunto dos números inteiros é
considerado um conjunto vazio, pois não existem frações dentre os números inteiros.

Conjunto Universo
É o conjunto representativo de todos os elementos da conjuntura na qual estamos trabalhando,
e também de todos os conjuntos relacionados. Na representação do conjunto universo
utilizamos a letra maiúscula 𝑈.
Operações com conjuntos e suas propriedades
Reunião (∪)
Dados conjuntos A e B , define-se como união ou reunião dos conjuntos A e B ao conjunto
representado por 𝐴 ∪ 𝐵, formado por todos elementos pertencentes a A ou B, ou seja:

𝐴 ∪ 𝐵 = {𝑥: 𝑥 ∈ 𝐴 𝑜𝑢 𝑥 ∈ 𝐵}

Propriedades imediatas

𝐴∪∅= 𝐴
𝐴 ∪ 𝐵 = 𝐵 ∪ 𝐴 (a reunião de conjuntos e uma operação comutativa)
𝐴∪𝑈 = 𝑈

Intersecção (∩)

Dados conjuntos A e B, define-se como intersecção dos conjuntos A e B ao conjunto

representado por 𝐴 ∩ 𝐵, formado por todos elementos pertencentes a, A e B, simultaneamente,
ou seja: 𝐴 ∩ 𝐵 = {𝑥: 𝑥 ∈ 𝐴 𝑒 𝑥 ∈ 𝐵}

Propriedades imediatas

𝐴∩∅= ∅
𝐴 ∩ 𝐵 = 𝐵 ∩ 𝐴 (a intersecção de conjuntos e uma operação comutativa)
𝐴∩𝑈 = 𝐴

Conjuntos disjuntos: dois conjuntos são disjuntos quando a intersecção é um conjunto vazio.

𝐶 ∩ 𝐷 = ∅ , C e D são conjuntos disjuntos.

Diferença
Dados conjuntos A e B, define-se como diferença entre os conjuntos A e B (nesta ordem) ao
conjunto representado por 𝐴 − 𝐵, formado por todos elementos pertencentes a, A mas que não
pertencem a B, ou seja: 𝐴 − 𝐵 = {𝑥: 𝑥 ∈ 𝐴 𝑒 𝑥 ∉ 𝐵}

Propriedades imediatas

𝐴−∅ = ∅
∅−𝐴=∅
𝐴−𝐴 =∅
𝐴−𝐵 ≠𝐵−𝐴
Complementar de um conjunto
O complementar de um conjunto B contido no conjunto A e a diferença entre conjuntos A e B,
ou seja, o conjunto de todos elementos que pertencem ao conjunto A e não pertencem ao
conjunto B. 𝐵 ∖ 𝐴 𝑜𝑢 𝐶𝐴 𝐵 𝑜𝑢 𝐴 − 𝐵

Caso particular: dado um subconjunto A de um conjunto universal U. chama-se complementar

de um conjunto A em U e representa-se por Ā ou: Ā = {𝑥: 𝑥 ∉ 𝐴}.

Diagramas de Venn Euller

O diagrama de Venn é uma maneira de representar graficamente um
conjunto, para isso utiliza-se uma linha fechada que não possui auto
intersecção e representa-se os elementos, a ideia do diagrama de Venn é
facilitar o entendimento nas operações, básicas de conjuntos.

Aplicação da Teoria de Conjuntos

A teoria dos conjuntos é aplicada na Matemática para representar os conjuntos numéricos. Essa
teoria pode ser aplicada a outras áreas, uma vez que os elementos dos conjuntos podem ser
qualquer coisa como pessoas, casas, escovas de dentes, pregos, entre outros. Inclusive, essa
teoria é utilizada para trabalhar com dados estatísticos e em outras áreas que demandam a visão
proporcionada por esse ramo da lógica matemática. Os estudos da teoria dos conjuntos tiveram
origem nos trabalhos do matemático russo Greg Cantor. Trata-se de uma área que oferece a
possibilidade de simplificar o raciocínio a respeito de elementos complexos. A teoria dos
conjuntos facilita uma série de questões do dia a dia;

Elementos de Teoria de dedução

Logica Proposicional

Conjunção ( ˄ )

Chama – se de conjunção à uma conclusão lógica verdadeira quando as duas premissas são
verdadeiras. Nos demais casos, retornam-se resultados falsos. Chamar-se-ão proposições as
letras 𝑝 𝑒 𝑞. Sendo assim, se 𝑝 𝑒 𝑞 são proposições, 𝒑 ^ 𝒒 representa a conjunção entre as duas
proposições. Assim, têm – se os seguintes resultados possíveis;
Disjunção ( ˅ )
A disjunção de duas proposições p e q retorna um valor lógico verdadeiro
quando, pelo menos uma das duas premissas, for verdadeira. Quando ambas
são falsas, o valor lógico atribuído à disjunção será falso.

Condicional (→)
A condicional retorna um valor lógico falso quando p é verdadeiro e q
for falso quando p e q estão dispostos na seguinte ordem: 𝑝 → 𝑞
(𝑠𝑒 𝑝 𝑒𝑛𝑡ã𝑜 𝑞). 𝑝 é o termo antecedente e q o consequente. O símbolo
→ chama – se implicação. Para este caso, tem – se a seguinte tabela
verdade:

Bicondicional (↔)
A bicondicional retorna um valor lógico verdadeiro quando p e q são
verdadeiros ou quando p e q forem falsos. Nos demais casos, têm – se
valores lógicos falsos. A seguinte tabela verdade, para este caso, é a
seguinte:

Negação (~)
Chama – se negação a proposição representada por ‘não p’ que apresenta
valor lógico verdadeiro quando p é falsa e valor lógico falso quando p é
verdadeira.

Tautologia
Define- se tautologia como a proposição composta que sempre será verdadeira
independentemente dos valores lógicos das proposições simples que a compõem. Como mostra
tabela
Logica com quantificador
Os quantificadores possuem a função de nos informar a respeito de determinada quantidade de
elementos em uma situação. E podem ser classificados em dois tipos Quantificador Universal
ou Quantificador Existencial

O quantificador universal é utilizado quando queremos nos referir a todos os elementos de

um conjunto. Por exemplo: todo número natural par é múltiplo de 2.

Seja n um número natural qualquer, podemos afirmar que: ∀𝒏 ∈ ℕ, 𝒏 ∗ 𝟎 = 𝟎 ∗ 𝒏 = 𝟎

O quantificador existencial diferencia-se do universal porque não se refere a todos os

elementos de um conjunto. Ele faz referência a pelo menos um elemento pertencente ao
conjunto. Para expressarmos o quantificador existencial, utilizamos o símbolo ∃, que pode ser
lido como “existe um”, “existe pelo menos um”, “algum” ou “existe”.

Quantificador de existência e unicidade refere-se à existência de um único elemento. Para

representar o quantificador de existência, utilizamos ∃ e lemos existe um e um só ou “existe
um único”.

Por exemplo, podemos afirmar que existe um único número natural n que, somado com 5,
resulte em 6. ∃𝒏 ∈ ℕ, 𝒏𝟐 − 𝒏 = 𝟎

Parte II resolução de exercícios

1. São funções lineares as alternativas B e D.

𝑓(𝑥+ℎ)−𝑓(𝑥)
b) 𝑓(𝑥) = 𝑚𝑥 + 𝑏 e 𝑓(𝑥 + ℎ) = 𝑚(𝑥 + ℎ) + 𝑏 mostrar =𝑚
ℎ

𝑚(𝑥+ℎ)+𝑏−(𝑚𝑥+𝑏)
=𝑚
ℎ
𝑚𝑥+𝑚ℎ+𝑏−𝑚𝑥−𝑏 𝑚ℎ
=𝑚 =𝑚⇔𝑚=𝑚
ℎ ℎ

2. Trigonometria
a) Provar que 1 + (1 + 2𝑡𝑔2 𝑥)𝑠𝑒𝑛2 𝑥 = 2𝑡𝑔2 𝑥 + 𝑐𝑜𝑠 2 𝑥
b) Dado 𝑠𝑒𝑛𝑥 = −0,60 calcular outra razoes trigonométricas
𝑠𝑒𝑛2 𝑥 + 𝑐𝑜𝑠 2 𝑥 = 1 = (−0,6)2 + 𝑐𝑜𝑠 2 𝑥 = 1 = 𝑐𝑜𝑠 2 𝑥 = 1 − 0,36 ↔ 𝑐𝑜𝑠𝑥 = 0,8
𝑠𝑒𝑛𝑥 0,6 0,3 𝑐𝑜𝑠𝑥 0,8 0,4
𝑡𝑔𝑥 = = − 0,8 = − 0,4 , 𝑐𝑜𝑡𝑥 = 𝑠𝑒𝑛𝑥 = − 0,6 = − 0,3
𝑐𝑜𝑠𝑥

3. Sucessão limites e continuidades de funções

8𝑛+1 𝑛(8+1⁄𝑛)
a) lim = lim = 4 a sucessão e limitada
𝑛→∞ 2𝑛−3 𝑛→∞ 𝑛(2−3⁄𝑛)
(−1)𝑛 4
b) lim analisando pelo termo geral, conclui que a sucessão e alternada.
𝑛→∞ 2𝑛−1
 𝑛+3
c) lim =1
𝑛→∞ 𝑛+5

Monotonia das sucessões

A sucessão 𝑈𝑛 e crescernte com limite igual a 4, 𝑏𝑛 e alternada, e 𝑐𝑛 e estritamente crecente
com limite igual a 1
(√9𝑥 2 +𝑥−3𝑥)(√9𝑥 2 +𝑥+3𝑥) 𝑥 ∞
lim √9𝑥 2 + 𝑥 − 3𝑥 = ∞ − ∞ lim ↔ lim =∞
𝑥→∞ 𝑥→∞ (√9𝑥 2 +𝑥+3𝑥) 𝑥→∞ (√9𝑥 2 +𝑥+3𝑥)
𝑥
lim =0
𝑥→∞ (√9𝑥 2 +𝑥+3𝑥)

c) Valor de c e k de modo que f seja continua

𝑥 + 2𝑐 𝑠𝑒 𝑥 < −2
𝑓(𝑥) = {3𝑐𝑥 + 𝑘 𝑠𝑒 − 2 ≤ 𝑥 ≤ 1
3𝑥 − 2𝑘 𝑠𝑒 1 < 𝑥
Derivadas
3𝑥+2 5
a) 𝑦 = ( )
2𝑥+1

′ 3𝑥+2 5 3𝑥+2 ′ 3𝑥+2 4

𝑦 =( ) = 5 (2𝑥+1) ∗ (2𝑥+1) ↔
2𝑥+1

(15𝑥+10)′ ∗(2𝑥+!)−(15𝑥−10)(2𝑥+1)′ 3𝑥+2 4

𝑦′ = ∗( ) ↔
(2𝑥+1)2 2𝑥+1

−5 3𝑥+2 4
𝑦′ = 2
∗( )
(2𝑥+1) 2𝑥+1

𝑥+1 ′ (𝑥+1)′ ∗(√𝑥 2 −3)−(𝑥+1)(√𝑥 2 −3)′

b) 𝑦 = ↔𝑦 = ↔
√𝑥 2 −3 (√𝑥 2 −3)2
2𝑥
(√𝑥 2 −3)−(𝑥+1) ( )
2√𝑥2 +3
↔
(√𝑥 2 −3)2
−6−2𝑥
)
2√𝑥2 −3
(√𝑥 2 −3)2
Conclusão
Terminado o trabalho concluo que existem diferentes tipos de conjuntos, seus nomes estão de
acordo com a quantidade de elementos que eles agrupam, A teoria dos conjuntos é aplicada na
Matemática para representar os conjuntos numéricos. Essa teoria pode ser aplicada a outras
áreas, uma vez que os elementos dos conjuntos podem ser qualquer coisa como pessoas, casas,
escovas de dentes, pregos, entre outros. Inclusive, essa teoria é utilizada para trabalhar com
dados estatísticos e em outras áreas que demandam a visão proporcionada por esse ramo da
lógica matemática.

Conjunção é uma conclusão lógica verdadeira quando as duas premissas são verdadeiras, além
da conjunção encontramos outras proposições tais como, a disjunção, equivalência e
implicação. Com base no trabalho conclui também que a resolução de exercícios e uma das
formas muito eficaz de treinar a mente
Bibliografia
1. CUAMBE, Vasco. Matematica 10ª classe Texto Editores
2. COPI, I. M. Introdução à Lógica. São Paulo. Mestre Jou, 1977
3. FILHO, E. A. Introdução à Lógica Matemática. São Paulo. Nobel, 2002