Introdução ao Cálculo

Transcrição

1 MATEMÁTICA Graduação Introdução ao Cálculo Jorge Andrés Julca Avila Maria Teresa Menezes Freitas

2 Jorge Andrés Julca Avila Maria Teresa Menezes Freitas Introdução ao Cálculo 2011

3 A958i Avila, Jorge Andrés Julca Introdução ao Cálculo / Jorge Andrés Julca Avila ; Maria Teresa Menezes Freitas. São João del-rei, MG : UFSJ, p. Graduação em Matemática. 1. Cálculo I. Freitas, Maria Teresa Menezes II. Título. CDU: 517 Reitor Helvécio Luiz Reis Coordenador UAB/NEAD/UFSJ Heitor Antônio Gonçalves Comissão Editorial: Fábio Alexandre de Matos Flávia Cristina Figueiredo Coura Geraldo Tibúrcio de Almeida e Silva José do Carmo Toledo José Luiz de Oliveira Leonardo Cristian Rocha Maria Amélia Cesari Quaglia Maria do Carmo Santos Neta Maria Jaqueline de Grammont Machado de Araújo Maria Rita Rocha do Carmo (Presidenta) Marise Maria Santana da Rocha Rosângela Branca do Carmo Rosângela Maria de Almeida Camarano Leal Terezinha Lombello Ferreira Edição Núcleo de Educação a Distância Comissão Editorial - NEAD-UFSJ Capa Eduardo Henrique de Oliveira Gaio Diagramação Luciano Alexandre Pinto

4 SUMÁRIO PRA COMEÇO DE CONVERSA UNIDADE 1 NOÇÕES DE LÓGICA Lógica: Compreendendo o Significado Proposições Conectivos e Quantificadores Operações Lógicas Construção de Tabelas Verdades Tautologias, Contradições e Contingências Implicação Lógica Equivalência Lógica Proposições Associadas a Uma Condicional A Negação Conjunta de Duas Proposições A Negação Disjunta de Duas Proposições Álgebra das Proposições Compreendendo o Processo Lógico Classificação das Proposições Tipos de Demonstração UNIDADE 2 CONJUNTOS Conceitos Primitivos e Básicos Operações com Conjuntos Propriedades das Operações com Conjuntos Conjunto das Partes UNIDADE 3 RELAÇÕES Introdução Par Ordenado e Produto Cartesiano Relação Binária

5 UNIDADE 4 CONJUNTOS DOS NÚMEROS NATURAIS E NÚMEROS INTEIROS História dos Números Conjunto dos Números Naturais Conjunto dos Números Inteiros UNIDADE 5 CONJUNTOS DOS NÚMEROS RACIONAIS E NÚMEROS IRRACIONAIS Conjunto dos Números Racionais Conjunto dos Números Irracionais UNIDADE 6 CONJUNTO DOS NÚMEROS REAIS Introdução Preliminares Corpos Conjunto dos Números Reais UNIDADE VII FUNÇÕES Introdução Função Operações com Funções Função Polinomial e Função Racional Função Valor Absoluto e Função Raiz Quadrada Propriedades das Funções Função Exponencial Função Logarítmica Funções Trigonométricas PARA FINAL DE CONVERSA REFERÊNCIAS

6 PARA COMEÇO DE CONVERSA Sejam bem-vindos! Este material de Introdução ao Cálculo foi elaborado para estudantes de Matemática, seja sua participação presencial, em sala de aula, ou a distância, interagindo com o computador. O único requisito para a aprendizagem deste material é boa vontade de adquirir novos conhecimentos e persistência na solução dos exercícios. Sabemos que em todo livro de Matemática é imprescindível não colocar as demonstrações de teoremas importantes. Este material não seria diferente, por isso, não desanime ao encontrar-se com alguns deles. Muitas das vezes, as demonstrações seguem um caminho muito técnico, porém os autores têm pensado nisso e de alguma forma facilitarão o entendimento. Este material está divido em sete capítulos, que se iniciam com os conceitos de lógica, seguidos com a teoria de conjuntos, relações, sistema dos números naturais, inteiros, racionais, irracionais e reais e, finalmente, funções. Na maioria das vezes, ao finalizar uma seção, encontram-se as Atividades que consistem em exercícios propostos e é muito importante que o aluno os resolva. Os Autores 5 iii

7

8 unidade 1 Unidade I Noções de Lógica Objetivos Explicitar conceitos relacionados à lógica. Utilizar adequadamente a simbologia matemática para argumentação lógica. 7

9

10 unidade Lógica: Compreendendo o Significado Caro estudante! Ao iniciar este tema, penso que talvez esteja curioso para saber o que afinal significa Lógica. Poderíamos dizer que se trata de um conceito que se relaciona ao estudo do raciocínio, estudo da veracidade de uma demonstração, estudo da argumentação correta, estudo das regras para verificar se um pensamento é verdadeiro ou falso etc. Quantas vezes nos surpreendemos dizendo a expressão: É lógico! O que carrega esta expressão quando a expressamos? Vamos acompanhar um diálogo imaginário: A professora Maria pergunta à sua aluna Renata: Você pensa que irá conseguir um bom conceito este semestre? Renata responde: É lógico! Tenho estudado todos os dias, tenho realizado todas as tarefas, tenho ficado atenta às explicações e... Perceba que, quando atribuímos uma lógica a um determinado pensamento, normalmente, temos argumentos que o sustentam. Ou seja, temos razões que justificam a nossa afirmação. Assim, podemos de uma maneira simples, dizer que A Lógica trata das formas de argumentação, das maneiras de encadear nosso raciocínio para justificar, a partir de fatos básicos, nossas conclusões. A Lógica se preocupa com o que se pode ou não concluir a partir de certas informações. (MACHADO, 1994, p ) Vamos, então, compreender que a Lógica é a ciência que estuda as leis gerais do pensamento e a arte de aplicá-las corretamente na investigação e demonstração da verdade dos fatos. 9

11 Importante saber que a Lógica fornece subsídios para melhorar a linguagem utilizada em Matemática, que formaliza e sintetiza claramente o pensamento. Para iniciar, vamos compreender alguns termos importantes para continuarmos nosso passeio pelo mundo da Lógica Proposições Denominamos proposição a todo conjunto de palavras ou símbolos que exprime um pensamento de sentido completo. As proposições afirmam fatos ou exprimem juízos que formamos a respeito de determinados entes. Exemplo 1.1. (a) O triangulo é um polígono. (b) Vagner estuda e trabalha. Vale a pena saber que a lógica tem alguns princípios que foram convencionados. Esses princípios que apresentaremos, a seguir, são denominados Axiomas da Lógica. Princípio da Não Contradição Uma proposição não pode ser verdadeira e falsa ao mesmo tempo. Princípio do Terceiro Excluído Toda proposição ou é verdadeira ou é falsa, isto é, verifica-se sempre um desses casos, e nunca um terceiro. Em virtude do princípio do terceiro excluído, dizemos que a Lógica Matemática é uma Lógica Bivalente, ou seja, toda proposição apresenta um e apenas um dos valores lógicos V(verdadeiro), F (falso). Observação. No estudo de Lógica, restringimo-nos a uma classe de proposições que são as declarativas e que admitem um único valor lógico. Assim, excluímos aquelas proposições interrogativas e imperativas. 10

12 unidade1 Podemos distinguir dois tipos de proposições: simples e composta. Vejamos como reconhecer cada uma. Denominamos de proposição simples (ou atômica) aquela que não contém outra proposição como parte integrante de si mesma. Muitos autores convencionam designar as proposições por letras minúsculas: p, q, r, s,..., que são denominadas por letras proposicionais. Exemplo 1.2. Exemplos de proposições simples. (a) p : Renato cortou o cabelo. (b) q : Todo triângulo tem 3 lados. (c) r : O Número 144 é divisível por 2. Denominamos de proposição composta (ou molecular) aquela formada pela combinação de duas ou mais proposições. As proposições compostas, comumente, são designadas por letras maiúsculas: P, Q, R, S,..., que são também denominadas por letras proposicionais. Exemplo 1.3. Exemplos de proposições compostas. (a) (b) P : Marcos é careca, e Pedro é estudante. Q : Se João é campeão de natação, então, ele sabe nadar. Observação. Quando é interesse explicitar que uma proposição composta P é formada pela combinação de proposições simples, p, q, r, s,..., e escreve-se: P pqrs,,,,.... Percebam que, para obtermos proposições compostas, utilizamos expressões para unir, conectar, ou seja, ligar proposições. Tais expressões se denominam conectivos Conectivos e Quantificadores Denominamos por Conectivos palavras que são utilizadas para formar novas proposições a partir de outras. Veja, a seguir, alguns conectivos: 11

13 não : negação e : conjunção ou : disjunção se... então... : condicional... se e somente se... : bicondicional É importante perceber que algumas expressões atribuem um senso de quantidade às proposições. A essas expressões, denominamos por Quantificadores. Conheçam, abaixo, alguns quantificadores: : para todo, qualquer que seja : existe, existe algum! : existe um único, existe um só Importante saber que é denominado quantificador universal. é denominado quantificador existencial. Observação. Observe um detalhe importante: frases declarativas afirmativas, com variáveis, são denominadas sentenças abertas e não podemos atribuir um único valor lógico (isto é, não podemos afirmar serem verdadeiras ou falsas). Exemplo 1.4. A equação x 4 7 é uma sentença aberta. Entretanto, quando quantificamos uma sentença aberta (quando utilizamos um quantificador), a mesma se transforma em uma proposição. Exemplo 1.5.! x / x4 7 (é uma proposição verdadeira) Operações Lógicas Vamos, neste item, conhecer os operadores lógicos e compreender o valor lógico da proposição quando os utilizamos. 12

14 unidade1 Assim, estaremos apresentando tabelas denominadas TABELA VERDADE. Nestas tabelas, figuram todos os possíveis valores lógicos da proposição composta (resultante), correspondentes a todas as possíveis atribuições de valores lógicos às proposições simples componentes Negação Para a negação, usamos o seguinte símbolo: ~. Lê-se: não. Denominamos de negação de uma proposição p a proposição ~ p (lê-se: não p) que será falsa, quando p for verdadeira, e ~ p será verdadeira quando p for falsa. Observe a Tabela Verdade de ~ p : p V F ~ p F V Exemplo 1.6. (a) Seja p : "Maria é aluna do Curso de Matemática a distância da UFSJ". Teremos ~ p : "Maria não é aluna do Curso de Matemática a distância da UFSJ". (b) Seja p : 8 7. Note que p é verdadeira (V). Teremos que ~ p : 8 7. Note que ~ p é falsa (F). (c) Seja p : 2 x / x 0. Teremos que ~ p : 2 x / x 0. Tabela Verdade É uma tabela contendo todos os possíveis valores lógicos da proposição composta (resultante), correspondentes a todas as possíveis atribuições de valores lógicos às proposições simples componentes. 13

15 Conjunção Na conjunção, usamos o seguinte símbolo:. Lê-se: e. Dadas duas proposições, p e q, denominamos conjunção de p e q a proposição composta, p q (lê-se: p e q), cujo valor lógico será verdadeiro apenas quando ambas as proposições p e q forem verdadeiras. Observe a Tabela Verdade de p q: p q p q V V V V F F F V F F F F Disjunção Na disjunção, usamos o seguinte símbolo:. Lê-se: ou. Dadas duas proposições, p e q, podemos formar a proposição composta, p q (lê-se: p ou q), cujo valor lógico será verdadeiro sempre que uma das componentes o seja. Observe a Tabela Verdade de p q: p q p q V V V V F V F V V F F F Disjunção Exclusiva Na disjunção exclusiva, usamos o seguinte símbolo:. Lê-se: ou, ou. 14

16 unidade1 Denominamos disjunção exclusiva a proposição, p q, cujo valor lógico é apresentado na tabela abaixo: p q p q V V F V F V F V V F F F Note que a proposição composta com disjunção exclusiva é falsa, quando ambas as proposições envolvidas tiverem o mesmo valor lógico. Exemplo 1.7. Sejam p : Maria é filha de Carla (V) q : Maria é filha de Vânia (V) Então, p q é (F) (Não pode acontecer ao mesmo tempo) Condicional Usamos o seguinte símbolo:. Lê-se: se... então. Dadas duas proposições, p e q, podemos obter a proposição, p q (lê-se: se p então q), cujo valor lógico só não é verdadeiro, no caso em que a primeira componente for verdadeira, e a segunda for falsa. Observe a Tabela Verdade da Condicional: p q p q V V V V F F F V V F F V 15

17 Observação. No caso em que a composta p q for verdadeira, dizemos que p é condição suficiente para que ocorra q, e q é condição necessária para que ocorra p Bicondicional Usamos o seguinte símbolo:. Lê-se:... se e somente se... Dadas duas proposições, p e q, podemos obter a proposição, p q (lê-se: p se e somente se q), cujo valor lógico será verdadeiro, desde que as duas componentes tenham o mesmo valor lógico (ambas verdadeiras ou ambas falsas). Observe a Tabela Verdade da Bicondicional: p q p q V V V V F F F V F F F V Observação. No caso em que a composta p q for verdadeira, dizemos que p é condição necessária e suficiente para que ocorra q, e q é condição necessária e suficiente para que ocorra p. A bicondicional também pode ser escrita como uma conjunção de duas condicionais. Ou seja, pq pq q p, onde o símbolo denota equivalência. Observe a Tabela Verdade de pq q p : 16

18 unidade1 p q p q q p pq q p V V V V V V F F V F F V V F F F F V V V Observem que podemos obter os valores lógicos de proposições compostas, encontrando os valores lógicos das proposições simples envolvidas e atentando para o valor lógico, ao utilizar cada conectivo Construção de Tabelas Verdades Penso que, depois de tudo que já foi visto até o momento, podemos perceber que, a partir de várias proposições simples, p, q, r,..., poderemos combiná-las, por meio dos conectivos lógicos ~,,,,, e construir proposições compostas. Observe um exemplo:, ~ P pq p p q,, ~ ~ ( ~ ) R pqr p q r q p r Para conhecer o valor lógico da proposição resultante, utilizamos as Tabelas Verdades das operações lógicas, conforme realizado anteriormente. Importante O número de linhas de uma Tabela Verdade se relaciona com o número n de proposições simples envolvidas e é dado por 2 n. Por meio de convenções, é possível diminuir o número de sinais de agrupamentos (parêntesis), assim como acontece em álgebra, quando significa 17

19 Apresentamos, abaixo, a hierarquia estabelecida para os conectivos: 1. ~ : negação 2. : (e) conjunção; : (ou) disjunção 3. : condicional 4. : bicondicional Essa é a ordem de prioridades convencionada. Dessa forma, podemos compreender que p q r significa o mesmo que pq r, e não p q r, devido à convenção estabelecida. Isto é, os conectivos (e) ; (ou) têm precedência sobre (condicional) e (bicondicional). Vamos verificar se compreendemos o que foi exposto até este momento! Anime-se! Fique atento que tudo é bem tranquilo de ser compreendido. Elaboremos a Tabela Verdade da proposição abaixo:, : ~ P pq p p q p Note que a proposição P pq, tem duas proposições simples envolvidas, portanto a Tabela Verdade terá linhas. p q ~ p p ~ p q p p~ p q p V V F F V V V F F F V V F V V F V V F F V F F V 18

20 unidade1 Uma vez preenchida a Tabela Verdade podemos concluir que a proposição, : ~ P pq p p q p é sempre verdadeira, independentemente dos valores lógicos das proposições simples p e q envolvidas. Atividade 1.1 (1) Apresente a Tabela Verdade das seguintes proposições (a) P pq, : pq ~ p q p (b) P pqr,, : p~ r q ~ r (c) P p, q, r: pq qr pr Fique atento! Antes de iniciar, pense quantas linhas serão necessárias na Tabela Verdade, observando o número de proposições simples envolvidas Tautologias, Contradições e Contingências Definição 1.1. (Tautologia) Denominamos de Tautologia a toda proposição composta cuja última coluna de sua Tabela Verdade encerra somente com a letra V (verdade). As Tautologias são também denominadas por proposições tautológicas ou proposições logicamente verdadeiras. As tautologias são, por vezes, indicadas pela letra t ou v. Exercício 1.1. Verifique se entre as Tabelas Verdades, obtidas anteriormente, existe alguma que apresente tautologia. O que isso significa? Definição 1.2. (Contradição) Denominamos por Contradição a toda proposição composta cuja última coluna da Tabela Verdade figura apenas com a letra F (Falso). As contradições são também denominadas por proposições contraválidas ou proposições logicamente falsas. As contradições são, por vezes, indicadas pela letra c ou f. 19

21 Definição 1.3. (Contingência) Denominamos por Contingência (ou indeterminada) a toda proposição composta cuja última coluna da Tabela Verdade figura apenas as letras V (Verdadeira) e F (Falsa), cada uma, pelo menos, uma vez. As contingências são também denominadas proposições contingentes ou proposições indeterminadas Implicação Lógica Vamos compreender o significado da implicação lógica. Dizemos que uma proposição P pqrs,,,,... implica uma proposição Q pqrs,,,,... Q pqrs,,,,... é verdadeira, todas as vezes que,,,,... P pqrs for verdadeira. De uma maneira mais simples, podemos dizer que uma proposição P implica uma proposição Q, se e somente se, a condicional P Notação. P Q. Atenção! Q é uma tautologia. Observe que os símbolos e são distintos, pois o primeiro se relaciona a uma operação lógica, enquanto que o segundo refere-se a uma relação entre proposições. (Grosseiramente, podemos estabelecer uma associação com a aritmética, com os sinais e. Veja que representa um número, enquanto que 3 < 4 não representa um número)., se Propriedades da implicação lógica (a) P pqrs,,,,... Q pqrs,,,,... (Reflexiva) (b) P pqrs,,,,... Q pqrs,,,,... e Q pqrs,,,,... R pqrs,,,,...,,,,... R pqrs,,,,... P pqrs 1.8. Equivalência Lógica (Transitiva) Vamos compreender o significado da equivalência lógica.. Então, 20

22 unidade 1 Dizemos que uma proposição P pqrs,,,,... é equivalente a uma proposição Q pqrs,,,,..., se as Tabelas Verdades dessas duas proposições são idênticas. De outra maneira, podemos dizer que a proposição P pqrs,,,,... é equivalente à proposição Q pqrs,,,,..., isto é, se, e somente se, a bicondicional é tautológica. Atenção!,,,,... Q pqrs,,,,... P pqrs,,,,,... Q pqrs,,,,... P pqrs Observe que os símbolos e são distintos, pois o primeiro se relaciona a uma operação lógica, enquanto que o segundo estabelece que a bicondicional é tautológica Propriedades da equivalência lógica (a) P pqrs,,,,... Q pqrs,,,,... (Reflexiva) (b) P pqrs,,,,... Q pqrs,,,,...,,,,... R pqrs,,,,... Q pqrs, se, e somente se, (Simétrica) (c) P pqrs,,,,... Q pqrs,,,,... e Q pqrs,,,,... R pqrs,,,,...,,,,... R pqrs,,,,... P pqrs (Transitiva) 1.9. Proposições Associadas a Uma Condicional Dada uma condicional p e q :. Então, q, podemos associar as seguintes condicionais contendo p 21

23 Proposição recíproca de p q expressa por q p Proposição contrária de p q expressa por ~ p ~ q Proposição contrarrecíproca (ou contrapositiva) de p q expressa por ~ q ~ p Vejamos a Tabela Verdade dessas proposições: p q ~ p ~ q p q q p ~ p ~ q ~ q ~ p V V F F V V V V V F V V F V V F F V F F V F F V F F V V V V V V Observe que a Tabela Verdade da proposição recíproca e contrária bem como da proposição condicional e sua contrarrecíproca são idênticas. Isso nos mostra as seguintes propriedades: i. A condicional p q e sua contrarrecíproca ~ q ~ p são equivalentes, isto é, pq ~ q ~ p Observação. O método de demonstração, reconhecido por redução ao absurdo, se baseia na propriedade acima citada. ii. A recíproca q p e a contrária ~ p ~ q da condicional p q são equivalentes, isto é: pq ~ q ~ p Verifique sua compreensão...! Atividade 1.2 (1) Determine: (a) A contrarrecíproca de p ~ q 22

24 unidade1 (b) A contrarrecíproca de ~ p q (c) A contrarrecíproca da recíproca de p ~ q (d) A recíproca da contrarrecíproca de ~ p ~ q Exemplo 1.8. Vejamos alguns exemplos que esclarecem os conceitos vistos acima: 1. Seja a condicional relativa a dois ângulos, conforme expresso abaixo. Proposição p q: Se dois ângulos são opostos pelo vértice, então, esses ângulos são congruentes. Recíproca desta proposição q p: Se dois ângulos são congruentes, então, esses ângulos são opostos pelo vértice. Observação. A condicional p q é verdadeira, mas sua recíproca não é verdadeira (isso nos mostra que nem sempre teremos a recíproca de uma proposição verdadeira também verdadeira). 2. Demonstre: (a) Se 2 x é ímpar, então, x é impar. Veja que, muitas vezes, devemos nos lembrar da equivalência que existe entre a condicional e sua contrarrecíproca para facilitar a demonstração. Lembre-se de que, quando existe a equivalência, significa que os valores lógicos são idênticos. pq ~ q ~ p Assim, a contrarrecíproca da condicional: Se Se x é par, então, 2 x é ímpar, então, x é ímpar seria: 2 x é par. Vejamos se conseguimos demonstrar com facilidade a contrarrecíproca. Seja x um número par. Então, para um número n, x 2n. 2 Logo, x 2n 2. 23

25 Vale lembrar que 2n 2 4n 2 22 n Assim, x 22 n Portanto,. 2 x é par.. Dessa forma, consideramos a implicação demonstrada por redução ao absurdo que se baseia na demonstração do contrarrecíproco A Negação Conjunta de Duas Proposições Denomina-se negação conjunta de duas proposições p e q à proposição não p e não q, isto é, ~ p ~ q. A negação conjunta, envolvendo as proposições p e q, é indicada por p q. Assim, pq ~ p ~ q Veja a Tabela Verdade da proposição p q: p q p q V V F V F F F V F F F V A Negação Disjunta de Duas Proposições Denomina-se negação disjunta de duas proposições p e q a proposição não p ou não q, isto é, ~ p ~ q. A negação disjunta envolvendo as proposições p e q, tem sido convencionalmente indicada por p q. Assim, pq ~ p ~ q 24

26 unidade1 Observe a Tabela Verdade da proposição p q: p q p q V V F V F V F V V F F V Observação. Os símbolos e são conhecidos por conectivos de scheffer. Agora é com você! Selecionamos alguns exercícios para você verificar sua aprendizagem. Lembre-se de que você poderá sempre contar com o esclarecimento do seu tutor. Atividade 1.3 (1) Demonstre, por Tabela Verdade, que os três conectivos ~, e exprimem-se em função do conectivo de Scheffer, conforme abaixo: (a) ~ p p p (b) pq pq p q (c) pq p p q q Sugestão: Para isso, você deverá construir a tabela verdade exibindo a equivalência, isso significa mostrar que a bicondicional é tautológica. (2) Demonstre, por Tabela Verdade que os três conectivos ~, e exprimem-se em função do conectivo de Scheffer, conforme abaixo: (d) ~ p p q (e) pq p p q q (f) pq pq q p 25

27 Sugestão: Lembre-se, novamente, de que você deverá construir a Tabela Verdade exibindo a equivalência, isso significa mostrar que a bicondicional é tautológica Álgebra das Proposições Perceba que os conectivos apresentam algumas propriedades de importância fundamental para melhor compreensão da lógica inerente aos processos de demonstração da matemática. Podemos facilmente verificar e constatar a veracidade das propriedades que serão apresentadas, por meio de Tabelas Verdades. Por convenção, as propriedades recebem nomes especiais que devemos conhecer, para que seja possível fazer referência às mesmas sem a necessidade de detalhar repetidas vezes. Percebam que a denominação é bem semelhante a outras já conhecidas, quando abordamos os conjuntos numéricos Propriedades i. Propriedades da conjunção (a) Idempotente: p p p (b) Comutativa: pq q p (c) Associativa: pq r pq r (d) Identidade: pt p ( t é uma tautologia) p c c ( c é uma contradição), onde t é considerado o elemento neutro da conjunção, e c o elemento absorvente da conjunção. Observação. Mais uma vez, lembramos que ser equivalente significa que os valores lógicos são os mesmos. 26

28 unidade1 ii. Propriedades da disjunção (a) Idempotente: p p p (b) Comutativa: pq q p (c) Associativa: pqr pq r (d) Identidade: p t t ( t é uma tautologia) pc p ( c é uma contradição), onde t é considerado o elemento absorvente da disjunção, e c o elemento neutro da disjunção. Observação. Novamente, alertamos que ser equivalente significa que os valores lógicos são os mesmos. iii. Propriedades da conjunção e da disjunção (a) (b) (c) Distributiva pqr pq p r pqr pq p r Absorção p pq p p pq p Regra de De Morgan ~ pq ~ p ~ q ~ pq ~ p ~ q Observação. Note que, pelas regras de De Morgan, a negação transforma a conjunção em disjunção e a disjunção em conjunção. 27

29 iv. Propriedades da condicional e sua negação A propriedade é dada por pq ~ p q Verifiquemos, por meio da Tabela Verdade, a equivalência acima: p q p q ~ p ~ p q V V V F V V F F F F F V V V V F F V V V Observação. (a) Nas colunas em destaque, observa-se que os valores lógicos são idênticos, isso significa que as proposições são equivalentes. (b) Podemos, então, utilizar das equivalências conhecidas para compreendermos outras. Exemplo 1.9. Considere a negação da condicional p Assim, ~ pq ~ ~ pq p ~ q ~ pq p ~ q v. Propriedades da bicondicional e sua negação A propriedade é dada por pq pq q p q, então, 28

30 unidade1 Sugestão. Faça a tabela verdade e verifique a equivalência das propriedades. Lembre-se de que devemos compreender que ser equivalente significa ter o mesmo valor lógico. vi. Negação da proposição com Quantificador Importante relembrar que expressões atribuem um senso de quantidade às proposições que recorrem aos Quantificadores, como visto na Seção 1.3. Observe a negação de Proposições: Toda pessoa fala francês. Nem toda pessoa fala francês (Negação de 1). Alguém foi ao parque. Ninguém foi ao parque (Negação de 2). Alguém foi à diretoria. Ninguém foi à diretoria (Negação de 3). Temos, então, as equivalências: xa px xa px xa px xa px ~ ( ) ~ ( ) ~ ( ) ~ ( ) Observação. Observe como é simples, pois a negação transforma o quantificador universal em quantificador existencial, seguido de negação e vice-versa. Essa equivalência é conhecida como Segunda Regra de De Morgan. Exemplo (a) ~ n, n7 12 n / n7 12 (b) ~ x / tg x0 x, tg x 0 29

31 Exercício 1.2. Verifique, por Tabela Verdade, as equivalências: (a) p~ q (b) p~ p c t Lembre-se de que t e c são proposições com valores lógicos, (V) e (F), ou seja, t (tautologia) e c (contradição) Compreendendo o Processo Lógico Penso que vale ressaltar, neste momento, que Processo Lógico pode ser compreendido como método de raciocínio no qual, a partir da verdade de uma ou mais proposições (denominadas hipóteses), obtemos a verdade de outra, ou outras proposições (denominadas teses). O Processo Lógico de raciocínio pode ser classificado em indutivo, ou dedutivo. Método indutivo Parte de hipóteses particulares para chegar a teses mais gerais, ou seja, partindo do específico, chega-se ao geral. Vale atentar que, embora este método muitas vezes tenha sido considerado de muito valor para as ciências experimentais, o mesmo não é recomendável ou validado para a Matemática. Ou seja, não basta verificar que certa afirmação é valida, para um caso particular, para se considerar verdadeira. Por exemplo: Saber que Maria e Pedro foram reprovados em Geografia não será suficiente para afirmar que todos da turma foram reprovados em Geografia. Método Dedutivo Parte de hipóteses em que, pelo menos, uma é geral para se chegar a teses particulares. Por exemplo: Sabendo-se que todos os supermercados aumentaram o preço do café, é suficiente para afirmar que o Carrefour aumentou o preço do café. 30

32 unidade Classificação das Proposições Importante!! Para provarmos a verdade de uma proposição denominada tese, pelo processo lógico dedutivo, existe a necessidade de conhecermos proposições verdadeiras para considerarmos como hipóteses. As proposições podem ser assim classificadas: 1. Definições. São proposições nas quais são convencionados significados de elementos ou termos. 2. Postulados (ou Axioma). São proposições nas quais são convencionadas propriedades de elementos ou termos definidos. Geralmente, são propriedades óbvias e, portanto, a verdade dos postulados, assim como as definições, é aceita sem demonstração. 3. Teorema. São proposições que estabelecem propriedades dos elementos ou termos, e as verdades exigem demonstrações. 4. Corolário. Apresenta-se como um teorema advindo de uma consequência imediata de outro teorema. 5. Lema. Apresenta-se como um teorema que precede um teorema de alto grau de importância e que lhe servirá para sua demonstração. Note que, até este ponto, temos verificado as implicações e equivalências, por meio de elaboração de Tabelas Verdades. Passaremos a demonstrar as implicações e equivalências das proposições, valendo-nos do método dedutivo, a partir da álgebra das proposições. Para tal, será importante estarmos atentos às propriedades apresentadas anteriormente e que reapresentamos, a seguir. 31

33 Propriedades da Conjunção, (a) Idempotente : p p p (b) Comutativa : pq q p (c) Associativa : pq r pq r (d) Identidade : pt p ( t é uma tautologia) p c c ( c é uma contradição) Propriedades da Disjunção, (a) Idempotente : p p p (b) Comutativa : pq q p (c) Associativa : pqr pq r (d) Identidade : p t t ( t é uma tautologia) pc p ( c é uma contradição) Propriedades da Conjunção e da Disjunção (a) Distributiva : pqr pq pr pqr pq pr (b) Absorção : p pq p p pq p (c) Leis de De Morgan : (a) pq ~ p q (b) ~ pq ~ p ~ q ~ pq ~ p ~ q Equivalências notáveis da Condicional e sua negação ~ pq p ~ q Equivalências notáveis da Bicondicional e sua negação (a) pq pq q p ~ pq ~ q p (b) ~ pq ~ pq~ q p p~ qq~ p (a) p ~ p c (b) p~ p t Equivalências notáveis complementares 32

34 unidade1 Exercício 1.3. Vamos testar a compreensão? Com apoio da álgebra das proposições, demonstremos, pelo método dedutivo, as implicações que se seguem, observando que muitas recebem nomes especiais que servem de referência. (a) i. c p Perceba que, partindo de propriedades e equivalências conhecidas, devemos demonstrar a validade da implicação c p. Para tanto, devemos mostrar que a condicional c p é tautológica. Assim, teremos: c p ~ c p t p t ii. p t Perceba que, partindo de propriedades e equivalências conhecidas, devemos demonstrar a validade da implicação p t. Para tanto, devemos mostrar que a condicional p t é tautológica. Assim, teremos: (b) pq p (Simplificação) pt ~ pt t O que é necessário para se demonstrar uma implicação? Claro! Devemos demonstrar que a condicional é tautológica. Assim, teremos: pq p ~ pq p ~ p ~ q p ~ q~ p p ~ q t t De maneira semelhante, podemos demonstrar que pq q (c) p p q (Adição) Novamente, lembre que será necessário provar que a condicional p p q é tautológica. Assim, teremos: 33

35 (d) pq p q (Modus ponens) ~ ~ p p q p pq p pq t q t Perceba que é importante lembrar o que significa demonstrar uma implicação lógica. Isso mesmo... Significa que devemos demonstrar que a condicional associada é tautológica. Lembre que uma proposição P implica uma proposição Q, se, e somente se, a condicional P Q é uma tautologia. Assim, ~ ~ c ~ ~ ~ t pq pq pq p q p p q p q q p q q p q q p q q p q ~ q q ~ p ~ p (e) pq ~ q ~ p (Modus tollens) Novamente, será importante pensar, antes de iniciar a demonstração, o que devemos fazer. O que significa demonstrar uma implicação lógica? Isso mesmo... Significa que devemos mostrar que a condicional associada é tautológica e, para isso, vamos utilizar as propriedades conhecidas anteriormente. Vamos começar? c ~ pq ~ q~ p ~ pq ~ q ~ p ~ p~ q q~ q ~ p ~ p~ q ~ p ~ p~ q ~ p ~ ~ p~ q ~ p pq ~ p p p q t q t t 34

36 unidade1 Exercício 1.4. Continuando a verificar a nossa compreensão, com apoio da álgebra das proposições, vamos demonstrar as equivalências que se seguem: (a) pq p ~ qc Lembremos que duas proposições são equivalentes, quando possuem o mesmo valor lógico. Assim, para demonstrar as equivalências, devemos partir de uma delas e com equivalências válidas e conhecidas chegar à outra. Uma dica que penso ser interessante divulgar é que sempre parece facilitar a demonstração, quando partimos das maiores. Vejamos, então: p ~ qc ~ p~ q c ~ p~ q ~ pq pq Vale a pena tentar identificar a propriedade ou equivalência notável que garantiu cada passagem da demonstração. Faça isso... Você passará a compreender ainda mais... (b) pq pq q Novamente, vamos pensar: O que devemos fazer para demonstrar uma equivalência lógica? Isso mesmo... Devemos mostrar que as proposições possuem o mesmo valor lógico. Portanto, partindo de uma delas, e lançando mão de equivalências conhecidas (por serem propriedades ou já demonstradas), chegamos à outra. Comecemos por ~ ~ ~ ~ ~ ~ p q t ~ p q p q pqq pq q p q q pq qq Tente identificar a propriedade ou equivalência notável que garantiu cada passagem. 35

37 (c) pq p~ q ~ p Devemos mostrar que as proposições possuem o mesmo valor lógico. Portanto, partindo de uma delas, e lançando mão de equivalências conhecidas (por serem propriedades ou já demonstradas), chegamos à outra. pq p~ q ~ pq ~ p~ q ~ p q~ q ~ pc ~ p (d) pq r pq r Por onde começar? Devemos mostrar que as proposições possuem o mesmo valor lógico. ~ ~ ~ ~ ~ ~ pq r pq r p qr p qr p qr p q r (e) ~ p p p Com efeito, p p~ p~ p ~ p Nem tudo que parece complicado o é... Não acha? Sempre que preciso, recorra às propriedades e equivalências notáveis apresentadas anteriormente Tipos de Demonstração Vamos conversar um pouco sobre os tipos de demonstração. Como já devem ter observado, e citamos anteriormente neste texto, a Matemática exige que suas proposições sejam demonstradas, exceto aquelas denominadas definições ou postulados. Assim, vamos apresentar, ou talvez apenas recordar, os Tipos de Demonstrações mais utilizadas: 36

38 unidade1 Demonstração pelo método dito DIRETO : Partindo de uma ou mais afirmações verdadeiras denominadas hipóteses por meio de uma sequência de afirmações verdadeiras (por serem definições ou teoremas já demonstrados), chega- se ao que se deseja demonstrar, que é denominado de tese. Demonstração pelo método dito INDIRETO ou, também, denominado Por Absurdo. Esta demonstração se apoia na equivalência entre uma condicional e sua contrarrecíproca. Assim, partindo da negação da tese, por meio de uma sequência de afirmações verdadeiras, chega-se à negação da hipótese. Como a hipótese é o que temos de verdade, diz-se que é um ABSURDO! CONTRAEXEMPLO Utilizamos um contraexemplo, quando queremos mostrar que uma proposição é falsa. Ou seja, a apresentação de um caso que contempla nossa proposição não é suficiente para garantir a validade da mesma. Porém, se conseguimos exibir um contraexemplo é suficiente para dizer que a proposição é falsa. Vejamos alguma situação que ilustre este fato, ou seja, vamos demonstrar a falsidade das proposições, exibindo um contraexemplo: Exemplo (a) x x 0 Ora, sabemos que a afirmação acima é falsa, pois nem todos os números reais têm módulo diferente de zero. Temos que 0 0 é um contraexemplo. 2 4 (b) 2 2 x x x 37

39 Ora, sabemos que a afirmação é falsa e para demonstrar basta exibir um contraexemplo. O número 2 seria um contraexemplo, pois (c) x x 2 x 1/3 seria um contraexemplo, pois 1/3 2 1/9 1/3. Agora, é hora de exercitar e tentar compreender toda a lógica por trás da Matemática. 38

40 unidade 2 Unidade II Conjuntos Objetivos Estabelecer relações de igualdade, pertinência e inclusão entre conjuntos. Reconhecer os conjuntos unitários e vazios. Realizar as operações entre conjuntos. Aplicar as propriedades de operações entre conjuntos. 39

41

42 unidade Conceitos Primitivos e Básicos A teoria de conjunto é a base da análise matemática, tal como a conhecemos atualmente, e existe todo um campo que se ocupa de fundamentá-la. Por isso, não insistiremos muito em formalizar o conceito de conjunto, e, sim, as operações que neles poderiam realizar-se. Acredita-se que a teoria moderna dos conjuntos foi criada pelo matemático Georg Cantor ( ), que notou a necessidade de tal teoria, quando estudava séries trigonométricas. Georg Cantor Os conceitos de conjunto, elemento e pertinência são considerados conceitos primitivos, isto é, não precisa preocupar-se com a definição de cada um deles. A construção da teoria de conjuntos tem como ponto de partida: os conceitos primitivos, as definições de inclusão e igualdade de conjuntos Conjunto Um conjunto é uma coleção de objetos definidos de forma precisa. Exemplo 2.1. (a) O conjunto de pessoas que assistem a um clássico de futebol no estádio Maracanã. (b) O conjunto de frutas da fruteira de minha casa. (c) O conjunto de planetas de nosso sistema planetário solar. (d) O conjunto dos Números Naturais ( ). (e) O conjunto dos Números Inteiros ( ). (f) O conjunto dos Números Racionais ( ). (g) O conjunto dos Números Reais ( ). (h) O conjunto dos Números Complexos ( ). (i) A coleção de todos os bons jogadores de futebol de salão do CEPEUSP. Não é um exemplo de conjunto, pois, não está definida a palavra: bons. 41

43 Observação. Costuma-se usar letras maiúsculas para designar um conjunto Elemento Cada objeto de uma coleção que determina um conjunto é chamado de elemento de um conjunto. Exemplo 2.2. (a) Seja A laranja, pera, banana, uva, maçã, o conjunto de algumas frutas. Os elementos deste conjunto são: laranja, pera, banana, uva e maçã. (b) Seja o conjunto dos números naturais. Os elementos deste conjunto são: 0,1, 2,3, Pertinência Um elemento x de um conjunto A é denotado por x A (1) e lê-se: x pertence a A. Quando x não é um elemento de A, denotamos x A. Observação. Quando os elementos x de A satisfazem certa propriedade, Px, ( ) expressamos o conjunto A, como A x: Px ( ) (2) Lê-se: O conjunto A está formado por todos os elementos x, tal que x satisfaz Px. ( ) Exemplo Então, 1 A, 3 A, 5 A e 6 A. (a) Seja A n : n 2k 1, k (b) O conjunto de todos os planetas do Sistema Planetário Solar. Este conjunto pode ser expresso do modo seguinte: T x: x é um planeta do Sistema Planetário Solar Seja x 1 = terra, x 2 = saturno, x 3 = júpiter. Então, x1, x2, x3 T. 42

44 unidade Diagrama de Venn-Euler Em algumas ocasiões, é muito útil representar conjuntos mediante diagramas, chamados diagramas de Venn-Euler. Estes são curvas fechadas não entrelaçadas como, por exemplo, circunferências, quadrados, retângulos etc. Na Figura 2.1, representamos os conjuntos A, B, e C, nos diagramas de Venn-Euler. Figura 2.1. Diagramas de Venn-Euler. Definição 2.1. (Conjunto Vazio) Um conjunto que não tem elementos é chamado de Conjunto Vazio e se denota pelo símbolo. Exemplo 2.4. O conjunto de números racionais cujo quadrado seja 2, isto é, r : 2 2 : r 2 Definição 2.2. (Conjunto Unitário) Um conjunto com um único elemento é chamado Conjunto Unitário. Exemplo 2.5. O conjunto das soluções reais não negativas que satisfazem a equação x é unitário. Com efeito, de 4 4 x 2 2, temos que 4 4 x ou, equivalentemente, x x x x x x Assim, x 0, x 4, x2 2i e x2 2i. Se denotarmos por 43

45 4 4 o conjunto em questão, teríamos que A 0 A x : x 2 2, x 0, o qual é unitário. Definição 2.3. (Conjuntos Disjuntos) Dois conjuntos A e B se dizem disjuntos, se não têm elementos em comum. Em diagrama de Venn-Euler (Figura 2.2), é apresentada a disjunção de dois conjuntos A e B. Figura 2.2. Conjuntos disjuntos. Exemplo 2.6. Se A é o conjunto de salários de um representante da câmara de deputados do Congresso Nacional do Brasil durante um ano, e B é o conjunto de salários mínimos de um trabalhador do Brasil durante um ano, estes conjuntos são disjuntos. Definição 2.4. (Inclusão de Conjuntos) Sejam A e B dois conjuntos. Dizemos que B está contido em A (ou B é subconjunto de A ), se todo elemento de B é elemento de A. Em notação simbólica B A x, xb x A (3) A inclusão B A, em diagrama de Venn-Euler, é apresentada na Figura 2.3. Figura 2.3. Inclusão de conjuntos: B A. 44

46 unidade2 Observação. 1. Em vez de escrever B A, podemos escrever A B (lê-se: A contém a B ). 2. Quando um conjunto B não está contido em A, podemos escrever, simbolicamente, por B A. Mais precisamente, B A x, xb x A (4) 3. Se A é um conjunto, então, o conjunto A, isto é, o conjunto vazio está contido em qualquer conjunto. Mais formalmente, será demonstrado na Proposição 2.1a. 4. A relação A A expressa que todo conjunto é subconjunto de si mesmo. Para mais detalhes, veja Proposição 2.1b. 5. Conjunto Universal. O conjunto universal denotado por U é o maior conjunto Exemplo 2.7. que contém todos os outros conjuntos que participam em um determinado problema sobre conjuntos. (a) Seja A 2, 4,6,8,10 e 4,6 B. Então, B A. (b) Seja Ax : x 3 2x 2 3x 0. Verifique que B x : x 2 1, x 0 é um subconjunto de A. Com efeito, de equação 3 2 x x x , temos que xx 2x3 0, ou equivalentemente, xx3x1 0. De aqui, A 3, 0,1 B, temos que x 1 e 0 x. Assim, 1 B. Desse modo, B A. (c). De fato, existe o 1, tal que 1 e 1.. Por outro lado, de Definição 2.5. (Igualdade de Conjuntos) Dois conjuntos A e B são iguais, se todo elemento de A é elemento de B, e todo elemento de B é elemento de A. Em notação simbólica AB x, xa x B (5) 45

47 Observação. Como consequência dessa definição, pode-se definir quando dois conjuntos A e B são diferentes, denotando-lhes por A B, e dados por Exemplo 2.8. (a) Seja,, AB x xa xb x xb x A (6) 1 Ax : x0, x0 x e 1,1 B. Então, A B. (b) Seja C x: x é vogal da palavra coração e A x: x é vogal da palavra amor Então, A C. (c) Seja Ax : x 2 x2 0 e B x : x 2 x 2 0 fato, A 1, 2 e 1, 2 B... Logo, A B. De Definição 2.6. (Subconjunto Próprio) Dizemos que B é um subconjunto próprio de A, se B A e B A. Exemplo 2.9. Num trem da CPTM de São Paulo, considere o conjunto B como sendo os passageiros que viajam num vagão do trem, e A o conjunto de pessoas no trem. Então, B é um subconjunto próprio de A. Proposição 2.1. (Propriedades da Inclusão) Sejam ABC,, conjuntos arbitrários. Então, (a) A (b) A A (Reflexividade) (c) AB B A A B (Antissimetria) (d) B A AC B A (Transitividade) Prova. (a) Suponha que A, então, pela Eq. (4) x, x x A. Como o conjunto não tem elementos, então, x, o qual é uma contradição. Portanto, (b) (d) deixa-se para o aluno. A. 46

48 unidade2 Observação. Muitas das vezes, quando queremos demonstrar a igualdade de dois conjuntos, usamos a Proposição 2.1c, em vez da Definição 2.5. Atividade 2.1 (1) Sejam Ax : x 4 10x 3 35x 2 50x24 0 e B x : x 2 6x 8 0 Classifique as seguintes expressões como sendo verdadeira ou falsa: (a) B A (b) B A (c) A (d) B (e) : 2, 1, 2 (g) (i) 0 A x x n n B (f) A. (h) 1, 2 1, 2,3 e 1, 2 A (j) então, 1, 2,3 A 2, 4 B 1, 2,3 A, (2) Sejam A B C,, alfa, beta, gama x: x são as primeiras três letras do alfabeto grego Quais das seguintes expressões são verdadeiras ou falsas. (a) A B C (b) B C e B A (c) A C e B C (d) A (3) Determine quais conjuntos são unitários ou vazios. (b) x: x são deuses do Cristianismo 2 (a) x : x 1 0 (c) n : n1 0 (d) x: x são galáxias de nosso sistema planetário solar 47

49 (4) Explicar e citar um exemplo da seguinte expressão: Todos os conjuntos disjuntos são diferentes, porém existem conjuntos diferentes que não são disjuntos Operações com Conjuntos As operações básicas, em Teoria de Conjuntos, são: a reunião, interseção e diferença de conjuntos. Definição 2.7. (Reunião de Conjuntos) Sejam A e B dois conjuntos. Define-se a reunião de A e B (denote-se A B e lê-se A reunião B ) a todos os elementos que pertencem a A ou a B. Simbolicamente, AB x: xa x B (7) A reunião de conjuntos aparece nos seguintes casos: conjuntos disjuntos, inclusão de conjuntos, e elementos comuns entre conjuntos. Na Figura 2.4, apresentamos esses casos com diagramas de Venn-Euler. (a) (b) (c) Figura 2.4. Reunião de conjuntos. (a) Disjuntos. (b) Inclusão. (c) Elementos comuns. Notação. A reunião infinita de conjuntos denota-se por A n : A 1 A 2 A 3..., veja BARTLE (2000). Exemplo (a) Seja A 1, 0,1 e B 2, 2, 4. Então, A B 2, 1,0,1, 2, 4 n. 48

50 unidade2 (b) Seja A p : p 0 e B p : p 0 : 0. Então, AB. (c) Seja A p : 5 p 10 e B p : 10 p 5 A B p : 10 p 10. : Então, Definição 2.8. (Interseção de Conjuntos) Sejam A e B dois conjuntos. Define-se a interseção de A e B (denote-se A B e lê-se A interseção B ) a todos os elementos que pertencem a A e a B. Simbolicamente, AB x: xa x B (8) A interseção de conjuntos aparece nos seguintes casos: conjuntos disjuntos, inclusão de conjuntos, e elementos comuns entre conjuntos. Na Figura 2.5, apresentamos esses casos com diagramas de Venn-Euler. (a) (b) (c) Figura 2.5. Interseção de conjuntos. (a) Disjuntos. (b) Inclusão. (c) Elementos comuns. Observe que, na Figura 2.5(a), a interseção é vazia. Notação. A interseção infinita de conjuntos denota-se por A n : A 1 A 2 A 3... Exemplo (a) Seja A p : p 2 n, n e B p : p 2 n 1, n AB. n : 2 1,. Então, 49

51 (b) Seja A e B. Então, AB. (c) A,,,, B,,,,. Então, A B,. Definição 2.9. (Diferença de Conjuntos) Sejam A e B dois conjuntos. A diferença entre A e B, denota-se A B ou A\ B, é o conjunto formado por todos os elementos de A que não pertencem a B. Simbolicamente, AB x: xa x B (9) A diferença entre conjuntos aparece nos seguintes casos: conjuntos disjuntos, inclusão de conjuntos, e elementos comuns entre conjuntos. Na Figura 2.6, apresentamos esses casos com diagramas de Venn-Euler. (a) (b) (c) Figura 2.6. Diferença de conjuntos. (a) Disjuntos. (b) Inclusão. (c) Elementos comuns. Definição (Complementar de um Conjunto) Sejam complementar de B em relação a A, denote-se Simbolicamente, c B, é o conjunto A xb x AB xa x B. Então, c Observação. A e B conjuntos. O B. c B A B (10) c xb x B (11) 50

52 unidade2 Definição (Diferença Simétrica) Sejam A e B conjuntos. A diferença simétrica de A e B, denota-se A B, é o conjunto formado por elementos que pertencem ou A ou a B, mas não pertencem a ambos os conjuntos, simultaneamente. Simbolicamente, AB ABB A (12) ou, ainda, AB AB A B (13) Figura 2.7. Diferença simétrica de A e B Propriedades das Operações com Conjuntos Teorema 2.1 (Propriedades de Reunião e Interseção) Sejam A, B, C subconjuntos próprios de U. Então, (a) (b) (c) Elemento Neutro A A AU A Idempotência AA A AA A Comutatividade ABB A ABB A 51

53 (d) (e) Associatividade ABC AB C ABC AB C Distributividade ABC AB A C ABC AB A C Prova. (a). Com efeito, x A i. A A x A x. Como o conjunto vazio não possui elementos, então, temos unicamente x A.. Com efeito, se x A U ii. A U A, então, x A e x U. Por outro lado, se x A e, por hipótese, temos que A U, então, x U. Assim, xa U. (b) (e) Deixa-se para o aluno. (f) i. ABC AB A C. Com efeito,,, xa xb xc, xa xb xa xc, x AB x AC, x AB AC xa BC xa x BC Desse modo, ABC AB A C. ii. ABC AB A C. Deixa-se para o leitor. 52

54 unidade2 Teorema 2.2 (Teorema de De Morgan) Sejam A e B conjuntos. Então, Prova. (a) c c c AB A B (b) c c c AB A B (a) De Eq. (11), Logo, c c c AB A B. c, x AB x AB, xa xb, c xa x B, x c c A B c (b) Deixa-se para o aluno. Teorema 2.3 (Propriedades do Complementar) Sejam A, B e U conjuntos. Então, c (a) A c A (b) (c) c U c U c AA U AA c (d) Prova. c c AB B A c (a) c c c x A xa x A. Então, A c A. (b) (i) K c U. Com efeito, U. Assim, x U. x c x. Então, x K para algum conjunto K, (ii) c U. Segue imediatamente depois de aplicar o complementar na parte (i). (c) e (d) Deixa-se para o leitor. 53

55 2.4. Conjunto das Partes O conjunto das partes de um conjunto é aquele cujos elementos são conjuntos. Esse conjunto é também chamado de Conjunto Potência. Definição (Conjunto das Partes) Seja A um conjunto. O conjunto das partes de A, denotado por P A, é aquele formado por todos os subconjuntos de A. Simbolicamente, A X : X A P (14) Observação. Os elementos de P A são conjuntos. Para dizer que um elemento X está em P A, usamos X P A, e não X A P. Note que os conjuntos e A são elementos de P A. Exemplo Seja A a, a, a Então, A, A,{ a},{ a },{ a },{ a, a },{ a, a },{ a, a } P No exemplo anterior, podemos escrever, por exemplo, { a, a } A { a, a } P A. Assim, como também:,{ a},{ a, a } A 1 2,{ a},{ a, a } A P P ou P ou Definição (Cardinal de um Conjunto) Seja A um conjunto finito 1. O cardinal de A, denotado por A, é o número de elementos de A. 1 Informalmente um conjunto é finito quando se podem contar seus elementos. 54