Elementos de Matemtica a

Roteiro no.1 para as atividades didticas de 2007 a

Verso compilada no dia 27 de Abril de 2007. a

Departamento de Matemtica - UEL a

Prof. Ulysses Sodr e

E-mail: ulysses@matematica.uel.br Matemtica Essencial: http://www.mat.uel.br/matessencial/ a

Resumo: Notas de aulas constru das com materiais utilizados em nossas aulas na Universidade Estadual de Londrina. Desejo que elas sejam um roteiro para as aulas e no espero que estas noa tas venham a substituir qualquer livro sobre o assunto. Alguns conceitos foram obtidos em livros citados na Bibliograa, mas os assuntos foram bastante modicados. Em portugus, h pouco e a material de dom nio pblico, mas em ingls existem diversos mau e teriais que podem ser obtidos na Rede Internet. Sugerimos que o leitor faa pesquisas para obter materiais gratuitos para os seus c estudos.

Mensagem: Ora, a f o rme fundamento das coisas que se e e esperam e a prova das coisas que no se vem. Porque por ela os a e antigos alcanaram bom testemunho. Pela f entendemos que os c e mundos foram criados pela palavra de Deus; de modo que o vis vel no foi feito daquilo que se v. a e A B blia Sagrada, Hebreus 11:1-3

Contedo u
1 Para quem estuda Matemtica a 1.1 Conversa com o aluno . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 1 2 2 7 13 14 17 18 20 23 24 25 26

2 Elementos de Lgica e Conjuntos o 2.1 2.2 2.3 2.4 2.5 2.6 2.7 2.8 2.9 Proposies (ou Sentenas) lgicas . . . . . . . . . . . . . . . . . . . . . . co c o Tautologias e Equivalncia Lgica . . . . . . . . . . . . . . . . . . . . . . . e o Conjuntos denidos por proposies lgicas . . . . . . . . . . . . . . . . . . co o Operaes com conjuntos . . . . . . . . . . . . . . . . . . . . . . . . . . . co Quanticadores Lgicos . . . . . . . . . . . . . . . . . . . . . . . . . . . . o Negao de proposies com quanticadores . . . . . . . . . . . . . . . . . ca co Exerc cios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Maior quantidade de conjuntos . . . . . . . . . . . . . . . . . . . . . . . . Proposies com valores lgicos numricos . . . . . . . . . . . . . . . . . . co o e

2.10 Trabalhos que sero constru a dos pelos alunos . . . . . . . . . . . . . . . . . Bibliograa

Elementos de Matemtica - No. 1 - Ulysses Sodr - Matemtica - UEL - 2007 a e a

Cap tulo 1 Para quem estuda Matemtica a

1.1 Conversa com o aluno

O Prof. Geraldo Avila [3] mostra uma estratgia para estudar Matemtica: e a Ningum aprende Matemtica ouvindo o professor em sala de aula, e a por mais organizadas e claras que sejam as suas prelees, por mais co que se entenda tudo o que ele explica. Isso ajuda muito, mas e preciso estudar por conta prpria logo aps as aulas, antes que o o o benef delas desaparea com o tempo. Portanto, voc, leitor, no cio c e a vai aprender Matemtica porque assiste aulas, mas por que estuda. a E esse estudo exige muita disciplina e concentrao: estuda-se senca tado ` mesa, com lpis e papel ` mo, prontos para o seu uso a a a a a todo momento. Voc tem de interromper a leitura com freqncia, e ue para ensaiar a sua parte: fazer um grco ou diagrama, escrever ala guma coisa ou simplesmente rabiscar uma gura que ajude a seguir o racioc do livro, sugerir ou testar uma idia; escrever uma frmula, nio e o resolver uma equao ou fazer um clculo que verique se alguma ca a armao do livro est mesma correta. Por isso mesmo, no espere ca a a que o livro seja completo, sem lacunas a serem preenchidas pelo leitor; do contrrio, esse leitor ser induzido a uma situao pasa a ca siva, quando o mais importante desenvolver as habilidades para e o trabalho independente, despertando a capacidade de iniciativa individual e a criatividade. Voc estar fazendo progresso realmente e a signicativo quando sentir que est conseguindo aprender sozinho, a sem ajuda do professor; quando sentir que est realmente aprena dendo a aprender....
Elementos de Matemtica - No. 1 - Ulysses Sodr - Matemtica - UEL - 2007 a e a

Cap tulo 2 Elementos de Lgica e Conjuntos o

Tu, porm, permanece naquilo que aprendeste, e de que foste e inteirado, sabendo de quem o tens aprendido, e que desde a infncia sabes as sagradas letras, que podem fazer-te sbio para a a a salvao, pela que h em Cristo Jesus. Toda Escritura divica a e namente inspirada e proveitosa para ensinar, para repreender, para corrigir, para instruir em justia; para que o homem de c Deus seja perfeito, e perfeitamente preparado para toda boa obra. A B blia Sagrada, II Timteo 3:14-17 o

2.1

Proposies (ou Sentenas) lgicas co c o

Nesta seo, ns tratamos sobre proposies (ou sentenas) lgicas, suas valca o co c o idades e falsidades, alm do modo de combinar ou ligar proposies para e co produzir novas proposies. Primeiro, vamos apresentar uma denio de co ca proposio lgica. ca o Denio 1 (Proposio). Uma proposio (ou sentena ou frase) um conca ca ca c e junto de palavras ou s mbolos que exprimem uma armao de modo comca pleto. Denio 2 (Proposio lgica). Uma proposio (ou sentena ou frase) ca ca o ca c lgica uma expresso que verdadeira ou falsa. o e a e A Lgica Matemtica (bivalente) est apoiada em dois princ o a a pios: 1. Princ da no contradio: Uma proposio no pode ser ao mesmo pio a ca ca a tempo, verdadeira e falsa.
Elementos de Matemtica - No. 1 - Ulysses Sodr - Matemtica - UEL - 2007 a e a

 2.1. PROPOSICOES (OU SENTENCAS) LOGICAS

2. Princ pio do terceiro exclu do: Toda proposio, ou verdadeira ou ca e e falsa, mas no pode ser uma terceira situao. a ca Observao 1. Jan Lukasiewicz (1920) estudou a Lgica trivalente, adca o e vel mitindo a existncia de trs situaes: Verdadeiro , falso ou poss . e e co Detalhes sobre isto podem ser encontrados na pgina 92 do livro Introduo a ca ` Lgica Matemtica de Benedito Castrucci, GEEM, So Paulo, 1973. O a o a a paranaense Newton C. A. Costa tambm estudou o assunto. e Exemplo 1. Proposies. co 1. A proposio 2+2=4 verdadeira. ca e e e u 2. A proposio um nmero racional falsa. ca No funo da Lgica decidir se uma particular proposio verdadeira ou a e ca o ca e falsa, pois existem proposies cuja validade ou falsidade ainda no tenha sido co a estabelecida at hoje, como: e Teorema 1 (Conjectura de Goldbach). Todo nmero par maior do que 2 a u e soma de dois nmeros primos. u Existe um defeito em nossa denio, pois nem sempre fcil determinar se ca e a uma sentena uma sentena lgica ou no. c e c o a Por exemplo, considere a sentena Eu estou mentindo, no estou? . O que c a voc pensa desta sentena? e c Existem sentenas que so proposies lgicas, do ponto de vista da nossa c a co o denio. ca Denio 3 (Conectivos). Conectivos so palavras ou grupos de palavras ca a usadas para juntar duas sentenas. c Conectivo Signicado Conjuno ca e Disjuno ca ou Negao ca no a Condicional se ... ento a Bicondicional se, e somente se,

Elementos de Matemtica - No. 1 - Ulysses Sodr - Matemtica - UEL - 2007 a e a

 2.1. PROPOSICOES (OU SENTENCAS) LOGICAS

Na seqncia, iremos discutir modos de ligar proposies lgicas com conecue co o tivos para formar novas proposies lgicas. co o Denio 4 (Novas proposies lgicas). Se p e q so proposies lgicas, ca co o a co o deniremos cinco novas proposies lgicas: co o Nome da nova proposio Notao em Lgica ca ca o Conjuno de p e q ca pq Disjuno de p e q ca pq Negao de p ca p Condicional entre p e q pq Bicondicional entre p e q p q Signicado peq p ou q no p a p implica q p equivale a q

Denio 5 (Validade da Conjuno). A conjuno entre p e q, denotada ca ca ca por p q (l-se: p e q) verdadeira se as duas proposies p e q so ambas e e co a verdadeiras e falsa nas outras situaes. e co Exemplo 2. Conjuno. ca 1. A proposio 2+2=4 e 2+3=5 verdadeira. ca e 2. A proposio 2+2=4 e um nmero racional falsa. ca e u e Observao 2 (Tabela-Verdade da Conjuno). Reunimos em uma tabela, ca ca todas as informaes relacionando armaes Verdadeiras e Falsas sobre a co co conjuno: ca p q pq V V V V F F F V F F F F Denio 6 (Validade da Disjuno). A disjuno entre p e q, denotada por ca ca ca p q (l-se: p ou q) verdadeira se pelo menos uma das proposies p ou q e e co verdadeira, e falsa nos outros casos. e e Exemplo 3. Disjuno. ca 1. A proposio 2+2=2 ou 1+3=5 falsa. ca e e u e 2. A proposio 2+2=4 ou um nmero racional verdadeira. ca

Elementos de Matemtica - No. 1 - Ulysses Sodr - Matemtica - UEL - 2007 a e a

 2.1. PROPOSICOES (OU SENTENCAS) LOGICAS

Observao 3 (Tabela-Verdade da Disjuno). Reunimos em uma tabela, ca ca todas as informaes relacionando armaes Verdadeiras e Falsas sobre a co co disjuno: ca p q pq V V V V F V F V V F F F Observao 4 (Demonstrar uma disjuno). Para demonstrar que uma proposio ca ca ca p q verdadeira, vamos assumir que a proposio p falsa e usar este fato e ca e para deduzir que a proposio q verdadeira. Se a proposio p verdadeira, ca e ca e o nosso argumento j est correto, no importa se a proposio q verdadeira a a a ca e ou falsa. Denio 7 (Validade da Negao). A negao de p, denotada por p (l-se: ca ca ca e no p) verdadeira se a proposio p falsa, e falsa se a proposio p a e ca e e ca e verdadeira. Exemplo 4. Negao. ca 1. A negao da proposio 2+2=4 a proposio 2 + 2 = 4 . ca ca e ca 2. A negao da proposio um racional a proposio um irracional . ca ca e e ca e Observao 5 (Tabela-Verdade da Negao). Reunimos em uma tabela, ca ca todas as informaes relacionando armaes Verdadeiras e Falsas sobre a co co negao: ca p p V F F V Denio 8 (Validade da Condicional). A condicional entre p e q, denotada ca por p q (l-se: se p, ento q) verdadeira se a proposio p falsa ou se e a e ca e a proposio q verdadeira ou ambas, e falsa nas outras situaes. ca e e co Observao 6 (Tabela-Verdade da Condicional). Reunimos em uma tabela, ca todas as informaes relacionando armaes Verdadeiras e Falsas sobre a co co

Elementos de Matemtica - No. 1 - Ulysses Sodr - Matemtica - UEL - 2007 a e a

 2.1. PROPOSICOES (OU SENTENCAS) LOGICAS

condicional: p V V F F q pq V V F F V V F V

Observao 7 (Sentena falsa). Uma proposio p q falsa se a proposio ca c ca e ca p verdadeira e a proposio q falsa. Isto signica que construindo uma e ca e concluso falsa de uma hiptese verdadeira, o nosso argumento ser falso. Por a o a outro lado, se a nossa hiptese falsa ou se a nossa concluso verdadeira, o e a e ento o nosso argumento ainda pode ser aceito. a Exemplo 5. Sentenas falsas. c 1. A proposio Se 2+2=4, ento um nmero racional falsa. ca a e u e 2. A proposio Se 2+2=2, ento 1+3=5 verdadeira, pois a proposio ca a e ca 2+2=2 falsa. e 3. A proposio Se um nmero racional, ento 2+2=4 verdadeira. ca e u a e Denio 9 (Validade da Bicondicional). A bicondicional entre p e q, denoca tada por p q (l-se: p se e somente se q) verdadeira se as proposies e e co p e q so ambas verdadeiras ou ambas so falsas, e falsa nos outros casos. a a e Exemplo 6. Bicondicionais. 1. A proposio 2+2=4 se, e somente se, um nmero irracional verca e u e dadeira. 2. A proposio 2+2=4 se, e somente se, um nmero racional falsa. ca e u e Observao 8 (Tabela-Verdade da Bicondicional). Reunimos em uma tabela, ca todas as informaes relacionando armaes Verdadeiras e Falsas sobre a co co bicondicional: p q p q V V V V F F F V F F F V

Elementos de Matemtica - No. 1 - Ulysses Sodr - Matemtica - UEL - 2007 a e a

 2.2. TAUTOLOGIAS E EQUIVALENCIA LOGICA

Observao 9 (Tabela-Verdade das cinco novas proposies). Reunimos em ca co uma tabela, as armaes Verdadeiras e Falsas sobre as cinco novas proposies co co lgicas, usando a letra V para a palavra Verdadeiro e a letra F para a palavra o Falso. p V V F F q pq pq V V V F F V V F V F F F p p q p q F V V F F F V V F V V V

Observao 10 (Sobre a palavra ou). Em Lgica, a palavra ou pode ser ca o entendida como uma coisa, ou outra coisa ou ambas as coisas. Se voc e perguntar a alguma pessoa se ela gosta de chocolate ou de caf, no se e a surpreenda com a resposta pois ela pode gostar dos dois!

2.2

Tautologias e Equivalncia Lgica e o

Denio 10 (Tautologia). Uma tautologia uma proposio cujo valor ca e ca lgico sempre verdadeiro. o e Observao 11 (Sobre tautologia). Com o conceito de tautologia, podemos ca generalizar as denies de conjuno ou disjuno para proposies com mais co ca ca co do que duas proposies, e assim podemos escrever, p q r ou p q r sem co nos preocuparmos com os parnteses. e Observao 12 (Setas duplas). Usamos a seta dupla u v para indicar ca que uma condicional da forma u v uma Tautologia. Como exemplo: e 1. (p q) r p (q r). 2. (p q) r p (q r). 3. (p q) (p q) (q p) Denio 11 (Contradio). Uma contradio uma proposio cujo valor ca ca ca e ca lgico sempre falso. o e

Elementos de Matemtica - No. 1 - Ulysses Sodr - Matemtica - UEL - 2007 a e a

 2.2. TAUTOLOGIAS E EQUIVALENCIA LOGICA

Exemplo 7 (Tabela-Verdade de uma proposio composta). Construiremos ca a Tabela-Verdade de uma proposio composta como (p q) (p q), ca utilizando novas variveis u, v e w, para simplicar esta proposio ` forma a ca a u w, onde: u : (p q) v : (p q) w : v

1. Tabela-Verdade de u: (p q), p V V F F 2. Tabela-Verdade de v: (p q), p V V F F 3. Tabela-Verdade de w: v. v w : v V F F V F V F V 4. Tabela-Verdade de u w: u V V V F w uw F F V V V V V F q v :pq V V F F V F F F q u:pq V V F V V V F F

Elementos de Matemtica - No. 1 - Ulysses Sodr - Matemtica - UEL - 2007 a e a

 2.2. TAUTOLOGIAS E EQUIVALENCIA LOGICA

Como temos uma grande quantidade de informaes, comum reunir a Tabelaco e Verdade nal de u w com todas as operaes, tomando a forma: co p V V F F q p q p q (p q) (p q) (p q) V V V F F F V F V V V V F V V F F F V F

Exemplo 8 (Algumas condicionais). Implicaes. co 1. Se p verdadeira e q verdadeira, ento p q verdadeira. e e a e 2. Se p verdadeira ou q verdadeira, ento p q verdadeira. e e a e 3. Se p verdadeira e p q verdadeira, ento q verdadeira. e e a e 4. Se p verdadeira e p q verdadeira, ento q verdadeira. e e a e 5. Se q verdadeira e p q verdadeira, ento p verdadeira. e e a e 6. Se p q verdadeira e p r verdadeira e q r verdadeira, ento e e e a r verdadeira. e 7. Se p q verdadeira e q r verdadeira, ento p r verdadeira. e e a e 8. Se p verdadeira, p q verdadeira e q r verdadeira, ento r e e e a e verdadeira. Exemplo 9 (Algumas bicondicionais). Tautologias: 1. (p (q r)) ((p q) r). 2. (p q) (q p). 3. (p (q r)) ((p q) r). 4. (p q) (q p). 5. p p. 6. (p q) (q p). 7. (p q) (p q).
Elementos de Matemtica - No. 1 - Ulysses Sodr - Matemtica - UEL - 2007 a e a

 2.2. TAUTOLOGIAS E EQUIVALENCIA LOGICA

10

8. (p q) ((p q) (p q). Teorema 2 (Leis distributivas). Se p, q e r so proposies lgicas, as a co o seguintes proposies so tautologias muito usadas em Matemtica. co a a 1. (p (q r)) ((p q) (p r)) 2. (p (q r)) ((p q) (p r)) Demonstrao da Primeira Lei distributiva. Vamos supor que a proposio ca ca (p (q r)) seja verdadeira. Ento, as duas proposies p e q r so a co a verdadeiras. Como q r verdadeira, pelo menos uma das proposies, q ou e co r deve ser verdadeira. Se a verdadeira for q, ento segue que p e q so vera a dadeiras e assim segue que p q verdadeira, logo p q ou p r verdadeira, e e assim ((p q) (p r)) verdadeira. e Reciprocamente, vamos supor que ((p q) (p r)) uma proposio vere ca dadeira. Assim, pelo menos uma das proposies p q ou p r verdadeira. co e Se a verdadeira for p q, ento as duas proposies p e q so verdadeiras, a co a logo Q verdadeira e segue que q r verdadeira e temos que p (q r) e e e verdadeira. Agora consideremos que as duas proposies ((pq)(pr)) e p(q r) so co a ambas verdadeiras ou ambas falsas, pois a verdade de uma implica a verdade da outra. Segue que a bicondicional (p (q r)) ((p q) (p r)) e uma tautologia. Demonstrao da Segunda Lei distributiva. Exerc para casa. ca cio Todas estas tautologias podem ser demonstradas atravs de suas Tabelase Verdade. Sugiro que use esta metodologia para as prximas demonstraes. o co Teorema 3 (Leis de Augustus de Morgan). Se p e q so proposies lgicas, a co o as seguintes proposies so tautologias: co a 1. (p q) (p q). 2. (p q) (p q).

Elementos de Matemtica - No. 1 - Ulysses Sodr - Matemtica - UEL - 2007 a e a

 2.2. TAUTOLOGIAS E EQUIVALENCIA LOGICA

11

Teorema 4 (Leis de inferncia). Se p, q e r so proposies lgicas, as e a co o seguintes proposies so tautologias: co a 1. Modus Ponens: (p (p q)) q. 2. Modus Tollens: ((p q) q) p. 3. Lei de silogismo: ((p q) (q r)) (p r). Denio 12 (Sentenas equivalentes). Diz-se que duas proposies p e q ca c co so logicamente equivalentes se a proposio p q uma tautologia. Isto a ca e signica que as duas sentenas lgicas representam o mesmo objeto do ponto c o de vista da Lgica. o Exemplo 10. Sentenas equivalentes. c 1. As proposies (p q) e (q p) so logicamente equivalentes, co a sendo que a proposio (q p) recebe o nome de contrapositiva ca da proposio (p q). ca 2. As proposies p q e q p no so logicamente equivalentes, sendo co a a que a proposio (q p) denominada a rec ca e proca da proposio ca (p q). Exemplo 11. Quatro importantes equivalncias lgicas. Usando as tabelase o verdade, mostrar que as quatro proposies lgicas abaixo so equivalentes: co o a 1. p q 2. (q) (p) 3. (q) p F ( Armao absurda) ca 4. (p) q V ( Armao verdadeira) ca Exerc cio: Demonstrar que 1. Idempotncia da conjuno: p p p e ca 2. Idempotncia da disjuno: p p p e ca

Elementos de Matemtica - No. 1 - Ulysses Sodr - Matemtica - UEL - 2007 a e a

 2.2. TAUTOLOGIAS E EQUIVALENCIA LOGICA

12

3. Associatividade da conjuno: (p q) r p (q r) ca 4. Associatividade da disjuno: (p q) r p (q r) ca 5. Identidade da conjuno com a verdade: p V p ca 6. Identidade da conjuno com a falsidade: p F F ca 7. Identidade da disjuno com a verdade: p V V ca 8. Identidade da disjuno com a falsidade: p F p ca 9. Complementar com a conjuno: p p F ca 10. Complementar com a disjuno: p p V ca 11. Complementar da verdade: V F 12. Complementar da falsidade: F V 13. Negao da negao: (p) p ca ca Observao 13 (Setas simples e duplas). Algumas vezes usamos setas simples ca como em bicondicionais, mas usamos setas duplas para mostrar que a proposio da esquerda logocamente equivalente ` proposio da direita. ca e a ca Exemplo 12. Algumas equivalncias lgicas. e o 1. p [q (q)] p Signicando que p [q (q)] equivale a p 2. p [q (q)] p 3. p q (p) q 4. (p q) p (q) 5. (p q) (p q) (q p) Signicando que p q equivale a (p q) (q p) 6. (p q) (p q) [(p) (q)] 7. p (q r) (p q) r 8. p q (q) (p)

Elementos de Matemtica - No. 1 - Ulysses Sodr - Matemtica - UEL - 2007 a e a

 2.3. CONJUNTOS DEFINIDOS POR PROPOSICOES LOGICAS

13

2.3

Conjuntos denidos por proposies lgicas co o

Comumente surgem proposies como x par com uma ou mais variveis, co e a que so denominadas funes sentenciais ou funes proposicionais ou sima co co plesmente proposies lgicas. co o e Vamos nos xar no exemplo: x par . Esta proposio verdadeira para ca e alguns valores de x e falsa para outros. Vrias perguntas aparecem: a 1. Quais so os valores permitidos para x? a 2. A proposio verdadeira para todos estes valores de x citados? ca e 3. A proposio verdadeira para alguns valores de x citados? ca e Para responder ` primeira pergunta, ns necessitamos conhecer o universo U a o em que estamos trabalhando, mas para trabalhar com este conceito, necessitamos entender qual o signicado da palavra conjunto. e Entendemos a palavra conjunto como uma palavra cujo sentido conhecido e por todos. Algumas vezes, ns usamos a palavra sinnima classe ou coleo. o o ca No entanto, tais palavras aparecem nos livros, tendo signicados diferentes. Pelo que se v, conjunto um conceito abstrato que deve ser aceito por todos e e como algo comum do seu cotidiano. O importante sobre um conjunto no a e o que e um conjunto mas o que o conjunto contem, ou seja, e quais so os seus elementos? Ser que existe algum elemento? a a Se P um conjunto e x um elemento de P, ns escrevemos x P para e e o entender que x pertence ao conjunto P . O s mbolo um s e mbolo de pertinncia. e Um conjunto usualmente descrito em uma das seguintes formas. Por: e 1. enumerao: {1, 2, 3} denota o conjunto com os nmeros 1, 2 e 3 e nada ca u mais. 2. descrio ou propriedade com uma proposio p(x): Aqui usamos um ca ca conjunto universo U que contm todos os elementos x do conjunto. e Assim, Ns escrevemos P = {x : x U e p(x) verdadeira} ou simo e plesmente P = {x : p(x)}.
Elementos de Matemtica - No. 1 - Ulysses Sodr - Matemtica - UEL - 2007 a e a

2.4. OPERACOES COM CONJUNTOS

14

O conjunto que no tem elementos o conjunto vazio, denotado por . a e Exemplo 13. Alguns conjuntos importantes. 1. N = {1, 2, 3, 4, 5, ..., n, n + 1, ...} o conjunto dos nmeros naturais. e u 2. Z = {..., 2, 1, 0, 1, 2, ...} o conjunto dos nmeros inteiros. e u 3. {x : x N e 2 < x < 2} = {1}. 4. {x : x Z e 2 < x < 2} = {1, 0, 1}. 5. {x : x N e 1 < x < 1} = .

2.4

Operaes com conjuntos co

Se P um conjunto descrito pela proposio p = p(x), isto , P = {x : p(x)} e ca e e Q um conjunto descrito pela proposio q = q(x), isto Q = {x : q(x)}, e ca e sendo P e Q conjuntos relativos a um certo universo U, denimos novos conjuntos: Interseo ca Reunio a Complementar Diferena c P Q P Q Pc P Q = {x : p(x) q(x)} = {x : p(x) q(x)} = {x : p(x)} = {x : p(x) q(x)}

Com as denies acima, no dif mostrar que co a e cil 1. P Q = {x : x P e x Q}, 2. P Q = {x : x P ou x Q}, 3. P c = {x : x P }, / 4. P Q = {x : x P e x Q}. / Denio 13 (Subconjunto). Um conjunto P um subconjunto do conjunto ca e Q, denotado por P Q ou por Q P , se todo elemento de P tambm e e um elemento de Q.

Elementos de Matemtica - No. 1 - Ulysses Sodr - Matemtica - UEL - 2007 a e a

2.4. OPERACOES COM CONJUNTOS

15

Observao 14. Se P = {x : p(x)} e Q = {x : q(x)} em um universo U, ca ento P Q se, e somente se, a proposio lgica p(x) q(x) verdadeira a ca o e para todo x U. Denio 14 (Conjuntos iguais). Dois conjuntos P e Q so iguais, denotado ca a por P = Q, se eles contm os mesmos elementos, isto , se cada conjunto e e e um subconjunto do outro conjunto, isto , se P Q e Q P . e Denio 15 (Conjuntos disjuntos). Dois conjuntos A e B so disjuntos se, ca a A B = . Denio 16 (Subconjunto prprio). Dizemos que P um subconjunto ca o e prprio de Q, denotado por P Q ou por Q P , se P Q mas P = Q. o Os resultados sobre Conjuntos so demonstrados a partir de seus anlogos em a a Lgica. o Teorema 5 (Leis distributivas). Se P , Q e R so conjuntos, ento a a 1. P (Q R) = (P Q) (P R), 2. P (Q R) = (P Q) (P R). Demonstrao da Primeira lei distributiva para conjuntos. Faremos uso da Primeira ca lei Distributiva para proposies lgicas. co o Se as proposies p = p(x), q = q(x) e r = r(x) esto respectivamente co a relacionadas aos conjuntos P , Q e R com respeito a um dado universo U, ento P = {x : p(x)}, Q = {x : q(x)} e R = {x : r(x)}. Assim, temos dois a conjuntos P (Q R) = {x : p(x) (q(x) r(x))} (P Q) (P R) = {x : (p(x) q(x)) (p(x) r(x))} Se x P (Q R), ento p(x) (q(x) r(x)) verdadeira. Pela primeira a e lei distributiva para funes sentenciais, a equivalncia lgica co e o (p(x) (q(x) r(x))) ((p(x) q(x)) (p(x) r(x))) uma tautologia. e

Elementos de Matemtica - No. 1 - Ulysses Sodr - Matemtica - UEL - 2007 a e a

2.4. OPERACOES COM CONJUNTOS

16

Assim, (p(x)q(x))(p(x)r(x)) verdadeira, tal que x (P Q)(P R). e Isto d a P (Q R) (P Q) (P R) (2.1) Se x (P Q) (P R). Ento (p(x) q(x)) (p(x) r(x)) verdadeira. a e Segue da primeira lei distributiva para funes sentenciais que p(x) (q(x) co r(x)) verdadeira, tal que x P (Q R). E segue outro um resultado: e (P Q) (P R) P (Q R) A demonstrao segue das duas incluses (2.1) e (2.2). ca o Teorema 6 (Leis de De Morgan). Se P e Q so conjuntos em um universo a U, ento a 1. (P Q)c = P c Qc , 2. (P Q)c = P c Qc . Teorema 7. Quaisquer que sejam os conjuntos A e B, valem as seguintes propriedades 1. A 2. A U 3. A B A A B 4. A B B A B Teorema 8. Se A e B so conjuntos, demonstre que so equivalentes as a a armaes: co 1. A B 2. A = A B 3. B = A B Teorema 9. Se S U, ento U S = U S c . a Teorema 10 (Propriedades da reunio e da interseo). Quaisquer que sejam a ca os conjuntos A, B e C, valem as seguintes propriedades: (2.2)

Elementos de Matemtica - No. 1 - Ulysses Sodr - Matemtica - UEL - 2007 a e a

 2.5. QUANTIFICADORES LOGICOS

17

1. A = A 2. A U = U 3. A A = A 4. A B = B A 5. (A B) C = A (B C)

6. A = 7. A U = A 8. A A = A 9. A B = B A 10. (A B) C = A (B C)

Exerc cio: Denir a reunio, a interseo e as leis de De Morgan para trs a ca e conjuntos.

2.5

Quanticadores Lgicos o

e cio ca Vamos voltar ao exemplo x par tratado no in da Seo 2.3, e restringir a nossa ateno aos valores de x pertencentes ao conjunto Z de todos os ca nmeros inteiros. Assim: u 1. A proposio x par verdadeira apenas para alguns valores de x Z. ca e e 2. A proposio Alguns elementos x em Z so pares verdadeira. ca a e 3. A proposio Todos os elementos x em Z so pares falsa. ca a e Em geral, usamos uma funo proposicional da forma p = p(x), em que a ca varivel x est em algum conjunto X muito bem estabelecido. a a Denio 17 (Quanticadores). Os s ca mbolos (para todo) e (existe um) so, respectivamente, denominados quanticadores universal e existencial. a Observao 15 (Sobre quanticadores). Os s ca mbolos (para todo) e (existe um) devem ser usados sempre antes da armao lgica! Caso necessite ca o usar aps a armao, use palavras nos lugares dos s o ca mbolos. Assim, podemos considerar as duas proposies abaixo, escritas nas suas reco spectivas formas simplicadas:

Elementos de Matemtica - No. 1 - Ulysses Sodr - Matemtica - UEL - 2007 a e a

2.6. NEGACAO DE PROPOSICOES COM QUANTIFICADORES

18

1. Qualquer que seja x X, p = p(x) verdadeira, denotada em s e mbolos por: x X : p(x) 2. Existe um x X tal que p = p(x) verdadeira, denotada em s e mbolos por: x X : p(x) Observao 16 (Varivel muda). A varivel x na proposio x : p(x) ca a a ca e uma varivel muda, signicando que a letra x pode ser trocada por qualquer a outra letra. Assim, no h diferena lgica entre a proposio x : p(x) e a a a c o ca proposio y : p(y) ou a proposio z : p(z). ca ca Exemplo 14. Algumas frases e as suas respectivas simplicaes: co Para cada x real, x2 no negativo e a Existe um nmero real tal que x2 = 4 u Para cada x real, existe y real tal que x+y =0 Para quaisquer nmeros reais x e a, u vale a identidade (produto notvel) a 2 2 x a (x a)(x + a) Para cada > 0, existe > 0 tal que se |xa| < ento |f (x)f (a)| < a (Lagrange): Todo nmero natural u e a soma dos quadrados de quatro inteiros (Goldbach): Todo nmero par natuu ral maior do que 2 a soma de dois e nmeros primos u x R, x2 0 x R : x2 = 4 x R, y R : x + y = 0 x, a R : x2 a2 (x a)(x + a)

> 0, > 0 : |x a| < |f (x) f (a)| < n N, a, b, c, d Z : n = a2 + b2 + c2 + d2 n N {1}, p, q primos : 2n = p+q

No se sabe at o momento se a conjectura de Goldbach verdadeira ou falsa. a e e Este um problema ainda sem soluo na Matemtica. e ca a

2.6

Negao de proposies com quanticadores ca co

Desenvolveremos uma regra para negar proposies com quanticadores. Ao co armarmos que: Todos os alunos so feios , talvez voc no goste. Parece a e a
Elementos de Matemtica - No. 1 - Ulysses Sodr - Matemtica - UEL - 2007 a e a

2.6. NEGACAO DE PROPOSICOES COM QUANTIFICADORES

19

que negar uma proposio x : p(x) armar que x : p(x), isto , existe ca e e algum que no feio! e a e Existe um outro modo de entender isto. Seja U o universo e todos os valores de x para os quais vale a proposio lgica p = p(x), assim denimos o ca o conjunto P = {x : p(x)}. Se a proposio x : p(x) verdadeira, ento P = U , assim P c = U c = , ca e a c mas como P = {x : p(x)}, assim, se a proposio x : p(x) fosse ca c c c c verdadeira seguiria que P = , logo, (P ) = U = , garantindo que P = , o que seria uma contradio. ca Por outro lado, se a proposio x : p(x) falsa, ento P = U , logo P c = ca e a e segue que a proposio x : p(x) verdadeira. ca e Vamos acalmar o pessoal: Nem todos os alunos so feios . Voc ainda reclaa e mar, pois talvez nenhum de vocs seja feio. Ento, natural suspeitar que a a e a e negao de uma proposio x : p(x) seja a proposio x : p(x). ca ca ca Para resumir a forma de negar uma proposio, ns devemos simplesmente: ca o mudar o quantificador para o outro tipo e negar proposicao p = p(x). Suponhamos que exista uma proposio bem complicada. Vamos aplicar ponto ca a ponto a nossa simples regra. Por exemplo: [x, y, z, w : p(x, y, z, w)] equivalente a e x : [y, z, w : p(x, y, z, w)] que equivalente a e x, y : [z, w : p(x, y, z, w)] que equivale a x, y, z : [w : p(x, y, z, w)] que tambm equivalente a e e x, y, z, w : p(x, y, z, w) A regra criada a seguinte. Devemos: e
Elementos de Matemtica - No. 1 - Ulysses Sodr - Matemtica - UEL - 2007 a e a

2.7. EXERC CIOS

20

1. Manter as variaveis em sua ordem original, 2. Trocar os quantificadores e 3. Negar a proposicao. Exemplo: A negao da conjectura de Goldbach pode ser escrita como ca n N {1}, p, q nmeros primos : 2n = p + q u signicando que existe um nmero natural par maior do que 2 que no a u a e soma de dois nmeros primos. Para mostrar que a conjectura de Goldbach no u a funciona, basta apresentar um contraexemplo, isto , os objetos satisfazendo e aos conjuntos mas no atendendo a concluso. a a

2.7

Exerc cios

1. Usando Tabelas-Verdade ou outro tipo de demonstrao, vericar que ca cada uma das seguintes proposies uma tautologia: co e (a) p (p q) (b) p (q p) (c) (p q) (q p) (d) ((p q) q) (p q) (e) (p (p q)) p

2. Decidir (e justicar) se cada armao uma tautologia: ca e (a) (p q) (q (p q)) (b) ((p q) r) (p (q r)) (c) (p q) (p q) (d) (p (q r)) ((p q)(p r)) (e) p (q (r s)) (f) [(p q) r] ((p q) r) (g) (p (q (r s))) ((p q) (p r s)) (h) ((p (q r)) ((p q) (p r)) (i) (p q r) (s t) (j) ([p q]) (p q)
Elementos de Matemtica - No. 1 - Ulysses Sodr - Matemtica - UEL - 2007 a e a

2.7. EXERC CIOS

21

(k) ((r s) (p q)) (p (q (r s))) (l) ([p q] (r s)) (t u) (m) (p q) (q p) 3. Para cada armao, decidir se ela verdadeira ou falsa, justicando a ca e sua assero: ca (a) Se p verdadeira e q falsa, ento p q verdadeira. e e a e (b) Se p verdadeira, q falsa e r falsa, ento p (q r) verdadeira. e e e a e (c) A proposio (p q) (q p) uma tautologia. ca e (d) As proposies p (q r) e (p q) (p r) so logicamente equico a valentes. 4. Listar os elementos de cada um dos conjuntos: (a) {x N : x < 45} (b) {x Z : x < 45} (c) {x R : x2 + 2x = 0} (d) {x Q : x2 + 4 = 6} (e) {x Z : x4 = 1} (f) {x N : x4 = 1}

5. Qual o nmero de elementos de cada conjunto abaixo? Tais conjuntos e u so diferentes? a (a) (b) {} (c) {{}} (d) {, {}} (e) {, }

6. Sejam U = {a, b, c, d}, P = {a, b} e Q = {a, c, d}. Escrever os seguinte conjuntos: (a) P Q (b) P Q (c) P c (d) Qc

7. Sejam U = R, A = {x R : x > 0}, B = {x R : x > 1} e C = {x R : x < 2}. Obter cada um dos seguintes conjuntos: (a) A B (b) A C (c) B C (d) A B (e) A C (f) B C (g) AB (h) B C (i) A C (j) Ac (k) B c (l) C c 8. Listar todos os subconjuntos do conjunto {1, 2, 3}. Quantos subconjuntos existem? 9. Sejam A, B, C e D conjuntos tal que A B = C D tal que A B = = C D. (a) Usando exemplos, mostrar que A C e B D podem ser vazios.
Elementos de Matemtica - No. 1 - Ulysses Sodr - Matemtica - UEL - 2007 a e a

2.7. EXERC CIOS

22

(b) Mostrar que se C A, ento B D. a 10. Suponha que P , Q e R so subconjuntos do conjunto N dos nmeros a u naturais. Para cada tem, analise se verdadeira ou falsa a armao, e ca justicando a sua assero pelo estudo de proposies similares que exca co istem em Lgica: o (a) P (Q R) = (P Q) (P R). (b) P Q se, e somente se, Q P . (c) Se P Q e Q R, ento P R. a 11. Para cada proposio, crie uma proposio com palavras, faa a negao ca ca c ca da proposio criada e escreva se a proposio ou a negao da proposio ca ca ca ca verdadeira: e (a) z N : z 2 N . (b) x Z, y Z, z z : z 2 = x2 + y 2 . (c) x Z : (x > y) (x = y). (d) x, y, z R, w R : x2 + y 2 + z 2 = 8w. 12. Para cada proposio abaixo, escrever uma proposio lgica corresponca ca o dente e a negao desta proposio. Analisar se a proposio que voc ca ca ca e criou ou a negao desta proposio verdadeira. ca ca e (a) Dados quaisquer inteiros, existe uma maior inteiro. (b) Existe um inteiro maior do que todos os outros inteiros. (c) Todo nmero par a soma de dois nmeros u e u mpares. (d) Todo nmero u mpar a soma de dois nmeros pares. e u (e) A distncia entre quaisquer dois nmeros complexos positiva. a u e (f) Todo nmero natural que divis por 2 e tambm por 3 divis u e vel e e vel por 6. (Notao: Escrever x|y se x divide y.) ca (g) Todo nmero inteiro a soma dos quadrados e dois nmeros inteiros. u e u (h) No existe um maior nmero natural. a u 13. Seja p = p(x, y) uma funo proposicional com as variveis x e y. Disca a cutir se cada armao verdadeira do ponto de vista da Lgica. ca e o (a) (x, y : p(x, y)) (y, x : p(x, y))
Elementos de Matemtica - No. 1 - Ulysses Sodr - Matemtica - UEL - 2007 a e a

2.8. MAIOR QUANTIDADE DE CONJUNTOS

23

(b) (y, x : p(x, y)) (x, y : p(x, y)) Observao 17. Boa parte deste material recebeu a insero de mdulos de ca ca o nossas notas de aulas e foi adaptado de DISCRETE MATHEMATICS, WWL CHEN, 1982, 2003, onde se l: This chapter originates from material used by e the author at Imperial College, University of London, between 1981 and 1990. It is available free to all individuals, on the understanding that it is not to be used for nancial gains, and may be downloaded and/or photocopied, with or without permission from the author. However, this document may not be kept on any information storage and retrieval system without permission from the author, unless such system is not accessible to any individuals other than its owners.

2.8

Maior quantidade de conjuntos

Observao 18 (Nmero nito ou innito de conjuntos). As propriedades ca u apresentadas para dois conjuntos tambm so vlidas para um nmero nito e a a u de conjuntos, mas nem sempre so verdadeiras para um nmero innito de a u conjuntos. Seja a coleo de conjuntos {Ai }iM , onde M = {1, 2, 3, ..., m}. A reunio ca a dos conjuntos Ai o conjunto dos elementos que pertencem a pelo menos e um dos Ai :
m

Ai = {x : x Ai para algum i M }
i=1

A interseo dos conjuntos Ai o conjunto dos elementos que pertencem a ca e todos os Ai :

m

Ai = {x : x Ai para todo i M }
i=1

Nas denies acima, se o conjunto M for substitu pelo conjunto N = co do {1, 2, 3, 4, ...} e a letra m for substitu pelo s da mbolo , a reunio e a a interseo sero indicadas por: ca a

Ai = {x : x Ai para algum i N }
i=1

Elementos de Matemtica - No. 1 - Ulysses Sodr - Matemtica - UEL - 2007 a e a

 2.9. PROPOSICOES COM VALORES LOGICOS NUMERICOS

24

Ai = {x : x Ai para todo i N }
i=1

Exerc cio: Qual a diferena entre: identidade e igualdade? e c

2.9

Proposies com valores lgicos numricos co o e

Na sequncia, substituiremos os valores lgicos F e V das proposies p e q e o co pelos valores numricos 0 e 1, para gerar novas proposies com o uso de e co computadores. Denio 18 (M ca nimo e Mximo entre dois nmeros inteiros). Se p e q so a u a nmeros inteiros, denimos o m u nimo (respectivamente, mximo) entre p e q, a denotado por min(p, q) (respectivamente max(p, q)), atravs de e min(p, q) = p se p q q se q < p max(p, q) = q se p q p se q < p

Denio 19 (Tabelas-verdade com valores numricos). Sejam p e q duas ca e proposies lgicas, que assumem o valor lgico 0 se a proposio falsa e co o o ca e o valor lgico 1 se a proposio verdadeira. A partir de tais valores lgicos o ca e o numricos de p e q, podemos denir as proposies: e co Nome da proposio ca Notao Denio com valores numricos ca ca e Conjuno de p e q ca pq min(p, q) Disjuno de p e q ca pq max(p, q) Negao de p ca p 1p Condicional entre p e q pq max(1 p, q) Bicondicional entre p e q p q max(min(p, q), min(1 p, 1 q)) Exemplo 15 (Tabelas-verdade com valores numricos). Sejam as proposies e co p e q, que assumem valores lgicos verdadeiros (1) ou falsos (0). o
P1 P2 Conjuno ca min(p,q) Disjuno ca max(p,q) Negao ca 1-p Implicao ca max(1-p,q) Equivalncia e max(min(p,q),min(1-p,1-q))

p 1 1 0 0

q 1 0 1 0

1 0 0 0

1 1 1 0

0 0 1 1

1 0 1 1

1 0 0 1

Elementos de Matemtica - No. 1 - Ulysses Sodr - Matemtica - UEL - 2007 a e a

 2.10. TRABALHOS QUE SERAO CONSTRU DOS PELOS ALUNOS

25

2.10

Trabalhos que sero constru a dos pelos alunos

1. Exemplos prticos de proposies compostas. a co Apresentar situaes com frases da vida e tambm da Matemtica onde co e a aparecem tais proposies. co 2. Uso da Lgica para desenvolver o racioc lgico. o nio o Identicar situaes como as dos livros: Alice no Pa das Maravilhas co s de Lewis Carrol ou A Dama ou o Tigre?, Alice no Pa dos Enigmas, s O Enigma de Sherezade de Raymond Smullyan, editadas no Brasil por Jorge Zahar, para resolver problemas de racioc nio usando Lgica o Matemtica. a 3. Tcnicas Dedutivas em geral. e Estudar e apresentar situaes em que so necessrias as tcnicas deduco a a e tivas para demonstrar proposies lgicas. Exibir aplicaes das tcnicas co o co e dedutivas, em resultados simples da aritmtica dos nmeros inteiros, e u racionais e irracionais e tambm em contedos contidos neste programa. e u Estudar a equivalncia das tcnicas de demonstraes (direta, contrapose e co itiva e por absurdo) usando a tabela verdade 4. Demonstrao direta. ca Dar exemplos de situaes com demonstraes lgicas diretas. co co o 5. Demonstrao pela contrapositiva. ca Dar exemplos de situaes que necessitam ser demonstradas pela contraco positiva. 6. Demonstrao por absurdo. ca Dar exemplos de situaes que necessitam que as demonstraes sejam co co realizadas por absurdo. 7. Demonstrao por induo matemtica. ca ca a Apresentar situaes em que a induo matemtica no vlida. Apreco ca a a e a sentar situaes onde a induo matemtica necessria. co ca a e a 8. Para entender como a Lgica usada em jogos, estude quebra-cabeas o e c como: quadrado mgico, Sudoku e Kakuro, jogos de tabuleiro como: a Jogo de damas e Xadrez, e, jogos de computador como o Freecell.

Elementos de Matemtica - No. 1 - Ulysses Sodr - Matemtica - UEL - 2007 a e a

Bibliograa
[1] E. Alencar Filho. Iniciao ` Lgica Matemtica. Nobel. S.Paulo. 1969. ca a o a [2] M. Amoroso Costa. As idias Fundamentais da Matemtica e outros e a ensaios. Editora Conv e EDUSP. S.Paulo. 1981. vio [3] G. Avila. Anlise Matemtica para Licenciatura. Edgard Blcher. So a a u a Paulo. 2001. [4] F. Ayres Jr. Algebra Moderna. McGraw-Hill do Brasil. S. Paulo. 1971. [5] R. M. Barbosa. Elementos de Lgica aplicada ao ensino secundrio. o a Livraria Nobel. S.Paulo. 1970. [6] C. B. Boyer. Histria da Matemtica. Edgard Blcher. S.Paulo. 1974. o a u [7] B. Castrucci. Introduo ` Lgica Matemtica. Nobel. So Paulo. 1973. ca a o a a [8] A. G. Kurosh. Curso de Algebra Superior. Editorial Mir. Moscu. 1968. [9] L. H. Jacy Monteiro. Iniciao `s Estruturas Algbricas. Nobel. S.Paulo, ca a e 1968. [10] S. Lipschutz. Teoria dos Conjuntos. Ao Livro Tcnico. Rio. 1967. e [11] U. Sodr. Anlise na reta (Notas de aulas), Dep. de Matemtica, Univ. e a a Estadual de Londrina, 1982, 1999, 2001, 2005, 2006. [12] U. Sodr. LTEX Bsico com o TeXnicCenter, Tutorial para construir e A a trabalhos de Matemtica. Dep. de Matemtica. UEL. Londrina-PR. 2005. a a [13] P. Suppes e S. Hill. Introduccion a la lgica matemtica Editorial Revert. o a e Barcelona. 1963. [14] Universidade Federal do Rio de Janeiro. Um Guia em Matemtica. a Rio. 1969.

Elementos de Matemtica - No. 1 - Ulysses Sodr - Matemtica - UEL - 2007 a e a