TEMA: Lógica e Teoria de Conjuntos
TEMA: Lógica e Teoria de Conjuntos
TEMA: Lógica e Teoria de Conjuntos
Teória de Conjuntos
Um conjunto é qualquer colecção C de objectos determinados que são distintos da nossa
percepção ou pensamento (que são chamados de elementos de C), reunidos em um todo.
Segundo Frege, Conjunto coincide com a extensão de um predicado ( a coleção de
objectos que o predicado faz). Essa ideia simples e intuitiva acaba sendo ingênua porque
produz enormes contradições. Para mostrar isso, é necessário começar formalizando
essa teoria intuitiva que, além dos símbolos para os conjuntos e seus elementos (x C,
etc.), terá os símbolos de pertenciamento (Ꞓ) e igualdade (=) ( dos objectos da
linguagem formal). Que x é um elemento do conjunto C é expresso como “x pertence a
C” ou x Ꞓ C. Que x não é elemento de C é expresso como “x não pertence a C” (x / Ꞓ
C). SANCHEZ E ARJONA ( 2002; p.4).
Conjunto Universo
É aquele Conjunto que pertence todos elementos utilizados num determinado assunto.
Assume-se assim que existe um Conjunto U que pertencem todos elementos utilizados
no tal assunto. O Conjunto U recebe o nome de Conjunto Universo.
Se procuramos as soluções reais de uma equação, nosso Conjunto Universo é IR
( Conjunto de Números Reais); se estamos resolvendo um problema cuja solução vai ser
um número inteiro, nosso Conjunto Universo é Z (Conjunto dos números inteiros); se
estamos resolvendo um problema de geometria plana, nosso Conjunto Universo é um
certo plano alfa.
Quase sempre a resposta para algumas questões depende do Universo U em que
estamos trabalhando. Consideremos a questão: “ Qual é o conjunto dos pontos P que
ficam a igual distância de dois pontos dados A e B, sendo A≠B?”.
a) Se U é a recta AB, o conjunto procurado é formado só por P;
b) Se U é um plano contendo A e B, Conjunto procurado é a recta mediatriz do
seguinte AB;
c) Se U é o espaço, o conjunto procurado é o plano mediador do seguinte AB
( plano perpendicular a AB no seu ponto médio).
Portanto, quando vamos descrever um Conjunto A através de uma propriedade P, é
essencial fixarmos o Conjunto Universo U em que estamos trabalhando, escrevendo A=
{x E U| x tem a propriedade P}. IEZZI e MURAKAMI ( p. 22).
Conjunto Vazio
É quando não possui nenhum elemento. O símbolo usado para o conjunto Vazio é Ø.
Obtemos um Conjunto Vazio quando descrevemos um Conjunto por meio de uma
propriedade P logicamente falsa.IEZZI e MURAKAMI (p. 21)
Ex: {x| x≠x} = Ø
{x| x é ímpar e múltiplo de 2}=Ø
{x| x >0 e x< 0}= Ø
Conjunto Unitário
É o conjunto que possui um único elemento.
Exemplos:
Conjunto de divisores de 1 , inteiros e positivos: {1}.
Conjunto das Soluções da equação 3x + 1= 10: {3}.
Conjunto dos Centros de Recursos da Província de Nampula do Instituto de Educação a
Distância da UCM: {CR-Nampula}.
Igualdade de Conjuntos
Os elementos de dois Conjuntos são idênticos.
Exemplos: Seja A e B: A={ 1, 2, 3, 4, 5, 6} e B={ 6, 2, 1, 5, 4, 3}, Logo, A=B(A é igual
a B).
Ao compararmos A e B e eles não são iguais dizemos que são conjuntos diferentes
representados assim A≠B.
A diferença simétrica
Lógica Proposicional
É um ramo da lógica que estuda o valor de verdade de proposições simples e compostas.
Ela usa o símbolos de tabelas de verdade para representar e analisar proposições e
argumentos. Tem aplicações em diversos campos, como fluxo de trabalho, portas
lógicas, ciência de computação, jogos e sistemas eléctricos.
Tautologia e Contradição
Tautologia é quando uma dada proposição v tem o valor lógico V( Verdadeira )
independentemente dos valores lógicos de p, q, etc. Quer: Seja v uma proposição
formada a partir de outras (p, q, r, ... etc.) mediante o emprego de conectivos ( ˅ ou ˄ )
ou de modificador ( ¬ ) ou de condicionais ( → ou ↔ ). IEZZI ( 2013).
Sendo assim a tabela – verdade de uma Tautologia v apresenta só V na coluna v.
Contradição é quando uma proposição composta é falsa para todos os valores de
verdade das variáveis proposicionais.
Seja f uma proposição formada a partir de outras ( p, q, e, ... etc.) mediante o emprego
de conectivos (˅ ou ˄ ) ou modificar ( ¬) ou de condicionais ( → ou ↔). Dizemos que f
é uma contradição quando f tem o valor lógico F ( falsa) independentemente dos
valores lógicos de p, q, r, etc. IEZZI ( 2013).
Assim, a tabela – verdade de uma contradição apresenta F na coluna de f.
Referência Bibliográfica
https://mundoeducacao.uol.com.br/matematica/
IEZZI, Gelson, (2013). Fundamentos de matemática elementar. Conjuntos e Funções.
V. 1.
SLAMAN, Theodore A. e W. Hugh Woodin. Mathematical Logic: The Berkeley
Undergraduate Course. Spring 2006.
MENEZES, Paulo Blauth (2008). Matemática Discreta para Computação e Informática
2ª ed. Porto Alegre: Bookman.