Você está na página 1de 136

CENTRO FEDERAL DE EDUCAO TECNOLGICA DO MARANHO DIRETORIA DE ENSINO SUPERIOR DESU NCLEO DE EDUCAO A DISTNCIA NUEAD UNIVERSIDADE ABERTA

TA DO BRASIL UAB

MATEMTICA PARA COMPUTAO

Barra do Corda 2009

2 SUMRIO MODULO I - FUNDAMENTOS DE LGICA MATEMTICA .............................. 4 Capitulo 1 Introduo ao Estudo da Lgica Formal............................................ 5 1.1. Caracterizao e Histrico da Lgica ...................................................... 5 1.2. Conceito de Proposio........................................................................... 6 1.3. Valores Lgicos das Proposies............................................................ 7 1.4. Classificao das Proposies ................................................................ 8 1.5. Valor Lgico de Proposies Compostas ................................................ 9 1.6. Operaes Lgicas ................................................................................ 10 1.6.1. Negao.......................................................................................... 10 1.6.2. Conjuno ....................................................................................... 11 1.6.3. Disjuno ........................................................................................ 13 1.6.4. Condio ......................................................................................... 14 1.6.5. Bicondio....................................................................................... 16 1.7. Frmulas bem Formuladas e Tabelas-Verdade..................................... 18 1.8. Tautologias, Contradies e Contingncias........................................... 23 1.9. Disjuno Exclusiva ............................................................................... 25 Leitura Complementar...................................................................................... 26 Captulo 2 Clculo Proposicional...................................................................... 33 2.1. Conceito de Argumento Argumentos Vlidos ..................................... 33 2.2. Equivalncia Lgica e Implicao Lgica .............................................. 36 2.3. Deduo no Clculo Proposicional ........................................................ 39 Captulo 3 Lgica de Predicados...................................................................... 48 3.1. Predicados e Quantificadores................................................................ 48 3.2. Domnio de Interpretao de uma Expresso Predicativa Valores Lgicos ......................................................................................................... 52 3.3. Frmulas Predicativas: Traduo e Validade ........................................ 53 3.4. Deduo na Lgica de Predicados ........................................................ 56 3.4.1. Particularizao Universal (PU)....................................................... 57 3.4.2. Particularizao Existencial (PE)..................................................... 58 3.4.3. Generalizao Universal (GU) ........................................................ 59 3.4.4. Generalizao Existencial (GE)....................................................... 59 Leitura Complementar...................................................................................... 62 MODULO II TEORIA DOS CONJUNTOS E FUNES .................................. 67 Capitulo 4 - Introduo Teoria dos Conjuntos ............................................... 68 4.1. Noo Intuitiva de Conjunto e Relaes de Pertinncia ........................ 68 4.2. Alguns Conjuntos Especiais .................................................................. 70 4.3. Relaes entre Conjuntos...................................................................... 71 4.3.1. Relao de Continncia .................................................................. 71 4.3.2. Igualdade de Conjuntos .................................................................. 72 4.3.3. Conjunto Universo........................................................................... 72 4.4. Diagramas de Venn ............................................................................... 74 4.5. Conjuntos Numricos............................................................................. 77 4.5.1. Conjunto dos Nmeros Naturais ..................................................... 77 4.5.2. Conjunto dos Nmeros Inteiros ....................................................... 77 4.5.3. Conjunto dos Nmeros Racionais ................................................... 78 4.5.4. Conjunto dos Nmeros Irracionais .................................................. 79 4.5.5. Conjunto dos Nmeros Reais ......................................................... 79 4.5.6. Conjunto dos Nmeros Complexos................................................. 81

3 Captulo 05 lgebra dos Conjuntos.................................................................. 87 5.1. Unio de Conjuntos ............................................................................... 87 5.2. Interseo de Conjuntos ........................................................................ 89 5.3. Complemento de um Conjunto Diferena ........................................... 90 5.4. Conjunto das Partes .............................................................................. 93 5.5. Produto Cartesiano ................................................................................ 94 5.6. Identidades de Conjunto ........................................................................ 96 5.6.1. Dualidade............................................................................................ 98 5.7. Conjuntos finitos e princpio da enumerao ......................................... 99 Tpico Extra: Diferena Simtrica .................................................................. 103 Capitulo 06 Estudo das Funes.................................................................... 108 6.1. Noes sobre Relaes....................................................................... 108 6.2. Conceitos Introdutrios sobre Funes ............................................... 113 6.2.1. Propriedades das Funes ........................................................... 119 6.2.2. Composio de Funes............................................................... 122 6.2.3. Funes Inversas .......................................................................... 124 6.3. Funes Matemticas.......................................................................... 126 6.3.1. Funes Floor e Ceiling ................................................................ 126 6.3.2. Funes Valor Inteiro e Valor Absoluto ......................................... 127 6.3.3. Funo Resto ................................................................................ 127 6.3.4. Funo Exponencial e Funo Logartmica .................................. 128 Referncias .................................................................................................... 136

MODULO I - FUNDAMENTOS DE LGICA MATEMTICA


Objetivos Contedo Introduo ao Estudo da Lgica Formal Lgica Proposicional Lgica de Predicados Compreender a lgica em seu contexto histrico; Reconhecer e trabalhar com os smbolos que so usados nas lgicas, proposicional e de predicados; Determinar o valor lgico de uma expresso na lgica proposicional; Verificar se argumento sentencial vlido; Manipular tabelas-verdade; Verificar se uma sentena tautologia, contradio ou contingncia; Utilizar a lgica de predicados para representar sentenas; Determinar o valor lgico de alguma interpretao de uma expresso na lgica de predicados; Utilizar o mtodo dedutivo para demonstrar a validade de argumentos na lgica proposicional e na lgica de predicados.

Capitulo 1 Introduo ao Estudo da Lgica Formal


O aprendizado da Lgica auxilia os estudantes no raciocnio, na compreenso de conceitos bsicos, na verificao formal de programas e melhor os prepara para o entendimento do contedo de tpicos mais avanados. (Celina Abar, 1999)

Por ter relao direta com a Cincia da Computao, o estudo da Lgica mostra-se indispensvel ao estudante da rea de Informtica. So vrias as possibilidades de aplicaes diretas do raciocnio lgico-matemtico: desde linguagens de programao mais simples at resoluo de problemas com Inteligncia Artificial. Todo o fundamento da computao tem suas razes na matemtica, uma vez que esta quem possibilita Cincia a formalizao de vocabulrios e notaes com alto poder de definio. Tambm graas matemtica que podemos fazer abstraes e raciocnios precisos e rigorosos. Tudo isto s possvel devido ao uso da lgica para entendimento do raciocnio matemtico, sendo utilizados princpios que possibilitam a distino entre raciocnios vlidos e outros no vlidos. Neste capitulo sero apresentados os conceitos bsicos da lgica matemtica, cujo domnio essencial para estudos futuros sobre linguagens de programao, teoria da computao, sistemas digitais e inteligncia artificial.

1.1. Caracterizao e Histrico da Lgica


H na literatura inmeras definies para a Lgica, dentre as quais destacamos:
a lgica o ramo da filosofia que cuida das regras do bem pensar, ou do pensar correto, sendo, portanto, um instrumento do pensar. (WIKIPEDIA, 2009) A Lgica o estudo dos processos vlidos e gerais pelos quais atingimos a verdade [...] a cincia das leis do pensamento. (FONTES, 2008)

Percebemos pelas definies apresentadas que a Lgica o estudo das leis gerais do pensamento e as diferentes maneiras de aplicar corretamente essas leis na investigao da verdade. Em outras palavras, podemos dizer que a Lgica a cincia dos argumentos, ou seja, ela trata das concluses a que chegamos a partir das evidncias que as sustentam. De maneira mais geral, possvel dizer que a Lgica o estudo do raciocnio (DOTAVIANO; FEITOSA, 2003). A Lgica teve seu incio com Aristteles, no sculo IV a.C., como uma cincia dedicada ao estudo dos atos do pensamento a partir de sua estrutura ou forma lgica, sem levar em considerao qualquer contedo material (FONTES, 2008). Em termos mais simples, diz formas de raciocnio

6 atravs das quais seria possvel a obteno de novos conhecimentos a partir de conhecimentos j existentes e que fossem considerados verdadeiros. o chamado mtodo dedutivo ou, simplesmente, deduo. As principais contribuies de Aristteles para a lgica esto em sua obra Organon, na qual so destacados os pontos centrais da lgica aristotlica: a lei da no contradio, o princpio do terceiro excludo e a teoria dos silogismos, que trata dos enunciados categricos. Esses princpios so considerados vlidos at os dias atuais e constituem as bases da chamada lgica formal. As principais crticas Lgica Aristotlica surgiram por volta do sculo XVI, oriundas de filsofos como Francis Bacon (1561 1626) e Ren Descartes (1596 - 1650). Bacon lanou as bases para a formalizao do mtodo na obteno de uma concluso geral a partir de um conjunto de fatos conhecidos, mediante observao. Em outras palavras, a induo consiste em afirmar acerca de todos, aquilo que foi observado em alguns. Nesta poca, a lgica formal um perodo de descrdito, mas, apesar disso, continuou motivando muitas pesquisas, a partir das quais surgiram novas teorias sobre o raciocnio. A maior revoluo sofrida pela lgica ocorreu em meados do sculo XIX, quando estudiosos como Boole e Bertrand Russel conceberam uma maneira de converter a lgica numa lgebra. Tendo a matemtica como modelo, eles formalizaram uma linguagem simblica para expressar o pensamento lgico. Foi o surgimento da lgica matemtica ou simblica. A partir de ento, o raciocnio passou a ser visto como clculo matemtico. Ao longo do sculo XX, a lgica atingiu elevado grau de formalizao. Atualmente, j dispomos de um poderoso sistema de smbolos e regras de combinao de smbolos que nos possibilita obter concluses vlidas (FONTES, 2008).

1.2. Conceito de Proposio


O primeiro conceito que preciso dominar para compreender as estruturas da lgica formal o de proposio, tambm chamada de sentena. Uma proposio ou sentena qualquer orao que pode ser avaliada como verdadeira ou falsa. As proposies constituem o alicerce das estruturas fundamentais da Lgica Matemtica, que, por sua vez, fundamentada em dois princpios bsicos (ou axiomas) (ALENCAR FILHO, 2002): 1) PRINCPIO DA NO-CONTRADIO: uma proposio nunca ser verdadeira e falsa simultaneamente. 2) PRINCPIO DO TERCEIRO EXCLUDO: uma proposio sempre assume um dos valores lgicos: ou verdadeira ou falsa.

7 Alm desses princpios bsicos, podemos afirmar que toda proposio, por ser uma orao, possui sujeito e predicado, alm de sempre ser uma orao declarativa (IEZZI; MURAKAMI, 1993). Exemplo 1.1 Proposies Considere as seguintes oraes: a) Cinco menor que oito. b) Como o seu nome? c) Ai, que susto! d) Sete menos trs. e) V dormir. A frase (a) uma proposio, pois possvel definir que ela verdadeira. As frases (b) e (c) no podem ser avaliadas como verdadeira ou falsa, portanto no so proposies. Note que a frase (b) uma pergunta e a frase (c) uma exclamao. Quanto frase (d), nota-se que ela no possui predicado, por isso ela tambm no constitui uma proposio. A frase (e) tambm no assume nenhum valor lgico e, portanto, no uma proposio. Auto Avaliao 1.1 Analise as oraes seguintes e diga quais delas so proposies. 1. Que horas so? 2. Cristvo Colombo descobriu o Brasil. 3. A raiz quadrada de 25 5. 4. Realize suas tarefas com ateno. 5. No se desespere, este exerccio muito fcil!

1.3. Valores Lgicos das Proposies


O valor lgico de uma proposio est diretamente associado ao resultado de sua avaliao como verdadeira ou falsa. Neste caso, dizemos que o valor lgico verdade (V) est associado s proposies verdadeiras, assim como o valor falsidade (F) est vinculado s proposies falsas.
Lembre-se: Pelos princpios da no contradio e do terceiro excludo, toda proposio possui UM, e apenas UM, dos valores lgicos (V ou F).

Exemplo 1.2 Valores Lgicos das Proposies Considere as seguintes proposies: a: O Brasil dividido em cinco regies. b: Santos Dumont o pai da Informtica. O valor lgico da proposio (a) a verdade (V) e o valor lgico da proposio (b) a falsidade (F).

As representaes simblicas destes valores so respectivamente: V(a) = V e V(b) = F Auto Avaliao 1.2 Determine o valor lgico de cada uma das proposies seguintes. 1. A cor do cavalo branco de Napoleo branca. 2. Imperatriz a Capital do Maranho. 3. A raiz quadrada de 16 menor que a metade de 10. 4. O Brasil uma Repblica Presidencialista. 5. A metade de 5 menos 2 um nmero inteiro positivo.

1.4. Classificao das Proposies


As proposies do Exemplo 1.2 so ditas proposies simples ou atmicas, uma vez que no possvel decomp-las em proposies mais simples. Existem, ainda, proposies mais complexas, chamadas de proposies compostas ou moleculares, formadas por duas ou mais proposies simples ligadas por meio de conectivos lgicos. So cinco os conectivos lgicos: E OU NO SE ... ENTO SE, E SOMENTE SE Exemplo 1.3 Proposies Compostas Nas proposies seguintes, os conectivos esto destacados. a) Pel brasileiro e Maradona argentino. b) Windows no um software livre. c) Vou praia ou ao cinema. d) Se eu estudar, ento serei aprovado em Matemtica para Computao. e) Serei aprovado em Matemtica para Computao se, e somente se, eu estudar. Em geral, as proposies simples so representadas por letras latinas minsculas e as proposies compostas por letras latinas maisculas. Assim, podemos representar a proposio Pel brasileiro pela letra a e a proposio Maradona argentino pela letra b, por exemplo. A proposio composta, Pel brasileiro e Maradona argentino podem ser representados A e escrita da seguinte maneira: A: Pel brasileiro e Maradona argentino. Antes de passar para o prximo tpico, tente responder a pergunta abaixo.

Pare e Reflita Como determinar o valor lgico de uma proposio composta?

1.5. Valor Lgico de Proposies Compostas


Sabemos, pelo princpio do terceiro excludo, que uma proposio simples p ou verdadeira ou falsa. Os possveis valores lgicos de uma proposio simples podem ser representados, por meio de uma tabela ou como uma rvore de possibilidades, conforme ilustrao a seguir.

O valor lgico de uma proposio composta definido em funo dos valores lgicos das proposies simples que a compe e levando-se em considerao os conectivos empregados. Para facilitar este clculo, utiliza-se uma estrutura conhecida como tabela-verdade.
Uma tabela-verdade uma tabela que descreve os valores lgicos de uma proposio em termos das possveis combinaes dos valores lgicos das proposies componentes e dos conectivos usados. Menezes (2008)

Exemplo 1.4 Tabela Verdade Considerando-se uma proposio composta formada pelas proposies simples a e b, os possveis valores lgicos de a e b so representados numa tabela verdade.
1 2 3 4 a V V F F b V F V F

Observe que a tabela mostra todas as combinaes possveis de valores lgicos para a e b: VV, VF, FV e FF. Note, ainda, que os valores esto dispostos na tabela de acordo com a seguinte rvore de possibilidades:

10

Para cada possibilidade de valor da proposio a, devem ser associadas todas as possibilidades para a proposio b. Auto Avaliao 1.3 Considere as seguintes proposies simples: p: A raiz quadrada de 9 igual 3. q: 5 menos 2 igual a 3. r: O dobro de 1,5 igual a 3. Deseja-se formar uma proposio composta S utilizando-se as proposies p, q e r. Monte uma rvore de possibilidades e escreva a tabelaverdade com todas as combinaes possveis de valores lgicos para p, q e r. Agora que voc j sabe como representar numa tabela-verdade as possveis combinaes de valores lgicos para um conjunto de proposies simples, podemos prosseguir e analisar de que forma os conectivos interferem na definio do valor lgico de uma proposio composta. Os conectivos esto associados a operaes lgicas, as quais so realizadas sobre as proposies e obedecem a algumas regras. Na Tabela 1, so mostradas as operaes lgicas, com seus respectivos operadores (conectivos) e smbolos.
Tabela 1: Operaes e Operadores Lgicos Operao Operador Smbolo Negao NO Conjuno E Disjuno OU Condicional SE ... ENTO Bicondicional SE, E SOMENTE SE

O detalhamento de cada uma dessas operaes dado a seguir e o seu entendimento essencial para o estudo e compreenso da Lgica Matemtica.

1.6. Operaes Lgicas


1.6.1. Negao Podemos utilizar o conectivo NO () para formar uma nova proposio, cujo valor lgico oposto ao da proposio original. Se tivermos uma proposio p, sua negao ser p. Caso o valor lgico de p seja V, o valor de p ser F, e vice versa. A representao desta operao na tabela-verdade a seguinte:

11

Exemplo 1.5 Negao Sejam as proposies: a: A capital do Maranho So Lus. b: Todos os alunos de Licenciatura em Informtica aprendero Lgica. c: Existem alunos estudiosos. A negao da proposio (a) definida com o uso do advrbio NO. Desta forma: a: A capital do Maranho no So Lus. possvel, ainda, escrever a negao de (a) da seguinte forma: falso que a capital do Maranho So Lus. As demais proposies deste exemplo exigem um pouco mais de ateno. A negao de b (b) seria: Nem todos os alunos de Licenciatura em Informtica aprendero Lgica ou Existem alunos de Licenciatura em Informtica que no aprendero Lgica, ou, ainda, H alunos de Licenciatura em Informtica que no aprendero Lgica. Quanto a proposio (c), sua negao (c) pode ser escrita da seguinte forma: No existem alunos estudiosos ou Todos os alunos no so estudiosos. 1.6.2. Conjuno Com o uso do conectivo E () possvel ligar duas proposies, formando uma nova proposio chamada conjuno, cujo valor lgico a verdade (V) quando ambas as proposies que a compem forem verdadeiras. Deste modo, p q (l-se p e q) a conjuno das proposies p e q e tem como valor lgico a verdade quando os valores de p e de q forem simultaneamente a verdade. A representao desta operao na tabela-verdade a seguinte:

Para melhor entendimento, acompanhe a seguinte situao: A empresa fictcia SoftHard abriu uma vaga para programador de sistemas, com a exigncia de que os candidatos soubessem programar em C e em Java. Desta situao podem ser extradas duas proposies:

12

p: O candidato sabe programar em C. q: O candidato sabe programar em Java. Suponha que quatro candidatos se apresentaram para a seleo: Joo, que programa em C e em Java; Marcos, que programa em C, mas no programa em Java; Ari, que no programa em C, mas programa em Java e Simone, que no programa nem em C nem em Java. Voc certamente j sabe quem ser classificado, pois a exigncia da empresa bem clara. Note que tal exigncia representada por uma conjuno: o candidato deve programar em C E em Java. Portanto, com o uso da tabela-verdade da conjuno possvel determinar, com exatido, quem ser contratado pela empresa. Assim, temos:

Joo, que sabe programar em C (p = V) e sabe programar em Java (q = V), poder ser contratado, pois atende simultaneamente s duas exigncias (p q = V). Marcos, que sabe programar em C (p = V) e no sabe programar em Java (q = F), no pode ficar com a vaga, pois s atende a uma das exigncias (p q = F). Da mesma forma, Ari no ser contratado, pois no sabe programar em C (p = F), mesmo sabendo programar em Java (q = V). Simone tambm no poder ser contratada, pois no programa nem em C (p = F) nem em Java (q = F). Uma conjuno s verdade quando ambas as proposies que a compe forem simultaneamente verdade. Exemplo 1.6 Conjuno Sejam as proposies: a: Lula brasileiro. b: O Maranho pertence ao Paraguai. a b: Lula brasileiro e o Maranho pertence ao Paraguai. c: 5 3 = 2 d: 10 um nmero par. c d: 5 3 = 2 e 10 um nmero par. A conjuno a b tem como valor lgico a falsidade. Observe:

13

V(a) = V e V(b) = F, portanto V(a b) = V(a) V(b) = V F = F A conjuno c d tem como valor lgico a verdade. Observe: V(c) = V e V(d) = V, portanto V(c d) = V(c) V(d) = V V = V 1.6.3. Disjuno Quando usamos o conectivo OU () possvel ligar duas proposies para formar uma terceira proposio denominada disjuno, cujo valor lgico a falsidade quando ambas as proposies que a compe forem simultaneamente falsas. Assim, p q (l-se p ou q) disjuno das proposies p e q e tem como valor lgico a falsidade se p e q assim o forem simultaneamente. A representao desta operao na tabela-verdade a seguinte:

Considere que a empresa SoftHard modificou a exigncia para a contratao do programador de sistemas. Agora, os candidatos devem programar em C ou programar em Java. Neste caso, a definio de quem ser contratado baseada na operao lgica disjuno, cujos operandos so: p: O candidato sabe programar em C q: O candidato sabe programar em Java A tabela-verdade para este caso a seguinte:

Neste caso, Joo poder ser contratado (p q = V), pois sabe programar em C (p = V) e tambm em Java (q = V). Marcos, que programa em C (p = V), apesar de no programar em Java (q = F), poder ser contratado (p q = V), pois bastante programar em pelo menos uma das duas linguagens, conforme a exigncia da empresa. Do mesmo modo, Ari, que no programa em C (p = F), mas programa em Java (q = V) tambm poder ser contratado (p q

14 = V). Apenas Simone no seria contratada (p q = F), pois no programa nem em C (p = F) nem em Java (q = F). Uma disjuno s uma falsidade quando ambas as proposies que a compe forem simultaneamente uma falsidade.

Exemplo 1.7 Disjuno Sejam as proposies: a: Gonalves Dias um poeta maranhense. b: A lua quadrada. a b: Gonalves Dias um poeta maranhense ou a lua quadrada. c: 5 3 > 2 d: 10 um nmero primo. c d: 5 3 > 2 ou 10 um nmero primo. A disjuno a b tem como valor lgico a verdade. Observe: V(a) = V e V(b) = F, portanto V(a b) = V(a) V(b) = V F = V A disjuno c d tem como valor lgico a falsidade. Observe: V(c) = F e V(d) = F, portanto V(c d) = V(c) V(d) = F F = F 1.6.4. Condio Dadas duas proposies p e q, possvel escrever uma nova proposio p q (l-se se p ento q ou p implica q), chamada condio ou implicao, onde p chamado antecedente e q conseqente, e cujo valor verdade a falsidade quando p for uma verdade e q uma falsidade. Existem outras maneiras de expressar p q em linguagem natural, como: p condio suficiente para q, p somente se q, q condio necessria para p ou p conseqncia de q. Por exemplo, a proposio Uma alimentao equilibrada uma condio necessria para uma vida saudvel pode ser reescrita da seguinte maneira Uma vida saudvel conseqncia de uma alimentao equilibrada ou ainda, Se tens uma vida saudvel, ento tens uma alimentao equilibrada. Note que o antecedente uma vida saudvel e o conseqente uma alimentao equilibrada. A tabela-verdade da condio a seguinte:

15 Para o entendimento desta operao, considere que um amigo de faculdade fez a seguinte afirmao: Se eu passar em todas as disciplinas que estou cursando este semestre, vou para Barreirinhas curtir as frias. Desta afirmao, podem ser retiradas duas proposies: p: Se eu passar em todas as disciplinas que estou cursando este semestre. q: Vou para Barreirinhas curtir as frias. Caso seu amigo realmente seja aprovado em todas as disciplinas do semestre (p = V) e viaje para Barreirinhas (q = V), a afirmao foi uma verdade (p q = V). Se ele, entretanto, for aprovado em todas as disciplinas (p = V) e no viajar (q = F), a afirmao consistiu numa falsidade (p q = F). Agora, supondo que ele tenha ficado reprovado (p = F), independente de ele ter ido (q = V) ou no (q = F) a Barreirinhas, no podemos dizer que a afirmao falsa, pois ele nada afirmou quanto a ficar reprovado. Em qualquer destes casos a afirmao tida como verdade (p q = V). A proposio p q, uma verdade se p e q forem simultaneamente verdade ou se p for uma falsidade. Caso p seja uma verdade e q uma falsidade, p q ser uma falsidade. Exemplo 1.8 Condio Sejam as proposies: a: O relgio marca as horas. b: Grande parte da Amaznia Legal fica no Brasil. a b: Se o relgio marca as horas, ento grande parte da Amaznia Legal fica no Brasil. c: Machado de Assis escreveu Dom Casmurro. d: 10 um nmero primo. c d: Se Machado de Assis escreveu Dom Casmurro, ento 10 um nmero primo. e: O Brasil foi colonizado pelos franceses. f: A capital do Maranho Teresina. e f: Se o Brasil foi colonizado pelos franceses, ento a capital do Maranho Teresina. A implicao a b tem como valor lgico a verdade. Observe: V(a) = V e V(b) = V, portanto V(a b) = V(a) V(b) = V V = V A implicao c d tem como valor lgico a falsidade. Observe: V(c) = V e V(d) = F, portanto V(c d) = V(c) V(d) = V F = F A implicao e f tem como valor lgico a verdade. Observe: V(e) = F e V(f) = F, portanto V(e f) = V(e) V(f) = F F = V Observe no Exemplo 1.8 que nem sempre o conseqente se deduz ou conseqncia do antecedente. Note que o fato de grande parte da

16 Amaznia Legal estar no Brasil no se deduz do simples fato de o relgio marcar as horas. Da mesma forma, no se poderia afirmar que 10 um nmero primo em conseqncia de Machado de Assis ter escrito Dom Casmurro. A nica relao existente entre o antecedente e o conseqente relativa aos seus valores lgicos. O que uma condicional afirma somente uma relao entre os valores lgicos do antecedente e do conseqente. (ALENCAR FILHO, 2002) 1.6.5. Bicondio Dadas duas proposies p e q, possvel escrever uma nova proposio p q (l-se p se, e somente se, q), chamada bicondio, cujo valor verdade a verdade quando p e q forem simultaneamente uma verdade ou uma falsidade. Perceba que a bicondio uma implicao vlida nos dois sentidos, ou seja, so duas condies simultneas. No sentido da ida, p o antecedente e q o conseqente e no sentido da volta, q o antecedente e p o conseqente. (MENEZES, 2008). A tabela-verdade da bicondio seguinte:

Antes de prosseguir, tente responder a pergunta abaixo: Pare e Reflita: Como se chegou a esta tabela-verdade para p q?

A tabela-verdade da bicondio foi construda levando-se em considerao que ela , na verdade, uma conjuno de duas implicaes: (p q) (q p). Podemos, portanto, construir uma tabela-verdade para a conjuno das duas implicaes, como segue:

17

Uma bicondio verdadeira quando as proposies que a compe possuem o mesmo valor lgico. Exemplo 1.9 Bicondio Sejam as proposies: a: O Brasil fica na Amrica do Sul. b: No vero faz calor. a b: O Brasil fica na Amrica do Sul se, e somente se, no vero faz calor. c: 13 divisvel por 2. d: 10 um nmero primo. c d: 13 divisvel por 2 se, e somente se, 10 um nmero primo. e: Domingo um dia til. f: O Sol uma estrela. e f: Domingo um dia til se, e somente se, o Sol uma estrela. A bi-implicao a b tem como valor lgico a verdade. Observe: V(a) = V e V(b) = V, portanto V(a b) = V(a) V(b) = V V = V A implicao c d tem como valor lgico a verdade. Observe: V(c) = F e V(d) = F, portanto V(c d) = V(c) V(d) = F F = V A implicao e f tem como valor lgico a falsidade. Observe: V(e) = F e V(f) = V, portanto V(e f) = V(e) V(f) = F V = F Assim como na implicao, a bi-implicao afirma somente uma relao entre os valores lgicos do antecedente e do conseqente. Auto Avaliao 1.4 Determine o valor lgico das proposies a seguir: (a) A metade de dois um e cinco um nmero primo. (b) Gonalves Dias francs ou os macacos so rpteis pr-histricos. (c) Se o relgio marca as horas, ento sen30 = 1. (d) So Lus uma ilha se, e somente se, os papagaios podem voar.

18 1.7. Frmulas bem Formuladas e Tabelas-Verdade possvel encadearmos diversas proposies, simples e compostas, por meio dos conectivos lgicos e com o uso de parnteses ou colchetes. Desse encadeamento surgem novas proposies, como, por exemplo: (p q) (q p) Este encadeamento ou arranjo de proposies, conectivos e parnteses (ou colchetes) no pode ser feito de qualquer jeito. Como em qualquer linguagem, preciso seguir regras de sintaxe para que se escrevam proposies vlidas. Proposies vlidas so chamadas de Frmulas Bem Formuladas ou simplesmente frmulas. Menezes (2008) define frmula como uma sentena lgica corretamente construda, sobre um alfabeto cujos smbolos so conectivos, parnteses, identificadores, constantes, etc. Desta definio, infere-se que frmula: a) uma proposio simples (tambm chamada de frmula atmica); b) uma proposio composta; c) um encadeamento de proposies simples e/ou compostas, por meio de conectivos e parnteses. Exemplo 1.10 Frmulas So frmulas (escritas de maneira simblica): a) p b) p q c) (p q) (w t) d) p (~a b) No so frmulas: a) p q b) p (a p) c) p q r s t Em muitos casos, a escrita simblica de frmulas mais complexas pode apresentar alguns problemas. Considere o seguinte exemplo: p q r, onde p: Maria adoeceu. q: Joo viajou. r: Hrcules no pode sair de casa. A frmula acima, da forma como est escrita, pode indicar duas expresses diferentes: Se Maria adoeceu e Joo viajou, ento Hrcules no pode sair de casa ou Maria adoeceu e, se Joo viajou, ento Hrcules no pode sair de casa.

19 E agora, como saber qual das duas expresses est representada pela frmula? Para solucionar problemas deste tipo, os conectivos obedecem a uma ordem de precedncia, que a seguinte: 1. Conectivos entre parnteses, dos mais internos para os mais externos; 2. Negao (); 3. Conjuno () e disjuno (); 4. Condio (); 5. Bicondio (). Com base no exposto, pode-se afirmar que na frmula p q r a conjuno tem precedncia sobre a condio. Ento, a expresso simbolizada pela frmula Se Maria adoeceu e Joo viajou, ento Hrcules no pode sair de casa. Para representar a segunda expresso, preciso fazer uso de parnteses: p (q r). Pare e Reflita: Como se constri uma tabela-verdade de uma frmula?

Para determinar o valor lgico de uma frmula comum recorrer-se a construo de uma tabela-verdade, a qual mostrar todos os casos em que a frmula ser verdadeira (V) ou falsa (F). A seguir apresentado um conjunto de passos que auxiliam na construo de tabelas-verdade. Regra prtica 1. Conte o nmero de proposies simples e calcule o nmero de linhas da tabela, sabendo que uma frmula composta de n proposies simples gera uma tabela com 2n linhas; 2. Desenhe a tabela e escreva cada proposio simples sobre a primeira linha; 3. Para a isima proposio simples (i n), atribua alternadamente 2n i valores V seguidos da mesma quantidade de valores F. 4. Em seguida, realize as operaes lgicas, obedecendo ordem de precedncia. Para cada operao, crie uma nova coluna na tabela. Considere a seguinte frmula: p (q r). Aplicando a regra 1, notamos que existem trs proposies simples na frmula dada, o que implica dizer que a tabela-verdade ter 23 = 8 linhas. Assim, temos (regra 2):

20

Pela regra 3, temos que p a primeira proposio simples, assim, devemos preencher a coluna correspondente com 23 1 = 22 = 4 valores V seguidos da mesma quantidade de valores F.

Para a segunda e a terceira proposies temos, respectivamente: 232 = 21 = 2 valores V, seguidos da mesma quantidade de valores F, alternadamente e 233 = 20 = 1 valor V e tambm 1 valor F, alternadamente.

A regra 4 indica a resoluo de cada uma das operaes lgicas, seguindo uma ordem de precedncia. Assim, iniciamos por resolver a conjuno entre parnteses.

21

Por fim, resolvemos a condio. Ficando com a seguinte estrutura:

A ltima coluna corresponde combinao dos possveis valores lgicos da frmula p (q r). Exerccio Resolvido Construa a tabela-verdade para a seguinte frmula: (p q) (p q) Soluo

possvel, ainda, determinarmos o valor lgico de uma frmula, conhecendo o valor lgico de cada uma das proposies que a compem. Exemplo 1.11 Valor Lgico de uma Frmula Determinar o valor lgico de cada uma das frmulas a seguir: a) p (a b), onde V(p) = V, V(a) = F e V(b) = V. b) p (q r), onde V(p) = V, V(q) = F e V(r) = F.

22 Para determinar qual ser o valor lgico de cada uma das frmulas apresentadas, devemos substituir os valores lgicos das proposies simples que a compem e realizar as operaes lgicas indicadas. Assim, para frmula mostrada na letra (a), temos: V (F V) = V V = V Portanto, o valor lgico da frmula p (a b) a verdade (V). Para a frmula apresentada na letra (b), temos: V (F F) = V V = V Portanto, o valor lgico da frmula p (q r) tambm a verdade (V). Exerccios Resolvidos 1. Sabendo que V(p) = V e V(r) = F, determine o valor lgico da proposio A(p,r) (p r) (p r) (p r) SOLUO: Substituindo os respectivos valores lgicos na expresso, temos: V(A) = (F F) (V V) (V F) Resolvendo cada operao lgica entre parnteses, vem: V(A) = V V F Resolvendo a conjuno, temos: V(A) = V F Por fim, resolvendo a bicondio, temos: V(A) = F Portanto, o valor lgico da proposio A(p, r) a falsidade (F) 2. Determine o valor lgico da proposio Se o Brasil um pas em desenvolvimento e o Maranho o maior estado do Nordeste, ento a raiz quadrada de 25 igual ao dobro de 100 ou o Maranho no o maior estado do Nordeste. SOLUO: Inicialmente devemos escrever a proposio em forma simblica. a: o Brasil um pas em desenvolvimento. b: o Maranho o maior estado do Nordeste. c: a raiz quadrada de 25 igual ao dobro de 100 (a b) (c b)

23 Agora, substitumos os valores lgicos de cada proposio simples na sentena encontrada. Assim, (V F) (F V) Resolvendo as operaes lgicas entre parnteses, encontramos FV Por fim, resolvemos a implicao, tendo como resultado a verdade. Portanto, a proposio tem a verdade (V) como valor lgico. Auto Avaliao 1.4 Escreva a proposio a seguir em linguagem simblica e em seguida determine seu valor lgico. A Terra o planeta vermelho e a metade de 15 maior que 4 se, e somente se, Tiradentes morreu atropelado ou a metade de 15 menor que 4.

1.8. Tautologias, Contradies e Contingncias


Denomina-se tautologia, ou proposio tautolgica, toda frmula cujo valor lgico sempre a verdade, independente dos valores lgicos das proposies simples que a compe. Como conseqncia imediata desta definio, podemos afirmar que as frmulas p p, p p e p p so tautologias, j que seus valores lgicos so sempre a verdade (V). Comprovamos que determinada frmula uma tautologia, atravs da construo de sua tabela-verdade. Exemplo 1.12 Tautologia A frmula p r q r uma tautologia. Tal fato constata-se na tabela-verdade.

24 O caso oposto ao de uma tautologia, chamado contradio, consiste em frmulas que so sempre falsas para quaisquer valores das proposies simples componentes. Uma definio formal de contradio dada por Alencar Filho (2002): Contradio toda proposio composta P(p, q, r, ...) cujo valor lgico sempre F (falsidade), quaisquer que sejam os valores lgicos das proposies simples componentes p, q, r, ... imediata a concluso de que uma contradio corresponde negao de uma tautologia, pois se uma tautologia sempre verdadeira (V), ento sua negao ser sempre falsa (F). Pare e Reflita: Voc pode demonstrar que as frmulas p p e p p so contradies?

Assim como as tautologias, uma contradio pode ser demonstrada por meio de uma tabela-verdade. Exemplo 1.13 Contradio A frmula p q (p q) uma contradio. Tal fato constata-se na tabela-verdade.

As frmulas que no se constituem nem tautologias nem contradies so chamadas de contingncias. Exemplo 1.14 Contingncia A frmula p (q p) uma contingncia. Tal fato constatamos na tabela-verdade.

25 Podemos afirmar que a frmula dada insatisfatvel, ou inconsistente, quando e q forem ambas verdadeiras e que satisfatvel, ou consistente, para as demais combinaes de valores lgicos para p

1.9. Disjuno Exclusiva


Considere as seguintes proposies compostas: P: Adriano aluno de Licenciatura em Informtica ou Camila brasileira. Q: Marina foi aprovada ou reprovada em Matemtica para Computao. Note que na primeira proposio indica que pelo menos uma das proposies Adriano aluno de Licenciatura e Informtica, Camila brasileira verdadeira, sendo possvel que ambas as sejam verdadeiras. Na segunda proposio, percebemos que apenas uma das proposies poder ser verdadeira, pois impossvel que Marina seja aprovada e reprovada em Matemtica para Computao. No primeiro caso, temos uma disjuno inclusiva, enquanto que no segundo temos uma disjuno exclusiva, tambm chamada de operao XOR, que simbolizada por . Assim, a proposio p q uma disjuno exclusiva e lida da seguinte forma: ou p ou q. A tabela-verdade para a disjuno exclusiva a seguinte:

TAREFA Mostre que p q (p q) uma tautologia.

26

Leitura Complementar
Lgica nas Linguagens de Programao
(extrado de: MENEZES, Paulo Blauth. Matemtica Discreta para Computao e Informtica. Porto Alegre: Bookman, 2008)

Em geral, as linguagens de programao possuem o tipo de dado lgico ou boolenano pr-definido. No caso da linguagem Pascal, o tipo de dado denominado boolean, e os correspondentes valores lgicos V e F so denotados por true e false, respectivamente. A declarao (definio) das variveis p, q e r deste tipo como segue: p, q, r: boolean A linguagem Pascal (assim como a maioria das linguagens de programao) possui os seguintes conectivos lgicos: not (negao) and (conjuno) or (disjuno) <= (condio) = (bicondio) Suponha que desejado desenvolver um programa em Pascal capaz de calcular e informar o valor lgico da frmula p (q r) para quaisquer valores de p, q e r fornecidos. Assim, o programa necessita ler os valores de p, q e r, calcular o valor lgico da frmula para os valores lidos e imprimir o resultado. Um programa para o problema apresentado a seguir: program valor_logico (input, output); var p, q, r: boolean; begin read (p, q, r); if p or (q and r) then write(verdadeiro); else write(falso); end. A primeira linha define o nome do programa e informa que os procedimentos pr-definidos input e output sero usados para entradas (leituras) e sada (impresses), respectivamente.

27 A segunda linha define as variveis p, q e r as quais so do tipo boolean. Entre as palavras begin e end so especificados os comandos (definem as aes). O comando de leitura read l os valores lgicos de p, q e r a serem considerados. O comando if-then-else tem a seguinte semntica: se a expresso lgica aps a palavra if for verdadeira, ento o comando aps a palavra then executado, seno, o comando aps a palavra else executado. Portanto, se os valores de p, q e r lidos, se o valor-verdade de p (q r) for verdadeiro, o texto verdadeiro impresso; seno, o texto falso impresso.

28 RESUMO Uma proposio qualquer sentena declarativa que pode ser classificada como verdadeira ou falsa. Toda proposio possui um, e apenas, um dos valores lgicos: verdadeiro ou falso. Uma proposio pode ser simples ou composta. Uma proposio composta formada por duas ou mais proposies simples, ligadas por conectivos lgicos. So cinco os principais conectivos lgicos: NO, E, OU, SE... ENTO, SE E SOMENTE SE. Para cada conectivo lgico, uma operao lgica definida. O valor lgico de uma proposio composta definido pelo valor lgico das proposies simples que a compe e pelos conectivos empregados. Para definio do valor lgico de uma proposio composta so utilizadas estruturas conhecidas como tabelas verdade. A operao de negao consiste na inverso do valor lgico da proposio original. Uma conjuno ser verdadeira quando as proposies que a compem forem ambas verdadeiras. Para os demais casos, ser falsa. Uma disjuno s ser falsa quando ambas as proposies que a compem forem simultaneamente falsas. Para as demais combinaes, o valor lgico ser a verdade. Uma condio falsa quando um antecedente verdadeiro implicar numa falsidade. Para os demais casos, a condio verdadeira. Uma bicondio s verdadeira quando ambos os operandos tiverem o mesmo valor lgico. Uma proposio vlida quando obedece a regras sintticas na sua escrita. Toda proposio vlida chamada de frmula. Denomina-se tautologia toda frmula cujo valor lgico sempre verdadeiro. Chama-se contradio a frmula que possui a falsidade como valor lgico, em qualquer situao. As frmulas que no so tautologias nem contradies so chamadas de contingncias.

29

Exerccios Propostos (01)

Leonardo Delgado 1. Analise as seguintes frases e indique quais delas so proposies, justificando suas respostas. Para as que forem proposies, indique seu valor lgico. a) A Lua uma estrela da quinta grandeza. R. uma proposio, no entanto o seu valor falso. Ento: V(a) = F b) Em que regio brasileira fica localizado o Estado do Maranho? R. No uma proposio e sim uma pergunta. c) O dobro de qualquer nmero inteiro positivo sempre par. R. uma proposio e seu valor verdadeiro. Ento V(c) = V. d) J que voc est cansado, levante-se e v dormir. R. uma proposio composta, onde foi aplicada a funo condicional. Ento V(d)V(d) e) 21 um nmero primo. R. uma proposio, cujo valor falso. Ento: V(e) = F. f) A cidade de Imperatriz fica s margens do rio Itapecuru. R. uma proposio e seu verdadeiro. Ento: V(f) = V. g) Como estes exerccios so fceis! R. No uma proposio e sim uma exclamao h) No verdade que Cabral descobriu a Amrica. R. uma proposio onde foi aplicada a operao de negao, cujo o valor verdadeiro. Ento ~V(h) = V. i) A raiz quadrada da soma de 5 com 4 3. R. uma proposio e seu verdadeiro. Ento: V(i) = V. j) A soma do quadrado da hipotenusa igual soma dos quadrados dos catetos. R. uma proposio e seu verdadeiro. Ento: V(j) = V. 2. Sejam a, b e c as seguintes sentenas: a: Andr gosta de estudar. b: Andr inteligente. c: Andr fala vrios idiomas.

30 Escreva as sentenas abaixo em notao simblica: a) Andr inteligente, mas no gosta de estudar. V(b) V(a) ou V(b) ~V(a) b) Se Andr gosta de estudar ou fala vrios idiomas, ento ele inteligente. V(a) V(c) V(b) c) Andr inteligente ou fala vrios idiomas, mas no gosta de estudar. V(b) V(c) V(a) d) falso que Andr desinteressado pelos estudos ou que no inteligente. V(a) ~V(b) e) Ou Andr no fala vrios idiomas, mas inteligente, ou ele no gosta de estudar. ~V(c) V(b) ~V(a) 3. Escreva as seguintes sentenas em notao simblica. a) Ou vou ao Shopping ou vou ao Cinema, mas no ambos. (p q)(p q) b) Beberei gua ou, se sentir fome, comerei um pedao de bolo. (p q) r c) Se o tempo estiver bom, iremos praia, mas se estiver chovendo ficaremos em casa ou, se estiver nevando, iremos esquiar. (p q)r (s t) d) Comprarei uma casa nova apenas se meu salrio aumentar ou se receber nova gratificao. (p q) r e) Se meu salrio no aumentar, comprarei uma nova casa caso receba nova gratificao. ~p (qr) 4. (ALENCAR FILHO, 2002 e GERSTING, 2003) Construa as tabelas-verdade para as seguintes frmulas. Indique as tautologias e as contradies. a) (p q) (p r q r)
p V V V V F F F F q V V F F V V F F r V F V F V F V F pr V F V F F F F F qr V F F F V F F F pq V V F F V V V V prqr V V F V V V V V (p q) (p r q r) V V V V V V V V

A frmula (p q) (p r q r) uma tautologia

31 b) (p q) p q p q pq p q V V V V V F F F F V V V F F V V A frmula (p q) p q uma tautologia c) ((p q) r) p r


p V V V V F F F F q V V F F V V F F r V F V F V F V F pq V V V V V V F F r F V F V F V F V ((p q) r) F V F V F V F F p r V V F F V V V V ((p q) r) p r V V V F V V V V

(p q) p q V V V V

A frmula ((p q) r) p r uma contingncia. d) p q q p p V V F F q V F V F pq V F F F q p F V V V p q q p F F F F

A frmula p q q p uma contradio. e) (p q r) (p q r)


p V V V V F F F F q V V F F V V F F r V F V F V F V F pq V V F F F F F F pqr V F V V V V V V p F F F F V V V V q r V V F V V V F V (p q r) F F V F V V F V (p q r) (p q r) V F V V V V V V

A frmula (p q r) (p q r) uma contingncia. 5. Determine o valor lgico de cada uma das seguintes sentenas. a) So Lus a capital do Maranho, e 2 + 2 = 5 ou 6 o dobro de 3. V(q) v(p) V(r) = V F V = V b) falso que o Sol um satlite natural da Terra, e, se o Brasil fica na frica, ento o rio Amazonas desgua no Oceano Atlntico. ~V (q) V (p) V(r) VFV=V

32 c) Se a raiz quadrada de 16 8 e 5 3 resulta em um nmero par, ento 10 > 5. V(q) V(p) V(r) FVV=V d) (q r) s (p s), sabendo que V(p) = V, V(r) = V, V(q) = F e V(s) = F. (F V) F (V F) FFF FF=V e) (p (q p)) ((p q) q p), sabendo que V(p) = F e V(q) = V. (F (F F)) ((F F)V V) (F V) (V V) FF=F

33

Captulo 2 Clculo Proposicional


No captulo anterior utilizamos a notao da lgica formal para representar proposies de maneira simblica como frmulas. Essas frmulas so conhecidas como frmulas proposicionais. Todo sistema formal que faz uso de frmulas proposicionais chamado de lgica proposicional ou clculo proposicional. O clculo proposicional consiste no uso dos recursos da lgica formal para se chegar a concluses a partir de proposies dadas (GERSTING, 2003). Neste captulo, estudaremos mtodos de raciocnio expressos sob a forma de argumentos, que consistem numa srie de proposies, chamadas hipteses, a partir das quais se pode inferir outra proposio, a concluso (PINTO, 2000). Vamos l?

2.1. Conceito de Argumento Argumentos Vlidos


O nosso dia a dia repleto de situaes que envolvem o conceito de argumentao. Ao justificar uma falta aula de Matemtica para Computao. Ao explicar a razo de no ter sido aprovado em uma determinada disciplina. Ao defender um ponto de vista.

O que seria, ento, um argumento? Para responder a esta pergunta, considere as seguintes expresses: a) Todo gato tem sete vidas. Garfield um gato. Logo, Garfield tem sete vidas. b) Se Marcos engenheiro, ento ele gosta de matemtica. Marcos engenheiro. Portanto, Marcos gosta de matemtica. Perceba que as expresses dadas so um conjunto de proposies, onde a ltima delas conseqncia das anteriores. Partindo desta observao, podemos dizer o que um argumento. Denomina-se argumento a afirmao de que de um dado conjunto de proposies P1, P2, ... , Pn, chamadas premissas ou hipteses, decorre uma proposio Q, chamada concluso. (PINHO, 2000) Assim, nos argumentos apresentados, temos:

34 a) Hipteses: Todo gato tem sete vidas Garfield um gato. Concluso: Garfield tem sete vidas. b) Hipteses: Se Marcos engenheiro, ento ele gosta de matemtica. Marcos engenheiro. Concluso: Marcos gosta de matemtica. Utilizando argumento como: a linguagem simblica, podemos representar um

P1 P2 P3 ... Pn Q onde P1, P2, ... Pn so as hipteses do argumento e Q a concluso. Alguns autores utilizam a seguinte notao para representar argumentos: P1, P2, P3,..., Pn Q A segunda notao apresentada a mais comum na bibliografia. Para argumentos: responder a esta pergunta, considere os seguintes

Pare e Reflita: Todo argumento vlido?

a) O Brasil o maior pas da Amrica do Sul em extenso territorial. Teresina a capital do Piau. Portanto, o homem um ser racional. b) Se eu estudar Matemtica Discreta, ento aprenderei Lgica. Se eu aprender Lgica, serei aprovado. Logo, se eu estudar Matemtica Discreta, serei aprovado. O argumento (a) possui duas hipteses: 1. O Brasil o maior pas da Amrica do Sul em extenso territorial. 2. Teresina a capital do Piau. A concluso : O homem um ser racional. Note que embora as hipteses e a concluso apresentem, individualmente, como valor lgico a verdade, esta no decorre diretamente daquelas. A concluso um fato verdadeiro isolado, no estando relacionado com as hipteses. Por esta razo, o argumento dito invlido.

35

Para o argumento (b), temos as seguintes hipteses: 1. Se eu estudar Matemtica Discreta, ento aprenderei Lgica. 2. Se eu aprender Lgica, serei aprovado. E a concluso: Se eu estudar Matemtica Discreta, serei aprovado. Neste caso, nota-se claramente que a concluso decorrente das hipteses. Portanto, trata-se de um argumento vlido. Se um argumento vlido, ento a condicional que o representa sempre verdadeira, independente dos valores lgicos das proposies componentes (PINHO, 200). Em outras palavras, podemos dizer que um argumento P1 P2 ... Pn Q vlido quando for uma tautologia. Considerando os argumentos apresentados acima, temos: a) p: O Brasil o maior pas da Amrica do Sul em extenso territorial. q: Teresina a capital do Piau. r: O homem um ser racional. Em linguagem simblica: p q r.

A frmula no uma tautologia, o que prova que o argumento invlido. b) P(a, b): Se eu estudar Matemtica Discreta, ento aprenderei Lgica. a: Estudar Matemtica Discreta. b: Aprenderei Lgica Q(b, c): Se eu aprender Lgica, serei aprovado. c: Serei aprovado R(a, c): Se eu estudar Matemtica Discreta, serei aprovado Em linguagem simblica: (a b) (b c) (a c).

36

Perceba que a frmula correspondente representao simblica do argumento uma tautologia. Portanto, trata-se de um argumento vlido. Auto Avaliao 2.1 Analise o seguinte argumento: Se Jos pegou as jias ou Andr mentiu, ento ocorreu um crime. Se ocorreu um crime ento Raimundo estava na cidade. Raimundo no estava na cidade. Portanto, ou Jos no pegou as jias ou Andr no mentiu. FONTE: PINHO, Antonio de Almeida. Introduo Lgica Matemtica. Existem dois tipos de argumentos: argumentos indutivos e dedutivos. Dizemos que um argumento indutivo se sua validade ou invalidade for independente de sua forma lgica. Um argumento dito dedutivo se, e somente se, sua validade depender apenas de sua forma lgica. A lgica formal prev um sistema de regras de deduo que modificam uma frmula, preservando seu valor lgico.

2.2. Equivalncia Lgica e Implicao Lgica


Considere a frmula abaixo e sua respectiva tabela-verdade. p (q r) (p q) (p r)

37

Observe que a frmula dada uma tautologia. Note tambm que ela composta por duas outras frmulas, p (q r) e (p q) (p r), cujas tabelas-verdade so idnticas. Neste caso, dizemos que as frmulas p (q r) e (p q) (p r) so logicamente equivalentes, ou seja, constituem uma equivalncia lgica, simbolizada por . Assim, podemos escrever p (q r) (p q) (p r). Chama-se equivalncia lgica, ou simplesmente equivalncia, toda tautologia representada por uma proposio bicondicional (p q). Neste caso, diz-se que p e q so logicamente equivalentes. Segundo Menezes (2008), podemos dizer que, se duas frmulas sintaticamente diferentes so logicamente equivalentes, ento elas possuem o mesmo significado. De fato, duas proposies so equivalentes quando expressam a mesma idia. Pare e Reflita: Com base na definio apresentada, justifique a seguinte afirmao: Se duas proposies so equivalentes, ento possuem a mesma tabela-verdade, e, reciprocamente, se duas proposies tm a mesma tabela-verdade, so equivalentes. (PINHO, 2005) A seguir so apresentadas algumas das principais equivalncias lgicas. Tabela 2.1: Equivalncias Lgicas

A lista de equivalncias apresentada apenas exemplificativa, uma vez que existem infinitas tautologias. Procuramos listar as equivalncias mais importantes do ponto de vista de sua utilidade.

38

Exemplo 2.1. Equivalncia Lgica Uma equivalncia muito importante a chamada Reduo ao Absurdo. p q p q r onde r uma proposio cujo valor lgico a falsidade (F). Constatamos tal fato na tabela-verdade.

Analisaremos agora as tautologias da forma p q, que so chamadas de implicaes lgicas ou inferncias lgicas. O smbolo da implicao lgica . Chama-se implicao lgica, ou simplesmente implicao, toda tautologia representada por uma proposio condicional (p q). Neste caso, diz-se que p implica logicamente q. Em outras palavras, podemos dizer que p implica logicamente q se a veracidade da primeira arrastar necessariamente a veracidade da segunda (PINTO, 2000). A seguir so listadas as principais regras de implicao lgica. Tabela 2.2: Implicaes Lgicas

A demonstrao das implicaes citadas simples. Basta a construo da tabela-verdade da condicional correspondente. Exemplo 2.2 Implicao Lgica Considere a implicao lgica Modus Ponens. (p q) p q

39 Prova-se que essa regra uma implicao lgica, atravs da sua tabela-verdade

Auto Avaliao 2.2 Voc pode demonstrar as regras apresentadas na Tabela 2 e na Tabela 3, por meio da construo de tabelas-verdade.

2.3. Deduo no Clculo Proposicional


Como demonstrado nas sees anteriores, possvel mostrarmos a validade ou invalidade de um argumento por meio da construo de sua tabela-verdade. Entretanto, quando temos muitas proposies simples envolvidas no argumento, o nmero de linhas da tabela verdade grande, o que inviabiliza sua construo. Por exemplo, se temos um argumento com 8 proposies simples, a tabela-verdade ter 28 = 256 linhas. Para resolver este problema, foram desenvolvidos outros mtodos para mostrar a validade de um argumento. Esses mtodos so chamados de mtodos dedutivos e consistem na aplicao de regras que modificam uma frmula sem alterar seu valor lgico. A deduo parte das hipteses P1, P2, ..., Pn, supostamente verdadeiras, e, atravs da aplicao de regras de deduo, termina com a concluso Q, que deve ser verdadeira, pois os valores lgicos so preservados sob aplicao das regras (GERSTING, 2003). As regras de deduo para a lgica proposicional podem ser de dois tipos: equivalncias e inferncias. Tais regras foram apresentadas nas sees anteriores e consistem na reescrita de frmulas sem alterao de seus valores lgicos, no caso da equivalncia, e na deduo de novas frmulas a partir de outras, no caso da inferncia. Dizemos que um argumento vlido quando for possvel obter a concluso Q atravs da deduo. Em caso contrrio, o argumento dito invlido. Um algoritmo para o processo de deduo foi formulado por Pinho (2005) e apresentado a seguir.

40 O processo de Deduo Dado um argumento P1 P2 ... Pn Q, faa: 1. Defina o conjunto P formado pelas premissas {P1, P2, ..., Pn}; 2. Para um ou mais elementos do conjunto das premissas, aplique regras de equivalncia ou de inferncia conhecidas, obtendo novas proposies e as inclua no conjunto P; 3. Repita o passo 2 at que a proposio includa em P seja o conseqente Q. Exemplo 2.3 Deduo na Lgica Proposicional Vamos provar o seguinte argumento: (p q) (q r) (s r t) (p s) (r t) que tambm pode ser escrita como p q, q r, s r t, p s r t Para provar a validade de um argumento, devemos construir uma seqncia de demonstrao. Essa seqncia consiste na aplicao de regras de equivalncia ou de inferncia sobre as hipteses, a fim de obtermos a concluso. Deste modo, temos: 1pq 2 q r 3 s r t 4 p s 5p 6 p r 7 r 8 s 9 s r 10 t 11 r t (hiptese) (hiptese) (hiptese) (hiptese) 4 simplificao 1,2 silogismo hipottico 5, 6 modus ponens 4 simplificao 8 adio 9, 3 modus ponens 7, 10 conjuno

Observe que cada passo foi numerado para facilitar a seqncia de demonstrao. As 4 hipteses foram escritas nas 4 primeiras linhas. A partir do passo 5 foram aplicadas regras de equivalncia e inferncia para obter uma nova proposio, indicando ao lado como esta foi obtida.

41 Exerccios Resolvidos 1. Demonstrar que o argumento a(bc), abd SOLUO A demonstrao consiste numa seqncia de demonstrao, como segue: (1) a(bc) (hiptese) (2) abd (hiptese) (3) (a b) (a c) (4) a b (5) d (6) a d

ad valido

1 lei distributiva 3 simplificao 4, 2 modus ponens 5 adio

2. Provar a validade do argumento: Se eu responder todos os exerccios corretamente ou tirar 10 nas provas de Matemtica para Computao, ento serei aprovado e sairei de frias. Se eu sair de frias ou ganhar duas passagens de presente, irei conhecer os Lenis Maranhenses. Logo, se eu responder todos os exerccios corretamente, irei conhecer os Lenis Maranhenses. SOLUO Inicialmente preciso escrever o argumento em linguagem simblica. a responder todos os exerccios corretamente b tirar 10 nas provas de Matemtica para Computao. c ser aprovado. d sair de frias. e ganhar duas passagens de presente. f conhecer os Lenis Maranhenses. def Deste af modo o argumento representado por abcd,

Este um caso especial de demonstrao, no qual a concluso uma condicional. Para a sequncia de prova, devemos, pois, considerar o antecedente da concluso como uma hiptese e deduzir o conseqente. Assim, o argumento a ser provado torna-se bcd, def segue. abcd, def af f

A demonstrao consiste numa seqncia de demonstrao, como

(1) abcd (hiptese) (2) def (hiptese) (3) a (hiptese)

42 (4) a b (5) c d (6) d (7) d e (8) f RESUMO Um argumento um conjunto de proposies das quais decorre outra proposio. Um argumento vlido quando o mesmo representar uma tautologia. Chama-se equivalncia toda tautologia representada por uma proposio bicondicional. Define-se implicao como toda tautologia representada por uma proposio condicional. Deduo o processo utilizado para de demonstrar a validade de um argumento, que consiste num conjunto de regras utilizadas para modificar uma frmula sem alterar seu valor lgico. 3 adio 4, 1 modus ponens 5 simplificao 6 adio 7, 2modus ponens

43

Exerccios Propostos (02)

Leonardo Delgado

1. A prova de argumentos na lgica proposicional podem se dar pela aplicao de regras de equivalncia e implicao ou pela construo de tabelas-verdade. Explique em que consiste cada uma dessas tcnicas, explicitando suas vantagens e desvantagens.
As regras de equivalncia e implicao lgicas uma forma de utilizar a lgebra das proposies, no emprego do mtodo dedutivo, como forma de comprovar a validade de um argumento. O mtodo das tabelas-verdade permite demonstrar, verificar ou testar a validade de qualquer argumento, mas o seu emprego torna-se cada vez mais trabalhoso medida que aumenta o nmero de proposies simples componentes dos argumentos.

2. (ALENCAR FILHO, 2002) Por meio da construo de tabelas-verdade, prove a validade dos seguintes argumentos. a) (p q) (r q) (p r)
p q r ~q ~r p q (r q) V V V F F F F V V F F V F V V F V V F V F V F F V V V F F V V F F F F F V F F V F V F F V V F F F F F F V V F F Esse argumento no valido um sofisma (pq)(rq) F F F F F F F F (pr) V F V F F F F F (pq)(rq)(pr) F F F F F F F F

b) p q, q r, p s, s
p q r V V V V V V V V F V V F V F V V F V V F F V F F F V V F V V F V F F V F F F V F F V F F F F F F O argumento vlido s V F V F V F V F V F V F V F V F

r (p q)
pq V V V V V V V V V V V V F F F F qr V V F F V V V V V V F F V V V V ps V F V F V F V F V V V V V V V V ~s F V F V F V F V F V F V F V F V r (p q) V V F F V V F F V V F F F F F F

10

44 c) p q r, (q r), p s
p V V V V V V V V F F F F F F F F q V V V V F F F F V V V V F F F F r V V F F V V F F V V F F V V F F s V F V F V F V F V F V F V F V F qr V V V V F F F F F F F F F F F F

p s
pq r V V V V F F F F V V V V V V V V (qr) F F F F V V V V V V V V V V V V p F F F F F F F F V V V V V V V V ps V V V V V V V V V F V F V F V F ps F F F F F F F F V F V F V F V F

9 11 13 15

O argumento vlido d) (p q) p ((p r) q) r


p V V V V F F F F q V V F F V V F F r V F V F V F V F q F V F V F V F V p F F F F V V V V pq V V V V F V F V (pr) V F V F F F F F (pr) F V F V V V V V ((pr)q) V V V F V V F F

Esse argumento no valido um sofisma 3. (PINHO, 2005; ALENCAR FILHO, 2002) Faa o mesmo que na questo 2, porm utilizando o mtodo dedutivo. a) (p q) r, p (q p) (1) (p q) r P (2) p (q p) P (3) pq 2-SD (4) pq 3-COND (5) qqr 3,1MP (6)qqr 5 COND (7) qr 6- ID qr

b) p q, q s, t (r s) pt (1) p q P (2) q s P (3) t (r s) P (4) (q s) (s q) 2- BICOND (5) qs 4 -SIMP (6) ps 1,5- SH (7) (tr)(ts) 3- DIST

45 (8) ts (9) st (10) st (11) pt 7- SIMP 8 -COM 9 -COND 6,10-SH

c) p q r, r q p s, s q, p rs (1) p q r P (2) r q p s P (3) s q P (4) p P (5) pqr 1.(EI) (6) rqps 2. COND (7) pq 4.AD (8) (rq)(sq) 5,6. MP (9) rqs 8,3. MP Obs. Tentei de diversas formas mas no consegui resolver essa questo d) p q, r s, q s t, t p r (1) p q P (2) r s P (3) q s t P (4) t_ P_ (5) t 4 -DN (6) (q s) 3,5 - MT (7) qs 6-DM (8) q 7-SIMP (9) s 7-SIMP (10) p 1,8-MT (11) r 2,9-MT (12) pr 10,11-CONJ 4. (PINHO, 2005; GERSTING, 2003; ALENCAR FILHO, 2002) Escreva os argumentos abaixo em linguagem simblica. a) Ou pagamos a dvida ou o dficit aumenta; se as exportaes crescerem, o dficit no aumenta. Logo, ou pagamos a dvida ou as exportaes no crescem. p-pagar a divida q-defict aumenta r- exportaes crescem pq, r~q p~r

46 b) Se o programa eficiente, ele executar rapidamente: ou o programa eficiente ou ele tem um erro. No entanto, o programa no executa rapidamente. Logo, o programa contm um erro. p-programa eficiente q-executar rapidamente r-tem um erro (pq)(pr), ~q r

c) A Rssia tinha um poder superior, e ou a Frana no era forte ou Napoleo cometeu um erro. Napoleo no cometeu um erro, mas se o exrcito no tivesse falhado, a Frana seria forte. Portanto, o exrcito falhou e a Rssia tinha um poder superior. p- Rssia tinha um poder superior q- Frana era forte r- Napoleo cometeu um erro s- o exrcito falhou p(~qr), ~r(~sq) sp

d) Se trabalho, no posso estudar. Trabalho ou passo em Matemtica para Computao. Eu trabalhei, logo passei em Matemtica para Computao. p-trabalho q-poder estudar r- passar em matemtica para computao p~q, pr pr

5. Investigue a validade dos argumentos da questo 4. a)pq, r~q p~r


p V V V V F F F F q V V F F V V F F r V F V F V F V F ~q F F V V F F V V ~r F V F V F V F V pq V V V V V V F F r~q F V V V F V V V p~r F V F V V V V V

2 3 4

Esse argumento no valido um sofisma, devido a linha trs a falsidade da concluso.

47 b)(pq)(pr), ~q
p V V V V F F F F

r
q V V F F V V F F r V F V F V F V F pq V V F F V V V V pr V V V F V V V F (pq)(pr) V V F F V V V F ~q F F V V F F V V

Esse argumento valido na linha 7. c) p(~qr), ~r(~sq)


p V V V V V V V V F F F F F F F F q V V V V F F F F V V V V F F F F r V V F F V V F F V V F F V V F F s V F V F V F V F V F V F V F V F ~q F F F F V V V V F F F F V V V V ~qr V V F F V V V V V V F F V V V V

sp
p(~qr) V V F F V V V V F F F F F F F F ~s F V F V F V F V F V F V F V F V ~sq V V V V V F V F V V V V V F V F ~r F F V V F F V V F F V V F F V V ~r(~sq) V V V V V V V F V V V V V V V F sp V F V F V F V F F F F F F F F F 1 2 5 6 7

Esse argumento no valido, nas linhas 2 e 6, logo um sofisma. d)p~q, pr pr


p V V V V F F F F q V V F F V V F F r V F V F V F V F ~q F F V V F F V V p~q F F V V V V V V pr V V V V V F V F pr V F V V V V V V

3 4 5 7

Esse argumento valido.

48

Captulo 3 Lgica de Predicados


Nos captulos anteriores, estudamos a lgica proposicional, que trata das relaes lgicas geradas pelos operadores , , , e . Entretanto, a validade de alguns argumentos no depende somente desses operadores (PEREIRA, 2008). Considere o seguinte argumento: Raimundo maranhense. Todos os maranhenses so brasileiros. Logo, Raimundo brasileiro. Dele, temos: p: Raimundo maranhense; q: Todos os maranhenses so brasileiros; r: Raimundo brasileiro. Utilizando a notao proposta pela lgica proposicional, este argumento tem a seguinte representao: pqr Embora seja possvel determinar intuitivamente que esse argumento vlido, no h como demonstrar que a concluso r uma conseqncia lgica das hipteses p e q, j que o mesmo no uma tautologia (comprove pela construo da tabela-verdade). Segundo Pereira (2008), a validade desse argumento depende do significado da palavra todos, que no pode ser expresso na lgica proposicional. Muitos outros argumentos tambm no podem ser representados e analisados por meio da lgica proposicional, pois dependem do significado lgico de palavras como todo, algum, cada, nenhum, etc. Como a lgica proposicional disponibiliza um modelo de raciocnio muito limitado, a anlise de argumentos dessa natureza feita por meio dos recursos oferecidos pela lgica de predicados, que ser nosso objeto de estudo neste captulo. E a, vamos l?

3.1. Predicados e Quantificadores


Iniciemos nossa discusso pela anlise da proposio Todos os maranhenses so brasileiros. O significado desta proposio expresso a seguir: Para todo x, se x maranhense, ento x brasileiro.

49 Esta proposio apresenta novos elementos: um quantificador (para todo), uma varivel (x) e um predicado (se x maranhense, ento x brasileiro). Um quantificador representa, como o nome j diz, a quantidade de objetos1 que possuem determinada propriedade. Esta propriedade o que chamamos de predicado2. Uma varivel, neste contexto, possui definio semelhante dada pela lgebra: seu uso permite a expresso de fatos sobre determinados objetos sem que seja necessrio dizer explicitamente quem so esses objetos (GERSTING, 2003) (PEREIRA, 2008). No nosso exemplo, foi utilizado o quantificador para todo, que permite a expresso de fatos sobre todos os objetos em determinado contexto. Este quantificador chamado quantificador universal e simbolizado por . Deste modo, possvel escrever a proposio dada em notao simblica: (x)(se x maranhense, ento x brasileiro) Esta representao pode ser simplificada, j que padronizada uma notao para simbolizar o predicado. Neste caso, podemos escrever: maranhense(x), onde maranhense o que se diz de x e, do mesmo modo, brasileiro(x). Com isso, nossa proposio ser escrita da seguinte maneira: (x)(maranhense(x)brasileiro(x)) possvel simplificar ainda mais esta proposio, utilizando uma notao mais genrica para o predicado. maranhense(x) = M(x) brasileiro(x) = B(x) Com isso, temos: (x)(M(x) B(x)) Esta a notao utilizada para a representao simblica de sentenas na lgica de predicados. Alm do quantificador universal, podemos utilizar o quantificador existencial, simbolizado por , por meio do qual representada a existncia de pelo menos um objeto que possua determinada propriedade. Assim, a proposio (x)M(x) expressa que existe x, tal que x maranhense. Para melhor entendimento do uso de quantificadores, analise atentamente o exemplo que segue.

Um objeto qualquer coisa a respeito da qual se diz algo. Predicado o que se diz dos objetos, podendo ser entendido como uma relao entre os objetos de determinado contexto (PEREIRA, 2008).
2

50 Exemplo 3.1 Lgica de Predicados Considere as seguintes expresses: a) Todo nmero inteiro par divisvel por 2. b) Existe um nmero natural que no divisvel por 2. c) Nem todo poltico corrupto. Vamos simbolizar esses exemplos: a) P(x) = x um nmero inteiro par Q(x) = x divisvel por 2 (x)(P(x) Q(x)) b) Q(x) = x divisvel por 2 (x)(Q(x)) c) P(x) = x um poltico C(x) = x corrupto (x)(P(x) C(x)) At ento, todos os predicados com os quais trabalhamos envolvem propriedades de apenas uma varivel, sendo, por isso, chamados de predicados unrios ou mondicos. Quando um predicado envolve propriedades de mais de uma varivel ele chamado de predicado polidicos3, ou binrio, ternrio, etc. de acordo com a quantidade de variveis envolvidas na sentena. Neste contexto, a sentena So Lus a capital do Maranho, pode ser expressa como capital (So Lus, Maranho), onde capital a relao (ou predicado) entre os objetos So Lus e Maranho. Esta sentena pode ser generalizada, atravs do uso de variveis: capital (x, y), ou simplesmente, A(x, y), onde o predicado polidico A significa capital de. Em predicados polidicos, a ordem em que as variveis aparecem muito importante, pois interfere no significado da sentena. Normalmente, quando utilizamos predicados polidicos, necessrio o uso de mais de um quantificador. Neste caso, devemos ficar atentos ordem em que os quantificadores so empregados, uma vez que isto pode mudar completamente o significado da expresso. Exemplo 3.2 Predicado Polidico Considere as seguintes expresses: (x)(y)P(x, y) (x)(y)P(x, y)
3

Alguns autores chamam o predicado polidico de relao.

51

onde x e y so nmeros reais e P(x, y) a propriedade de que x o dobro de y. A primeira expresso tem o seguinte significado: para todo nmero real x existe um nmero real y, tal que x o dobro de y. A interpretao para a segunda expresso : existe um nmero x real tal que para todo nmero y real, x o dobro de y. Veja como a ordem em que os quantificadores foram empregados alterou completamente o sentido da expresso. importante saber que todos os conectivos e operaes lgicas definidas para a lgica proposicional so igualmente vlidos para a lgica de predicados, possuindo aqui o mesmo significado. Considere a seguinte expresso Alunos que so assduos s aulas e estudam em casa, so aprovados em Matemtica para Computao. Desta expresso possvel extrair os seguintes predicados: A(x) = x assduo. E(x) = x estuda em casa. P(x) = x foi aprovado em Matemtica para Computao. A expresso pode ser escrita da seguinte forma: A(x) E(x) P(x) Auto Avaliao 3.1 Represente simbolicamente as seguintes expresses predicativas: a) Todos os macacos gostam de banana. b) Todos os alunos estudiosos gostam de Matemtica para Computao. c) Alguns alunos no so estudiosos, mas gostam de Matemtica para Computao. d) Nem todos os macacos gostam de banana. Agora que voc j entendeu a estrutura de uma expresso na lgica de predicados, tente responder a pergunta que segue. Pare e Reflita: Como determinado o valor lgico de expresses como (x)M(x) e (x)M(x)?

52

3.2. Domnio de Interpretao de uma Expresso Predicativa Valores Lgicos


Na lgica de predicados, o valor lgico de uma expresso no depende somente do significado dos conectivos utilizados, mas tambm do contexto no qual ela (a expresso) interpretada. Para Gersting (2003), esse contexto representado por um conjunto de objetos sob os quais a interpretao feita, sendo chamado de Domnio de Interpretao ou Conjunto Universo. Exemplo 3.3 Domnio de Interpretao Considere a seguinte expresso: (x)P(x) Adotando como domnio de interpretao os habitantes de sua cidade, e sendo P(x) a propriedade de que x seja aluno do curso de Licenciatura em Informtica, temos: A interpretao da expresso que todos os habitantes da sua cidade so alunos do curso de Licenciatura em Informtica. O valor lgico desta expresso neste domnio de interpretao a falsidade. Agora, tomando por domnio de interpretao o conjunto dos nmeros naturais, e sendo P(x) a propriedade de que x maior ou igual a zero, temos: Para este caso, a interpretao da expresso de que todo nmero natural maior ou igual a zero, o que nos permite afirmar que a sentena verdadeira. Um conceito formal de interpretao para uma expresso predicativa foi apresentado por Gersting (2003): Uma interpretao para uma expresso envolvendo predicados consiste em: a) Um conjunto de objetos (Domnio de Interpretao), com pelo menos um objeto; b) A especificao de uma propriedade dos objetos no domnio para cada predicado da expresso; c) A atribuio de um objeto particular no domnio de interpretao para cada smbolo da expresso. Para melhor entendimento deste conceito, considere a expresso (x)(y)P(x, y) apresentada no exemplo 3.2.

53 Inicialmente devemos definir o domnio de interpretao com pelo menos um elemento. Consideremos, pois, que este domnio seja o conjunto dos nmeros reais. Em seguida, especificamos uma propriedade pertinente ao domnio para o predicado P(x, y). Podemos dizer, ento, que P(x, y) a propriedade de que x o dobro de y. Por fim, atribumos objetos particulares do domnio para as variveis x e y, a fim de constatarmos o valor lgico da expresso. Considerando x = 2, notamos que existe y = 1; para x = -5, existe y = -2,5; para x = 10, existe y = 5 e, assim, sucessivamente. Induzimos, ento, que a expresso verdadeira dentro do domnio de interpretao considerado, j que para qualquer nmero real x, existe outro nmero real (y) que exatamente o dobro de x. Auto Avaliao 3.2 Fornea uma interpretao na qual o valor lgico da expresso (x)P(x) seja a verdade e outra no qual seja a falsidade. Para isso, apresente o domnio de interpretao e o significado do predicado P(x).

3.3. Frmulas Predicativas: Traduo e Validade


Uma expresso predicativa construda atravs da combinao de predicados com quantificadores, parnteses (ou colchetes) e conectivos lgicos (GERSTING, 2003). Da mesma forma que as expresses proposicionais, as predicativas devem obedecer a um conjunto de regras sintticas para sua escrita. Com isso, podemos falar em frmulas predicativas, da mesma maneira como falamos de frmulas proposicionais no captulo 1. comum utilizarmos apenas o nome frmula para identificar tanto as frmulas predicativas quanto as frmulas proposicionais. Os parnteses (ou colchetes) so utilizados para delimitar o escopo4 de um quantificador. Quando no h parnteses, o escopo do quantificador limita-se ao predicado que o sucede. Considerando as expresses (x)(P(x) Q(x)) e (x)P(x) Q(x), dizemos que o quantificador atua sobre P(x) Q(x), no primeiro exemplo, e sobre P(x) no segundo. Disto, conclumos que a presena dos parnteses interfere no escopo de um quantificador e, como conseqncia, modifica o significado da expresso como um todo. Referente a esta situao, preciso ainda introduzir dois conceitos importantes: o de varivel livre e o de varivel ligada. Chama-se varivel livre
Chama-se escopo de um quantificador a parte da expresso sobre o qual ele atua (PINHO, 2005).
4

54 aquela que aparece em uma frmula predicativa fora do escopo de um quantificador que envolva esta varivel. Por outro lado, uma varivel que est vinculada a um quantificador chamada de varivel ligada. Na expresso (x)P(x) Q(x) a varivel x dita livre em sua segunda ocorrncia, pois est fora do escopo do quantificador existencial. Na primeira ocorrncia, x uma varivel ligada. No esquea: Uma varivel pode ser ao mesmo tempo livre e ligada em uma frmula predicativa. Uma frmula predicativa que possui variveis livres pode no ter valor lgico para algumas interpretaes. Uma tarefa que pode parecer difcil a traduo de expresses em portugus para a notao simblica da lgica de predicados. Para facilitar este trabalho, so apresentados a seguir quatro tipos especiais de sentenas, denominadas enunciados categricos. Universal Afirmativo: so enunciados da forma (x)(P(x)Q(x)). Neste caso, temos expresses como todos os maranhenses so brasileiros. Ou seja, para todo x, se x maranhense, ento x brasileiro. Universal Negativo: so enunciados da forma (x)(P(x)Q(x)). Um exemplo de sentena que se enquadra nesta categoria de enunciado nenhum maranhense marciano. Ou seja, para todo x, se x maranhense, ento x no marciano. Particular Afirmativo: so enunciados da forma (x)(P(x)Q(x)). Aqui, as expresses so similares a alguns maranhenses so torcedores do Sampaio Corra. Ou seja, existem um x, tal que x maranhense e x torcedor do Sampaio Corra. Particular Negativo: so enunciados da forma (x)(P(x)Q(x)). A expresso alguns maranhenses no so torcedores do Sampaio Corra um exemplo de sentena que se encaixa nesta categoria. Neste caso, existe um x, tal que x maranhense e x no torcedor do Sampaio Corra.

Exemplo 3.4 Enunciados Categricos Considere as seguintes expresses: a) Armas de fogo so perigosas. b) Alguns alunos no so estudiosos. c) Existem polticos honestos. d) No existem homens verdes. Analisando as expresses apresentadas, percebemos que a expresso (a) do tipo universal afirmativo, visto que se um objeto x uma arma de fogo, ento este objeto perigoso. Chamando A(x) = x arma de fogo e P(x) = x perigoso, temos (x)(A(x) P(x)).

55 A expresso (b) do tipo Particular Negativo e pode ser escrita como (x)(A(x) E(x)), onde A(x) a propriedade de x ser um aluno e E(x) a propriedade de x ser estudioso. A expresso (c) um enunciado Particular Afirmativo, sendo simbolizado por (x)(P(x)H(x)), em que P(x) = x poltico e H(x) = x honesto. A expresso (d) do tipo Universal Negativo, e pode ser representada por (x)(H(x) V(x)), cujo significado se x um homem, ento x no verde. No esquea: est associado a , enquanto que est associado a . Agora, vamos ao problema: dada uma expresso em portugus, construir sua representao simblica. Para realizar esta tarefa, muitas vezes til escrever outra proposio intermediria em portugus e s depois simboliz-la (GERSTING, 2003). Esteja atento tambm para o fato de uma expresso poder ser representada de diferentes maneiras (PEREIRA, 2008). Alm, disso no deixe de se preocupar com o escopo dos quantificadores e com o uso de conectivos lgicos, quando necessrio. Seja a expresso: no existem extraterrestres. Este um caso muito simples, em que h apenas um quantificador e um predicado mondico. Tal expresso pode ser escrita de duas maneiras distintas. Considerando que o predicado E(x) representa a propriedade de x ser extraterrestre, temos as seguintes interpretaes: 1. No existe x tal que x seja extraterrestre, ou seja, (x)E(x). 2. Para todo x, x no extraterrestre, ou seja, (x)( E(x)). Agora, consideremos a expresso O morcego um mamfero que voa. Note que esta sentena do tipo universal afirmativo, ou seja, se um objeto x um morcego, ento ele um mamfero e voa. Perceba tambm que ser necessrio utilizar um conectivo lgico (conjuno). Deste modo, temos: P(x) = x um morcego. M(x) = x um mamfero. V(x) = x voa. Simbolicamente: (x)(P(x) M(x) V(x)) Para a expresso Alguns homens so corajosos e outros so covardes, o que podemos perceber de imediato a necessidade da utilizao de duas variveis, visto que existe um x tal que x homem (H(x)) e x corajoso (C(x)), e existe um y tal que y homem (H(y)) e y covarde (D(y)). Assim, temos: (x)(H(x) C(x)) (y)(H(y) D(y))

56

Por fim, considere a seguinte expresso, extrada de Pinho (2005), Existe um ancestral comum a todas as pessoas. Esta sentena pode ser simbolizada de duas maneiras diferentes. Considerando P(x) = x uma pessoa e A(x, y) = x ancestral de y temos: 1. Para todo y, se y uma pessoa, existe um x tal que x ancestral de y, ou seja, (y)(P(y) (x)(A(x, y))). 2. Existe um x tal que para todo y, se y uma pessoa, ento x ancestral de y, ou seja, (x)(y)(P(y) A(x, y)). Observe a presena de dois quantificadores e de duas variveis. Perceba tambm que, para cada uma das duas representaes, o escopo dos quantificadores diferente, embora o signifivado das expresses em portugus seja o mesmo. No esquea: Podem existir mais de uma interpretao correta para afirmaes em portugus. Auto Avaliao 3.3 Para cada expresso, escreva sua representao simblica: a) Os mamferos no so sempre terrestres. b) Alguns alunos so atentos, outros no. c) Todos os professores tm alunos. J falamos anteriormente que o valor lgico de uma frmula predicativa depende da interpretao. Com base nisto, possvel afirmar que uma frmula predicativa vlida se ela assumir a verdade como valor lgico para todas as interpretaes possveis. Para dizermos que uma formula invalida, basta apresentar uma interpretao em que seu valor lgico seja falsidade.

3.4. Deduo na Lgica de Predicados


Nosso interesse na lgica de predicados , como na lgica proposicional, determinar a validade de argumentos. Os conceitos de argumento, regra de inferncia e deduo apresentadas quando estudamos o clculo proposicional permanecem vlidas para a lgica de predicados. Como os argumentos na lgica de predicados apresentam maior nvel de complexidade, devido ao uso de quantificadores e variveis, devemos nos valer dos enunciados categricos vistos na seo anterior como um meio facilitador na definio do valor verdade de uma frmula. Alm disso, a adoo de algumas regras que possibilitam a adio e/ou eliminao de quantificadores das hipteses podem ajudar neste processo. Essas regras so apresentadas na Tabela 3.1.

57 Tabela 3.1: Regras de Inferncia (FONTE: GERSTING, 2003)

Pinho (2005) apresenta um mtodo geral para o processo de deduo de argumentos na lgica de predicados. O processo de Deduo na Lgica de Predicados 1. Elimine os quantificadores das hipteses. 2. Deduza a concluso com as equivalncias e inferncias do clculo proposicional. 3. Insira (se for o caso) os quantificadores na concluso. Com base neste processo, as regras mostradas na Tabela 3 so detalhadas a seguir. 3.4.1. Particularizao Universal (PU) Baseia-se na afirmao de que se todos os objetos de um dado domnio de interpretao possuem certa propriedade, ento um objeto particular desse domnio tambm possui essa propriedade. Consideremos o argumento: Todos os maranhenses so brasileiros. Raimundo maranhense. Logo, Raimundo brasileiro. Representando este argumento simbolicamente, temos: (x)(M(x) B(x)) M(Raimundo) B(Raimundo) Provamos a validade deste argumento, atravs de deduo. Acompanhe: 1 (x)(M(x) B(x)) 2 M(Raimundo) 3 M(Raimundo) B(Raimundo) 4 B(Raimundo) (hiptese) (hiptese) 1, PU 2, 3, modus ponens

58 Observe que no passo 3, a particularizao universal consistiu na substituio da varivel x por objeto particular do domnio, Raimundo. 3.4.2. Particularizao Existencial (PE) A particularizao existencial significa que aquilo que verdade para algum objeto igualmente verdade para um dado objeto, desde que esse objeto no tenha sido utilizado anteriormente na deduo. Seja o argumento: Todos os maranhenses so brasileiros. Alguns homens so maranhenses. Logo, alguns homens so brasileiros. Representando este argumento simbolicamente, temos: (x)(M(x) B(x)) (x)(H(x) M(x)) (x)(H(x) B(x)) Acompanhe o processo de deduo a seguir. 1 (x)(M(x) B(x)) (hiptese) 2 (x)(H(x) M(x)) (hiptese) 3 H(p) M(p) 2, PE 4 M(p) B(p) 1, PU 5 H(p) 3, simplificao 6 M(p) 3, simplificao 7 B(p) 6, 4 modus ponens 8 H(p) B(p) 5, 7 conjuno 9 (x)(H(x) B(x)) 8, GE A hiptese 2 afirma que existe um x tal que esse x homem e maranhense. Devido a isso, possvel, em 3, nomear esse elemento como p, onde p um objeto qualquer do domnio de interpretao. Note que a hiptese 1 afirma que, qualquer que seja x, se x maranhense, ento x brasileiro. Portanto, podemos afirmar particularmente que se p maranhense, ento ele brasileiro (passo 4). Importante: S aplique a particularizao existencial aps certificar-se de que o termo a ser particularizado no tenha sido usado anteriormente no processo de deduo. As particularizaes tm a funo de retirar o quantificador de expresses que esto no escopo desse quantificador. Portanto, muito cuidado para no fazer dedues invlidas como, por exemplo:

59 1 (x)H(x) M(x) 2 H(p) M(p) (hiptese) 1, PE

A particularizao invlida, pois o escopo do quantificador somente o predicado H(x). 3.4.3. Generalizao Universal (GU) Esta regra de inferncia obedece ao seguinte enunciado: se um determinado objeto, escolhido aleatoriamente no domnio de interpretao, possuir certa propriedade, todos os objetos desse domnio tambm tero essa propriedade. Seja o argumento: Todos os maranhenses so brasileiros. Todos os ludovicenses so maranhenses. Logo, todos os ludovicenses so brasileiros. Representando este argumento simbolicamente, temos: (x)(M(x) B(x)) (x)(L(x) M(x)) (x)(L(x) B(x)) Provamos a validade deste argumento, atravs de deduo. Acompanhe: 1 (x)(M(x) B(x)) 2 (x)(L(x) M(x)) 3 M(p) B(p) 4 L(p) M(p) 5 L(p) B(p) 6 (x)(L(x) B(x)) (hiptese) (hiptese) 1, PU 2, PU 4, 3 silogismo hipottico 5, GU

Note que nos passos 3 e 4 foi utilizada a particularizao universal, substituindo-se a varivel x por um objeto arbitrrio p. No passo 6, foi aplicada a generalizao universal sobre L(p) B(p), visto que p qualquer objeto do domnio de interpretao. Importante: Uma generalizao universal no vlida nos casos em que o predicado for deduzido de uma hiptese na qual haja uma varivel livre. 3.4.4. Generalizao Existencial (GE) Neste caso, podemos afirmar que aquilo que verdade para um dado objeto, verdade para algum objeto.

60 Consideremos o seguinte argumento: Todos os maranhenses so pessoas hospitaleiras. Raimundo maranhense. Logo, existem pessoas hospitaleiras. Representando este argumento simbolicamente, temos: (x)(M(x) H(x)) M(Raimundo) ($x)H(x) Provamos a validade deste argumento atravs de deduo. Acompanhe: 1 (x)(M(x) H(x)) 2 M(Raimundo) 3 M(Raimundo) H(Raimundo) 4 H(Raimundo) 5 (x)H(x) (hiptese) (hiptese) 1, PU 2, 3 modus ponens 4, GE

Como no passo 4 obtivemos que Raimundo uma pessoa hospitaleira, ento existe pelo menos uma pessoa hospitaleira, o que expresso no passo 5 pela generalizao existencial. Voc deve ter percebido que, para provar a validade de argumentos na lgica de predicados, o procedimento similar ao da lgica proposicional. A seguir apresentado mais um exemplo. Analise-o com ateno. Exemplo 3.5 Deduo na Lgica de Predicados Provar o seguinte argumento: (x)(P(x) Q(x)) (x)P(x) (x)Q(x) Temos a seguinte seqncia de demonstrao: 1 (x)(P(x) Q(x)) 2 P(p) Q(p) 3 P(p) 4 Q(p) 5 (x)P(x) 6 (x)Q(x) 7 (x)P(x) (x)Q(x) hiptese 1 PU 2 simplificao 2 simplificao GU 3 GU 4 5, 6 conjuno

Exerccio Resolvido (adaptado de GERSTING, 2003) Demonstrar que o argumento todos os estudantes sabem ler. Alguns estudantes falam Ingls. Portanto, alguns estudantes sabem ler e falam Ingls vlido.

61 SOLUO Inicialmente, vamos escrever o argumento em notao simblica. Para isso, consideremos: E(x): x um estudante. L(x): x sabe ler. I(x): x fala ingls. O argumento : ()(E(x) L(x)) (x)(E(x) I(x)) (x)(E(x) L(x) I(x)) A seqncia de demonstrao a seguir comprova a validade deste argumento. 1 (x) (E(x) L(x)) (hiptese) 2 (x)(E(x) I(x)) (hiptese) 3 E(p) I(p) 2 PE 4 E(p) L(p) 1 PU 5 E(p) 3 simplificao 6 L(p) 5, 4 modus ponens 7 E(p) I(p) L(p) 3, 6 conjuno 8 E(p) L(p) I(p) 7 propriedade comutativa 9 (x)( E(x) L(x) I(x)) 8 GE

62

Leitura Complementar Programao Lgica


(extrado de: GERSTING, Judith L. Fundamentos Matemticos para a Cincia da Computao. So Paulo: LTC, 2003) Na lgica de predicados, usamos regras de inferncia para chegarmos a teses a partir das hipteses. Se uma tese tiver sido demonstrada como conseqncia de determinada hiptese, ento, em uma interpretao na qual a hiptese seja verdadeira, a tese tambm ser verdadeira. A linguagem de programao Prolog, que significa progamming in logic, tambm ajuda a chegar a teses a partir das hipteses. A linguagem inclui predicados, conectivos lgicos e regras de inferncia. Ela permite a descrio de uma interpretao, ou melhor, de hipteses verdadeiras em uma interpretao. As linguagens de programao com as quais voc provavelmente j tem familiaridade, tal como Pascal, so conhecidas como linguagens procedurais. A maior parte dos programas escritos em linguagens procedurais destinam-se a resolver o problema mo. O programador, portanto, diz ao computador como resolver o problema. Prolog, no entanto, uma linguagem declarativa (tambm chamada de linguagem descritiva). Um programa Prolog consiste em declaraes ou descries sobre uma interpretao, isto , quais as hipteses que so verdadeiras em uma interpretao. O conjunto de declaraes tambm chamado de base de dados do Prolog. Para determinar se uma dada tese, posta na forma de uma pergunta pelo usurio, ou no verdadeira para a interpretao, Prolog usa sua base de dados e aplica suas regras de inferncias (sem a necessidade de qualquer instruo por parte do programador). Itens em uma base de dados do Prolog podem ter duas formas, conhecidas em Prolog como fatos e regras. (Porm as regras do Prolog so apenas outro tipo de fatos, e no devem ser confundidas com as regras de inferncia.) Os fatos do Prolog permitem definir predicados. Por exemplo, suponhamos que desejemos criar umprograma Prolog que descreva as cadeias alimentares em uma determinada regio ecolgica. Devemos comear com um predicado binrio come. Ento descreveremos este predicado fornecendo os pares de elementos no domnio que tornam come verdadeiro. Portanto, teramos os fatos. come(urso, peixe) come(urso, raposa) come(urso, veado) Em nossa base de dados. (Os detalhes exatos dos comandos Prolog variam de implementao para implementao, portanto daremos aqui apenas

63 o esprito da linguagem atravs do uso de um pseudocdigo semelhante ao Prolog.) Neste exemplo, "urso", "peixe", "raposa", "veado" e "mato" so constantes porque representam elementos especficos do domnio. Como o domnio propriamente dito no especificado, exceto na declarao dos predicados, neste ponto podemos fazer inferir que o domnio consiste em "urso", "peixe", "raposa", "veado" e "mato". E saudvel que o usurio mantenha um entendimento e faa um uso consistente dospredicados em um programa Prolog. Portanto,come(urso, peixe) Pode ser usado tanto para representar o fato de que ursos comem peixes ou de que peixes comem ursos! Arbitramos a conveno de que come(x, y) significa "x come y'. Podemos incluir descries de dois predicados unrios, animal e planta para a base de dados incluindo os fatos animal(urso) animal(peixe) animal(raposa) animal(veado) planta(mato) De posse deste programa Prolog (base de dados), podemos fazer algumas perguntas simples. A pergunta is(animal(urso)) Simplesmente pergunta se o fato animal(urso) est na base de dados. Como este fato est na base de dados, o Prolog responder pergunta com yes. Outros dilogos com o Prolog poderiam incluir is(come(veado,mato)) yes is(come(urso, coelho)) no Perguntas podem incluir variveis, como mostrado no prximo exemplo. A pergunta which(x: come(urso,x)) produz peixe raposa Como resposta. O Prolog respondeu pergunta procurando em sua base de dados por todos os fatos que se ajustassem ao padro come(urso, x),

64 onde x uma varivel. A resposta "peixe" dada antes porque as regras so percorridas da primeira para a ltima. As perguntas podem, ainda, conter os conectivos lgicos and, or e not. O segundo tipo de item em uma base de dados Prolog uma regra Prolog. Uma regra uma descrio de um predicado atravs de uma implicao. Por exemplo, poderamos usar uma regra para definir um predicado para presa: presa(x) if come(y, x) and animal{x) Isto indica que x uma presa se for animal que comido. Se incluirmos esta regra a nossa base de dados, ento para a pergunta which(x: presa(x)) Teremos a resposta peixe raposa

65

RESUMO
A lgica de predicados uma extenso da lgica proposicional, atravs do uso de quantificadores e da adio de parmetros s proposies, transformando-as em predicados. Um predicado uma relao entre objetos de determinado contexto. Quantificadores representam a quantidade de objetos que possuem determinada propriedade. O quantificador universal () representa todos os objetos de um contexto. O quantificador existencial () representa pelo menos um objeto de um contexto. Chama-se escopo de um quantificador a parte da expresso sobre o qual ele atua. Na lgica de predicados, o valor lgico de uma expresso depende do contexto no qual ela interpretada. Esse contexto chamado de Domnio de Interpretao. Uma frmula predicativa construda atravs da combinao de predicados com quantificadores, parnteses e conectivos lgicos. Em uma frmula predicativa, uma varivel pode estar no escopo de um quantificador (varivel ligada) ou fora dele (varivel livre). Universal Afirmativo todo enunciado que pode ser escrito na forma (x)(P(x)Q(x)). Universal Negativo todo enunciado da forma (x)(P(x)~Q(x)). Particular Afirmativo todo enunciado que pode ser escrito como (x)(P(x) Q(x)). Particular Negativo qualquer enunciado da forma (x)(P(x) ~Q(x)). Uma frmula predicativa dita vlida quando seu valor lgico a verdade para todas as interpretaes possveis dentro do domnio de interpretao. A deduo no clculo de predicados exige a adoo de regras para eliminao/adio de quantificadores das hipteses. Particularizao Universal (PU): se todos os objetos de um dado domnio de interpretao possuem certa propriedade, ento um objeto particular desse domnio tambm possui esta propriedade. Particularizao Existencial (PE): o que verdade para algum objeto igualmente verdade para um dado objeto, desde que esse objeto no tenha sido usado anteriormente na deduo. Generalizao Universal (GU): se um determinado objeto, escolhido aleatoriamente no domnio de interpretao, possui certa propriedade, ento todos os objetos desse domnio tambm tm essa propriedade. Generalizao Existencial (GE): o que verdade para um dado objeto verdade para algum objeto.

66 Exerccios Propostos 1. (adaptado de PINTO, 1999) Escreva as frases que seguem usando notao simblica na qual x designa um aluno e P(x) significa x gosta de estudar. a) Todos os alunos gostam de estudar. b) Nenhum aluno gosta de estudar. c) Um aluno gosta de estudar. d) Alguns alunos no gostam de estudar. 2. (adaptado de GERSTING, 2003) Utilizando os smbolos predicados apresentados neste captulo e os quantificadores apropriados, escreva cada expresso abaixo como uma frmula predicativa. a) Todo dia que ensolarado no chuvoso. b) Todos os homens maduros admiram alguma mulher. c) Alguns alunos so estudiosos e atentos. d) Alguns alunos gostam apenas de Lgica. e) Todo aluno s gosta de Lgica f) Se existir algum homem que seja mais romntico que uma mulher, ento todos os homens sero mais romnticos que todas as mulheres. 3. (GERSTING, 2003) Identifique as frmulas vlidas e as invlidas, justificando suas respostas. a) P(b) ($x)P(x) b) ("x)("y)P(x, y) ("y)("x)P(x, y) c) ($x)P(x) ($x)Q(x) ($x)(P(x) Q(x)) d) ("x)($y)P(x, y) ($x)("y)P(x, y) 4. (adaptado de ALENCAR FILHO, 2002) Sendo o conjunto dos nmeros reais o domnio de interpretao de cada uma das sentenas, determine seu valor lgico. P g i n a | 83 a) ("x)(x 1 > x) b) ("x)($y)(x y < 0) c) ($x)(x + 2x + 10 = 0) d) ($x)(x + y = 4) 5. (GERSTING, 2003) Demonstre a validade dos seguintes argumentos, ou apresente uma interpretao para provar que no so vlidos. a) Existem alguns artista que so mais ricos que outros. Todo mundo que mais rico que os outros tambm paga mais impostos que os outros. Portanto, existe um artista que paga mais impostos que os outros. b) Todo estudante de Informtica trabalha mais que algum e todo mundo que trabalha mais que algum tambm dorme menos que esta pessoa. Salete uma estudante de Informtica. Portanto, Salete dorme menos que outra pessoa. c) ($x)(P(x) Q(x)) ($x)P(x) ($x)Q(x). d) [("x)P(x) ("x)Q(x)] ("x)(P(x) Q(x)).

67

MODULO II TEORIA DOS CONJUNTOS E FUNES


Objetivos Contedo Introduo Teoria dos Conjuntos lgebra dos Conjuntos Estudo das Funes Trabalhar com a notao da teoria de conjuntos; Determinar relaes de pertinncia entre elementos e conjunto; Determinar relaes de continncia entre conjuntos; Encontrar unio, interseo, complemento, diferena e produto cartesiano de conjuntos; Encontrar o conjunto das partes de um conjunto finito; Utilizar tcnicas de demonstrao de identidades de conjuntos; Reconhecer uma relao e identificar seus pares ordenados; Determinar se uma relao ou no uma funo; Verificar se uma funo injetiva, sobrejetiva e bijetiva; Manipular funes compostas e inversas; Determinar se uma funo tem inversa e qual essa inversa; Manipular funes matemticas;

68

Capitulo 4 - Introduo Teoria dos Conjuntos


Os fundamentos da teoria dos conjuntos foram lanados no final do sculo XIX, a partir dos trabalhos de George Cantor (1845-1918). A partir de ento, est teoria passou por um forte processo de desenvolvimento, dando suporte a diversos ramos da matemtica e influenciando outras reas do conhecimento, dentre elas a Cincia da Computao. Para saber mais acesse: http://pt.wikipedia.org/wiki/Teoria_dos_conjuntos O conceito de conjunto fundamental para a Cincia da Computao, uma vez que grande parte de seus conceitos, construes e resultados so escritos na linguagem dos conjuntos ou baseados em construes sobre conjuntos (MENEZES, 2008), existindo aplicaes em reas como Banco de Dados e Linguagens Formais, por exemplo. Neste captulo, introduziremos os principais conceitos da teoria dos conjuntos, que sero indispensveis para estudos posteriores.

4.1. Noo Intuitiva de Conjunto e Relaes de Pertinncia


Informalmente, podemos definir um conjunto como uma coleo de objetos (ou coisas), dispostos de forma no-ordenada, onde cada objeto chamado de elemento do conjunto. Os termos conjunto e elemento so conceitos primitivos em matemtica, ou seja, so aceitos sem definio formal e fundamentam definies mais complexas. Um conjunto pode ser representado basicamente de duas maneiras: por extenso ou por compreenso. No primeiro caso, os elementos so listados exaustivamente, sendo colocados entre um par de chaves e separados por vrgulas. Por exemplo, D = {segunda, tera, quarta, quinta, sexta, sbado, domingo} Em alguns casos, esta no se mostra como a melhor forma de representao. Por exemplo, no prtico listar os elementos do conjunto de todas as pessoas de naturalidade maranhense, embora seja possvel fazer o levantamento dessa lista. Em casos como este, onde o nmero de elementos muito grande, devemos optar por descrever o conjunto por meio de uma propriedade que caracteriza os seus elementos (representao por compreenso). Deste modo, podemos representar o conjunto M de pessoas com naturalidade maranhense da seguinte forma: M = { x | x maranhense }, que lida como conjunto dos elementos x tal que x maranhense. possvel generalizar a notao da representao de um conjunto por compreenso da seguinte forma:

69 M = { x | P(x) } onde se afirma que um dado elemento i faz parte do conjunto A se a propriedade P verdadeira para i, ou seja, se o valor lgico de P(i) for a verdade. Por exemplo, considerando o conjunto M definido anteriormente, temos que Slvio Santos no elemento de D, j que a propriedade P(Silvio Santos) = Silvio Santos maranhense tem como valor lgico a falsidade. Seguindo o mesmo raciocnio, conclumos que Gonalves Dias elemento de M, j que P(Gonalves Dias) = Gonalves Dias maranhense tem como valor lgico a verdade. Exemplo 4.1 Conjuntos a) A = {a, e, i, o, u} c) C = {1, 2, 3, 4, 5,...} b) B = {1, 3, 5, 7, ..., 15} d) D = {n|n=2y, onde y um nmero inteiro}

O conjunto A foi representado por meio da listagem de todos os seus elementos. Nos conjuntos B e C, alguns elementos foram omitidos, mas podem facilmente ser deduzidos do contexto. Nos trs casos, a forma de representao utilizada foi a extenso. O conjunto D, que corresponde ao conjunto D = {0, 2, 4, 6, 8, ...}, foi representado por meio da propriedade comum a seus elementos, o que constitui a forma de representao por compreenso. importante observarmos que a propriedade que descreve os elementos de um conjunto pode ser expressa em linguagem natural, ou em linguagem simblica, atravs de operadores matemticos e lgicos. OPERADORES MATEMTICOS ARITMTICOS: +, - , , RELACIONAIS: =, , >, , <, Todos os objetos pertencentes a um conjunto compartilham uma mesma propriedade e, daqueles que no possuem tal propriedade, dizemos que no pertencem ao conjunto. Esta uma relao importante, chamada relao de pertinncia, que indicada pelos smbolos , para o primeiro caso, e , para o segundo. Considerando o conjunto D dos dias da semana, temos que: segunda D sbado D janeiro D Exemplo 4.2 Relaes de Pertinncia Considere o conjunto: A = { x | x um pas da Amrica do Sul} Para este conjunto, podemos dizer que: Brasil A

70 Frana A Venezuela A Egito A Auto Avaliao 4.1 Descreva cada um dos seguintes conjuntos, listando seus elementos: 1. {x|x a capital do Maranho} 2. {y|y um nmero primo menor do que 30} 3. {w|w um estado do nordeste brasileiro} Descreva cada um dos seguintes conjuntos, atravs de uma propriedade que caracteriza seus elementos: 4. {1,3,5,9} 5.{SoLus, Teresina, Fortaleza, Natal, Joo Pessoa, Recife, Macei, Aracaju, Salvador} 6. {1, 2,4,8,16}

4.2. Alguns Conjuntos Especiais


Considere a seguinte situao: queremos listar todos os elementos de um conjunto A={a|a um nmero natural par menor do que 2}. Ento, quantos elementos o conjunto A possui? Certamente voc deve ter chegado concluso de que o conjunto A no possui nenhum elemento, pois no existe nenhum nmero natural par que seja menor do que 2. Neste caso, dizemos que o conjunto A vazio, e representamos como segue: A = { } ou A = E se quisssemos listar todos os elementos do conjunto B = {b|b um nmero natural mpar menor do que 2}, quantos elementos esse conjunto teria? Neste caso, B teria apenas um elemento, sendo, por isso, chamado de conjunto unitrio. B={1} Ao conjunto que no possui nenhum elemento damos o nome de CONJUNTO VAZIO. Denomina-se CONJUNTO UNITRIO o conjunto que possui apenas um elemento. Ainda referente quantidade de elementos, podemos dizer que um conjunto possui um nmero finito ou infinito de elementos. Chamamos de conjunto finito aquele que pode ser descrito por extenso, ou seja, possvel listar todos os seus elementos. Um conjunto dito infinito quando no possvel listar exaustivamente todos os seus elementos.

71 Exemplo 4.3 Conjuntos Especiais Considere os conjuntos: A = { Brasil } B = {y | y um nmero par} C = {z | z um brasileiro que mora em Marte} Sobre estes conjuntos, podemos dizer que A um conjunto unitrio, pois possui apenas um elemento (note que todo conjunto unitrio tambm um conjunto finito, por razes bvias). O conjunto B um conjunto infinito, uma vez que no possvel listar todos os nmeros pares. O conjunto C vazio, uma vez que no existem brasileiros que moram em Marte. Tenha claro que um conjunto vazio considerado um conjunto finito. Aos conjuntos cujos elementos so nmeros que compartilham caractersticas particulares, damos o nome de conjuntos numricos. Tais conjuntos merecem especial ateno por sua importncia para a Matemtica em geral e para a Cincia da Computao. Esses conjuntos so vistos com mais detalhes na seo 4.5. Auto Avaliao 4.2 Descreva os seguintes conjuntos, indicando os conjuntos finitos, infinitos, unitrios e vazios: 1. {x|x um nmero natural e10 = x + 4} 2. {y|y um estado brasileiro cujo nome inicia com vogal) 3. {z|z um animal terrestre] 4. {w|w um nmero par maior que 100}

4.3. Relaes entre Conjuntos


Na seo 4.1., introduzimos a noo de pertinncia entre elementos e conjuntos. Alm desta, outra noo importante a de continncia, a partir da qual podemos introduzir os conceitos de subconjuntos e de igualdade de conjuntos. 4.3.1. Relao de Continncia Sejam dois conjuntos A = {1, 2, 3} e B = {0, 1, 2, 3, 4, 5}. Observe que todos os elementos do conjunto A so tambm elementos do conjunto B. Neste caso, dizemos que A est contido em B, ou que B contm A e representamos por: AB ou BA Neste caso, dizemos que A um subconjunto de B. A seguir apresentada uma definio mais formal de subconjunto.

72

A um subconjunto de B se (x)(x AxB) Quando A no um subconjunto de B, ou seja, quando existe pelo menos um elemento de A que no pertence a B, indicamos A B ou B A. 4.3.2. Igualdade de Conjuntos Consideremos os conjuntos A={1, 3, 5} e B={1, 3, 5}. No preciso se esforar para perceber que A um subconjunto de B e B, por sua vez, tambm subconjunto de A. Neste caso, dizemos que os conjuntos A e B so iguais. Formalmente, podemos dizer: Dois conjuntos A e B so iguais se, e somente se, todo elemento de A pertence tambm a B e, reciprocamente, todo elemento de B pertence a A. Ou seja, A = B (x)((xAxb)(xB xA)) Se existir pelo menos um elemento de A que no pertena a B ou existir um elemento de B que no pertena a A, dizemos que A diferente de B. Pare e Reflita: Escreva formalmente a relao A B Se A um subconjunto de B, mas queremos enfatizar que A B, escrevemos AB. Neste caso, dizemos que A um subconjunto prprio de B. Formalmente, temos: AB(x)((xAxB)(x)((xAxB)(xAxB)) 4.3.3. Conjunto Universo Uma definio muito importante no contexto da teoria dos conjuntos o de conjunto universo, que normalmente denotado por U. Para entender o que o conjunto universo acompanhe o seguinte exemplo: Maria e Joo participaro de um concurso de perguntas e respostas sobre Histria da Computao. As perguntas versaro sobre diferentes aspectos da histria da computao como, por exemplo, personalidades histricas, fatos marcantes e caractersticas tecnolgicas. Note que possvel criar vrios conjuntos de perguntas, um para cada subtema do concurso (personalidades histricas, fatos marcantes, caractersticas tecnolgicas). Tomando, por exemplo, o subtema personalidades histricas, muitas perguntas podem ser elaboradas, entretanto

73 todas elas devem versar sobre o tema maior: Histria da Computao. Neste caso, o tema maior define o que chamamos de contexto da discusso e contm todos os conjuntos de perguntas que sero consideradas vlidas no concurso. Por exemplo, possvel que seja feita uma pergunta sobre Bill Gates, mas no devem ser consideradas perguntas sobre Tiradentes, pois apesar de ser uma personalidade histrica, no pertence ao contexto da discusso. Voc j deve ter notado que cada subtema um subconjunto de um conjunto maior, que define o contexto da discusso. Esse conjunto maior o que chamamos de conjunto universo. Conjunto Universo um conjunto que contm todos os elementos do contexto no qual estamos trabalhando e tambm contm todos os conjuntos desse contexto. Propriedades dos Conjuntos 1. Qualquer conjunto subconjunto do conjunto universo; 2. O conjunto vazio subconjunto de qualquer conjunto; 3. Todo conjunto subconjunto de si prprio; 4. Se todo elemento de um conjunto A pertence tambm a um conjunto B, e todo elemento de B pertence a um conjunto C, ento todo elemento de A pertence a C (propriedade da transitividade). Relaes de pertinncia so estabelecidas entre elemento e conjunto, enquanto que as relaes de continncia so estabelecidas entre conjunto e conjunto. Exemplo 4.4 Relaes de Continncia Considere os conjuntos: A = {1, 6, 10, 16 } B = {6, 10} C = {6, 10, 16, 50 } Sobre esses conjuntos podemos fazer as seguintes afirmaes: B C, pois todo elemento de B tambm pertence a C. B A, pois todo elemento de B tambm pertence a A. B A, pois todo elemento de B tambm pertence a A e existem elementos de A que no pertencem a B. Este sinal utilizado nos casos em que se deseja enfatizar tal situao. A C, pois h elementos de A que no pertencem a C. B, pois o conjunto vazio est contido em qualquer outro conjunto {6 } B, pois 6 tambm pertence ao conjunto B. Pare e Reflita: Por que a afirmao B do exemplo 4.4 verdadeira? Auto Avaliao 4.3 Considere os seguintes conjuntos:

74 A = {x|x um nmero natural maior do que 4} B = {12,16, 24, 32} C = {x|(y)(y um nmero natural e x = 2y)} Indique quais afirmaes so verdadeiras. 1. BC 2. AC 3. {24} B 4. BA 5. {n|n um nmero mpar menor do que 10} A

4.4. Diagramas de Venn


Alm das formas de representao apresentadas na seo 4.1., podemos expressar um conjunto atravs de diagramas de Venn, de forma a facilitar o entendimento de definies, o desenvolvimento de raciocnios e a compreenso dos componentes e relacionamentos que estejam sendo discutidos (MENEZES, 2008). Um diagrama de Venn uma representao pictrica na qual os conjuntos so representados por reas delimitadas por curvas no plano. Lipschutz e Lipson (2004) Para seguir este modelo de representao, devemos observar as seguintes regras: Diagramas de Venn 1. O conjunto universo representado por um retngulo; 2. Cada um dos demais conjuntos representado por um crculo (ou uma elipse); 3. Cada conjunto deve ser identificado por uma letra maiscula; A seguir, so ilustradas algumas situaes para que voc possa entender como utilizar Diagramas de Venn para representar conjuntos. Para representar a continncia de dois conjuntos, construmos uma elipse dentro de outra, como segue:

75

Figura 4.1: Diagrama de Venn A Figura representa a relao AB, ou seja A subconjunto de B. Perceba que a elipse que representa o conjunto A est totalmente contida na que representa o conjunto B. Isto representa que todos os elementos de A so tambm elementos de B, conforme a definio de subconjunto j apresentada. Observe agora a Figura:

Figura 4.2: Diagrama de Venn Perceba que as elipses que representam os conjuntos A e B esto totalmente separadas. Isto representa que no existem elementos de A que sejam tambm elementos de B. Neste caso, dizemos que A e B so conjuntos disjuntos. Pare e Reflita: E se quisermos representar dois conjuntos A e B onde seja possvel que alguns elementos de A no pertenam a B e que alguns elementos de B no pertenam a A? Neste caso, a representao como segue:

Figura 4.3: Diagramas de Venn

76 Para representar as relaes de pertinncia, escrevemos os elementos que pertencem ao conjunto no interior da regio que o representa e, fora desta regio, escrevemos os elementos que no pertencem ao conjunto. Exemplo 4.5 Diagrama de Venn Considere os conjuntos: A = { 1, 2, 3, 4 } B = { 2, 4, 6} C = {10, 12, 14} Esses conjuntos podem ser representados pelo seguinte diagrama:

Note que os elementos que os conjuntos A e B possuem elementos em comum. J o conjunto C disjunto de A e B.

77

4.5. Conjuntos Numricos


4.5.1. Conjunto dos Nmeros Naturais Chama-se conjunto dos nmeros naturais, simbolizado por N, o conjunto formado pelos nmeros 0, 1, 2, 3, ... Iezzi e Murakami (1993) Representamos o conjunto dos nmeros naturais por: N = {0,1,2,3,4,...,n,...} onde n representa um elemento qualquer do conjunto. importante saber que o conjunto dos nmeros naturais um conjunto infinito e ordenado. Esta ltima propriedade significa que dados dois elementos de N, possvel que eles sejam iguais ou que um seja maior ou menor que o outro (SMOLE; DINIZ, 2003). 4.5.2. Conjunto dos Nmeros Inteiros O conjunto dos nmeros inteiros uma extenso do conjunto dos nmeros naturais, sendo representado por: Z = {...,-2,-1,0,1,2,...} Assim como o conjunto dos nmeros naturais, o conjunto dos nmeros inteiros tambm infinito e ordenado. Todos os elementos de N pertencem tambm a Z, o que nos permite afirmar que N um subconjunto de Z. Ou seja, NZ ou ZN.

Figura 4.4 No conjunto dos nmeros inteiros, destacamos alguns subconjuntos notveis: Z* = {..., -2, -1,1,2,...}: conjunto dos nmeros inteiros no-nulos; Z+ = {0,1,2,3,...} = N: conjunto dos nmeros inteiros nonegativos; Z- = {..., -2, -1,0}: conjunto dos nmeros inteiros no-positivos; Z*+ = {1,2,3,...}: conjunto dos nmeros inteiros positivos; Z*- = {..., -3, -2, -1}: conjunto dos nmeros inteiros negativos.

78 4.5.3. Conjunto dos Nmeros Racionais Antes de definir o conjunto dos nmeros racionais, preciso que haja compreenso sobre o que um nmero racional. Nmero racional todo nmero que pode ser escrito na forma a/b, onde a e b so nmeros inteiros e b0. Assim, dizemos que 2 um nmero racional, j que pode ser escrito como 2/1. Do mesmo modo 1,75 e 0,333... tambm so nmeros racionais, j que podem ser escritos, respectivamente, como 7/4 e 3/9 Todo nmero racional pode ser escrito na forma fracionria ou na forma decimal. Dizemos que so racionais os nmeros cuja representao decimal finita ou infinita e peridica. Agora possvel definir o conjunto dos nmeros racionais. O conjunto dos nmeros racionais, indicado por % definido como: q = {a/b a e b Z e b0}. Tal qual o conjunto dos nmeros naturais e o conjunto dos inteiros, os racionais tambm so infinitos e ordenados. Q = {.... -3, -2,-1, -1/2, 0,1,2,2/5,...} Deve ficar claro que z um subconjunto de Q, uma vez que todo nmero inteiro pode ser escrito na forma fracionria.

Figura 4.5 No conjunto Q destacamos, ainda, os seguintes subconjuntos: Q*: conjunto dos nmeros racionais no nulos; Q+: conjunto dos nmeros racionais no negativos; Q_: conjunto dos nmeros racionais no positivos; Q*+: conjunto dos nmeros racionais positivos; Q*_: conjunto dos nmeros racionais negativos;

79 4.5.4. Conjunto dos Nmeros Irracionais O conjunto dos nmeros irracionais composto por todos os nmeros cuja representao decimal infinita e no peridica. Com base nesta definio podemos afirmar que 2 um elementos do conjunto dos irracionais, uma vez que 2 = 1,4121356237309504880168872420 ... Existem alguns nmeros irracionais notveis, dentre os quais destacam-se, o nmero , cujo valor aproximado 3, 141592654 e o nmero ureo, representado pela letra grega (fi). 4.5.5. Conjunto dos Nmeros Reais Quando falamos em conjunto dos nmeros reais (R) estamos nos referindo a todos os nmeros j vistos at aqui. Ou seja, x um nmero real se x pertence ao conjunto dos nmeros racionais ou se x pertence ao conjunto dos nmeros racionais. Formalmente, temos: De acordo com o que vimos at agora, podemos estabelecer a seguinte relao:

Figura 4.6

Alm dos conjuntos apresentados (N, Z, Q, e R), tambm so subconjuntos de R: R* = {xR|x0}: conjunto dos nmeros reais no nulos; R+ = {x R| x 0}: conjunto dos nmeros reais no negativos; R_ = {x R|x 0}: conjunto dos nmeros reais no positivos; R*+ = {x R |x > 0}: conjunto dos nmeros reais positivos; R*- = {x R |x < 0}: conjunto dos nmeros reais negativos;

80

O conjunto dos nmeros reais possui subconjuntos definidos por meio de desigualdades, que so conhecidos como intervalos. Resumidamente, sendo a e b dois nmeros reais, podemos ter: Intervalos Reais 1. Intervalo fechado de extremos a e b. {xR| a x b}

Notao: [a,b] 2. Intervalo aberto de extremos a e b. {xR| a < x < b}

Notao:] a, b[ 3. Intervalo aberto em a e fechado em b. {x R| a < x b}

Notao:] a, b] 4. Intervalo fechado em a e aberto em b. {XR| a < x < b}

Notao: [a,b[ Tambm devem ser considerados os intervalos infinitos, como segue:

81

4.5.6. Conjunto dos Nmeros Complexos Os nmeros complexos surgiram da necessidade de representar nmeros como -25, de forma a ser possvel solucionar algumas equaes. Foi o matemtico Bombelli (1526 - 1573) que pela primeira vez considerou -1 como um nmero qualquer e passou a desenvolver regras para trabalhar com esses nmeros. A partir de ento, os matemticos passaram a trabalhar com razes quadradas de nmeros negativos e a desenvolver estudos sobre esses nmeros imaginrios, como designou Bombelli. Como fruto desses estudos, surgiu a notao a + -b, que no final do sculo XVIII e incio do sculo XIX, sobretudo a partir dos trabalhos de Friedrich Gauss, passou a ser chamado de nmero complexo, sendo simbolizado por a + bi. Nmero complexo todo par ordenado de nmeros reais (a, b) que pode ser escrito na forma a + bi, onde i a unidade imaginria, ou seja, i = -1.

82 Sendo z = a + bi, a,bR, dizemos que a a parte real de z e b a parte imaginria. Nos casos em que a = 0, z chamado de imaginrio puro, se b0. Se b = 0,z real. Os diferentes conjuntos numricos so resumidos no diagrama a seguir:

Figura 4.7

83 Exerccios Resolvidos 1. (Extrado de GERSTING, 2003) Sejam os conjuntos A = {x |x R e x2 - 4x + 3 = 0} e B = {x |x N e 1 < x < 4}. Prove que A B. SOLUO: Seja x A. Ento, xR e x2-4x + 3 = 0, o que nos da x=1 ou x = 3. Em ambos os casos x N e 1 x 4, logo x B. Portanto, 4 B. Como o valor 4 pertence a B, mas no pertence a B, podemos concluir que AB. 2. Quais dos seguintes conjuntos so iguais {1, 3, 5}, {5, 5, 3, 1}, {1, 3, 1, 3, 5}, {1, 3, 5}? SOLUO: Todos os conjuntos apresentados so iguais, uma vez a reordenao e a repetio de elementos no alteram o conjunto. 3. (Adaptado de GERSTING, 2003) Dados os conjuntos A = {x |x mltiplo de 6} e B = {x | x mltiplo de 3}, prove que AB. SOLUO Consideremos um elemento qualquer x pertencente a A (xA). Para provar que A e B, precisamos mostrar que este elemento arbitrrio x, satisfaz a caracterstica de B, ou seja, devemos demonstrar que x mltiplo de 3. Visto que x mltiplo de 6, ele pode ser decomposto como x = n.6, para algum nmero inteiro n. Esta ltima equao pode ainda ser escrita na forma x = n.2.3 ou ainda x = m.3, onde m = n.2. Desta forma, possvel afirmar que x tambm um mltiplo de 3 e, portanto, x B. 4. Mostre que A = {2, 4, 6, 8} um subconjunto prprio de B = {1, 2, 3, ..., 8, 9}.

SOLUO Todo elemento de A pertence a B, portanto AB. Entretanto, h elementos de B que no pertencem a A. Portanto AB. Desta forma, A um subconjunto prprio de B

84 RESUMO Um conjunto uma coleo no ordenada de objetos, onde cada objeto chamado de elemento do conjunto. H basicamente duas formas de representao de conjuntos: por extenso e por compreenso. No primeiro caso, os elementos so listados exaustivamente e, no segundo, o conjunto representado por uma propriedade que caracteriza seus elementos. Qualquer objeto que seja elemento de um conjunto dito pertencer a este conjunto. Esta a relao de pertinncia e denotada por . Se um objeto no faz parte de um conjunto, indica-se por . Denomina-se conjunto vazio aquele que no possui nenhum elemento. Representa-se por ou { }. Chama-se unitrio o conjunto que possui um, e somente um elemento. Qualquer conjunto que pode ser representado por extenso chamado de conjunto finito. Um conjunto dito infinito quando no possvel listar todos os seus elementos. Dois conjuntos so iguais se, e somente se, todo elemento pertencente a um deles tambm pertencer ao outro e vice versa. O conjunto A dito subconjunto de B se, e somente se, todo elemento de A tambm elemento de B. Indica-se por A B. O conjunto A dito subconjunto prprio de B se, e somente se, todo elementos de A tambm elemento de B e existe um x B tal que x A. Indica-se por A B. Chama-se conjunto universo de uma Teoria a todos os entes que so considerados como elementos nesta Teoria. Conjuntos cujos elementos so valores numricos so chamados de conjuntos numricos. Os conjuntos numricos so os seguintes: naturais, inteiros, racionais, irracionais, reais e complexos.

85 Exerccios Propostos 1. (Adaptado de Menezes, 2008) Para cada conjunto abaixo: Descreva de forma alternativa (usando outra forma de notao); Diga se finito, infinito, unitrio ou vazio; a) Todos os nmeros mpares maiores que 12. b) {x|x N e x par e 2<x<13}. c) Todos os pases do mundo. d) {Sarney, Collor, Itamar, Fernando Henrique, Lula}. e) {x|x R e x2+4 = 0}. RESOLUO a) {x| x R e x impar e x>12}, conjunto infinito. b) {4, 6, 8, 10, 12}, o conjunto finito. c) {x|x so todos os paises do mundo}, conjunto finito. d) { x|x so os presidentes aps o regime militar}, conjunto finito 2. (GERSTING, 2003) Sejam A = {x | x N e 1< x < 50} B = {x |x R e 1<x<50} C = {x|xZ e x 25] Quais das sentenas a seguir so verdadeiras? a) A C (F) b) -40 C (F) c) B (V) d) 17 A (V) e) 3B (V) f) AB (V) g) {0, 1, 2} A (F) h) {x| xZ e x2>625}C (F) 3. (LIPSCHUTZ; LIPSON, 2004) Liste os elementos dos conjuntos a seguir, considerando o conjuntos universo U = {a, b, c, ... , y, z }. Identifique os conjuntos iguais, se existirem. A = { x | x vogal} A={a, e , i , o ,u} B = { x | x uma letra na palavra bolo} B={b,l,o} C = { x | x precede f no alfabeto} C={a, b,c,d,e} D = { x | x uma letra na palavra lobo} D={b,l,o} Os conjuntos B e D so iguais.

86

4. Mostre que A = {1,2,4,6,8} no um subconjunto de B = {x|x N e x par}. Sendo AB={2,4,6, 8}, e A-B={1}, observamos que existe um elementos de A que no pertencem a B, logo A no subconjunto de B(AB). 5. Mostre que A = {1,2,4,6,8} um subconjunto prprio de B = {x|x e Z*+}. De acordo com a definio de subconjunto prprio temos: Se B contiver elementos que no esto em A, ento A diz-se um subconjunto prprio de B. Sendo os elementos de B={1, 2, 3, 4, ...}, observamos que todos os elementos de A pertencem ao conjunto B, logo A subconjunto prprio de B.

87

Captulo 05 lgebra dos Conjuntos


No captulo anterior apresentamos os fundamentos da teoria dos conjuntos, dando nfase, sobretudo, s relaes entre elemento e conjunto (pertinncia) e entre conjunto e conjunto (continncia). Tais relaes estabelecem mecanismos para a comparao de conjuntos. Para complementar esse estudo, vamos introduzir, neste captulo, a lgebra dos conjuntos, que consiste em algumas operaes que so definidas sobre conjuntos: unio, interseo, complemento, diferena, produto cartesiano, entre outras. Tais operaes so, na verdade, maneiras de se criar novos conjuntos a partir de conjuntos j existentes, sendo muito aplicadas em diversas reas. Em particular na informtica, existem aplicaes diretas em linguagens de programao, teoria da computao, banco de dados. importante que durante a leitura do texto e, principalmente, na resoluo dos exerccios, voc consiga perceber a relao existente entre os conectivos lgicos e as operaes sobre conjuntos, fazendo as devidas associaes. E ento, vamos l?

5.1. Unio de Conjuntos


Chamamos unio ou reunio de dois conjuntos A e B, denotada por AB, ao conjunto de todos os elementos que pertencem a A ou a B. AB = {x|x A xB} Observe que A B corresponde operao lgica disjuno, uma vez que considera os elementos que pertencem a A ou a B. A representao grfica da unio dada a seguir. A unio corresponde rea sombreada.

Figura 5.1 Considerando os conjuntos numricos apresentados na seo 4.5., imediata a concluso de que o conjunto dos nmeros reais nada mais

88 seno a unio entre o conjunto dos nmeros racionais e o conjunto dos nmeros irracionais.

Pare e Reflita: Tomando por base o que afirmamos sobre o conjunto dos nmeros reais, escreva uma afirmao similar sobre o conjunto dos nmeros complexos. Exemplo 5.1 Unio de Conjuntos Considere os conjuntos: A = {1, 2, 3, 4 } B = { 2, 4, 6} C = {10, 12, 14} D = {xlR|-1<x2} E = [0, 5[ Dos conjuntos apresentados, podemos calcular: A B = {1, 2, 3, 4, 6} B C = {2, 4, 6, 10, 12, 14} A representao grfica das operaes a seguinte: AB BC

Note que os conjunto D e E so intervalos reais, para calcular D E, devemos representar esses intervalos na forma grfica.

DE={xR|-1<x<5} ou ]-1,5[

89

5.2. Interseo de Conjuntos


Chamamos interseo de dois conjuntos A e B, denotada por A B, ao conjunto de todos os elementos que pertencem simultaneamente a A e a B. AB = {x|xA x B} Perceba que a interseo de conjuntos corresponde operao lgica conjuno, visto que considera apenas os elementos pertencentes ao conjunto A e ao conjunto B, simultaneamente. A representao grfica da interseo apresentada a seguir. A regio sombreada corresponde ao conjunto interseo.

Figura 5.2 Exemplo 5.2 Interseo de Conjuntos Considere os conjuntos: A = { 1, 2, 3, 4 } B = { 2, 4, 6} C = {10, 12, 14} D = {xlR|-1<x2} E = [0, 5[ Dos conjuntos apresentados, podemos calcular: A B = {2, 4} BC = D E = {x IR |0 < x 2} ou [0, 2] A representao grfica das operaes a seguinte: AB BC

90 Os conjuntos B e C so disjuntos, uma vez que sua interseo o conjunto vazio. Os conjuntos D e E so intervalos reais, o clculo da interseo feito da seguinte forma:

D E = {x IR |0 x 2} ou [0, 2]

5.3. Complemento de um Conjunto Diferena


Lembre-se: Todos os conjuntos que so considerados em um determinado contexto so subconjuntos de um conjunto universo fixo U. Supondo o conjunto universo U, define-se o complementar de um conjunto A, denotado por AC, como o conjunto formado por todos os elementos que pertencem a U, mas no pertencem a A. Ac = {x | x A} Observe que o complemento corresponde operao lgica negao, uma vez que considera todos os elementos que no pertencem ao conjunto em questo. A regio sombreada da figura representa o complemento do conjunto A.

Figura 5.3

Exemplo 5.3 Complemento de um Conjunto Supondo o conjunto universo U = {1, 2, 3, 4, 5, 6, 7, 8, 9} e sendo A = {2, 4, 6, 8}. O complemento de A dado por AC = {1, 3, 5, 7, 9} Graficamente, temos:

91

A rea sombreada representa o complemento do conjunto A. Ou seja, contm todos os elementos do conjunto universo que no pertencem a A. Supondo o conjunto IR como conjunto universo, temos: QC = I Ic = Q O complementar de Q em relao ao conjunto IR o conjunto I, uma vez que E contm todos os nmeros reais que no so racionais. Da mesma forma, o complementar de I em relao a IR o conjunto Q. Pare e Reflita: Para um conjunto universo U, determine o complemento do conjunto vazio. Outra importante operao entre dois conjuntos A e B a diferena, que definida como o conjunto dos elementos que pertencem a A, mas no pertencem a B. Isto : A-B = {x|xA xB} A regio sombreada representa graficamente a diferena entre os conjuntos A e B.

Figura 5.4 importante observar que a diferena entre conjuntos no comutativa, ou seja, A B B A. Exemplo 5.4 Diferena de Conjuntos Supondo os conjuntos A = {1, 2, 3, 4, 5, 6, 7, 8, 9} e B = {2, 4, 6, 8, 10, 12}. Para os conjuntos considerados, temos:

92 A B = {1, 3, 5, 7, 9} B A = {10, 12} Graficamente, temos: A-B B-A

A regio sombreada representa a diferena e composta pelos elementos que pertencem a um conjunto, mas no pertencem ao outro. Considerando os seguintes conjuntos R, Q e I, temos: R-Q = I Q-I = Q Se do conjunto dos nmeros reais retirarmos o conjunto dos nmeros racionais, teremos como resultado o conjunto dos nmeros irracionais. Da mesma forma, se retirarmos de todos os nmeros irracionais, teremos o conjunto como resultado. Auto Avaliao 5.1 (MENEZES, 2008) Suponha o conjunto universo U = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} e os seguintes conjuntos: A= {2,4,6,8} B= {1,4,5,9} C= {x|xZ2x<5} Determine: 1. AB 2. AC 3. A-B 4. (A B)c 5. (B-A)c(A-B)

93

5.4. Conjunto das Partes


Pare e Reflita: Considerando A = {1,2,3), possvel determinar todos os seus subconjuntos. J sabemos que, para um conjunto A qualquer, as relaes a seguir so sempre vlidas: AA A Portanto, os subconjuntos de A so, alm do conjunto vazio e dele prprio: {1},{2},{3},{l,2},{l,3}e{2,3} Com base no exposto, podemos determinar um novo conjunto cujos elementos sejam todos os subconjuntos de A. Este novo conjunto chamado de conjunto das partes, ou conjunto potncia, de A e denotado por P(A). Supondo um conjunto A, o conjunto das partes de A, definido como: P(A) = {X | X A} O conjunto das partes de um conjunto A dever conter pelo menos e ele prprio, pois A e A A. Exemplo 5.5 - Conjunto das Partes Supondo os conjuntos A = {1}, B = {2, 4} e C = {, 1, {2}}, temos: P(A) = {, {1}}, formado por todos os subconjuntos de A. P(B) = {, {2}, {4}, {2, 4}}, formado por todos os subconjuntos de B. Ateno para o conjunto P(C): P(C) = {, {1}, {}, {{2}}, {, 1}, {, {2}}, {1, {2}}, {, 1, {2}}} Observe a presena dos elementos {} e {{2}} em P(C). Ela justificada pelo fato de e {2} serem elementos de C. Pare e Reflita: Supondo que um conjunto A tem n elementos, quantos elementos tem P(A)? Com base no exemplo 5.5., podemos afirmar que dado um conjunto A, com n elementos, o nmero de elementos do conjunto P(A) 2n. Existem diversas maneiras de demonstrar a validade desta afirmao, a mais comum a prova por induo, que no demonstraremos aqui. >

94 Auto Avaliao 5.2 1. O que pode ser dito sobre A se P(A) = {,{x},{y},{x,y}}? 2. Encontre P{B) para B = {}.

5.5. Produto Cartesiano


Sejam dois conjuntos A e B. O produto cartesiano de A por B, denotado por A X B, o conjunto de todos os pares ordenados5 (a, b), onde aA e bB. Isto , A x B = {(a,b)|a A b B} Em outras palavras, podemos dizer que o produto cartesiano uma operao binria que, aplicada a dois conjuntos A e B, resulta num outro conjunto formado por seqncias de duas componentes, onde a primeira componente de cada seqncia pertence ao conjunto A, e a segunda componente pertence ao conjunto B (MENEZES, 2008). O esquema a seguir ilustra a determinao dos pares ordenados que vo compor o produto cartesiano entre os conjuntos A = {1, 2} e B = {2, 1}.

AxB = {(1, 2), (1, 1), (2, 2), (2, 1)} Exemplo 5.6 Produto Cartesiano Sejam os conjuntos A = {x}, B = {1, 2, 3} e C = {m, n} A X B = {(x, 1), (x, 2), (x, 3)} B X C = {(1, m), (1, n), (2, m), (2, n), (3, m), (3, n)} A x A = A2 = {(x, x)} A X N = {(x, 1), (x, 2), (x, 3), ...} BxA = {(1, x), (2, x), (3, x)} conveniente destacar que o produto cartesiano uma operao: a) No comutativa, ou seja, AxB BxA; Do exemplo 5.6., temos: AxB = {(x, 1), (x, 2), (x, 3)}
5

Um par ordenado uma seqncia de dois elementos em uma ordem fixa.

95 BxA = {(1, x), (2, x), (3, x)} Tenha em mente que (1, x) (x, 1), visto que em pares ordenados a ordem em que os elementos aparecem levada em considerao. Com base nisto, conclumos que os conjuntos A x B e B x A so disjuntos e, portanto, diferentes. b) No associativa, ou seja, (AxB)xCAx(BxC). Considerando os conjuntos apresentados no exemplo 5.6., possvel definir: (A x B) x C = {(x, 1), (x, 2), (x, 3)}x{m, n} (A B) C = {((x, 1), m), ((x, 1), n), ((x, 2), m), ((x ,2), n), ((x, 3), m), ((x, 3), n)} Quando A = B, o produto cartesiano A x B (A x A) chamado de quadrado cartesiano e representado por A Exemplo 5.7 - Produto Cartesiano e Conjuntos Numricos Sendo R o conjunto dos nmeros reais, o conjunto R2 formado por todos os pares ordenados (x, y), tais que x R e yR. Na tica da Geometria Analtica Plana, cada um desses pares ordenados identificado como um ponto no plano cartesiano. Em outra viso, o par (x,y) pode ser visto como um nmero complexo, que mais frequentemente designado como x + yi. A seguir, vamos estender o conceito de produto cartesiano para n conjuntos. Sendo A1, A2, ..., An conjuntos quaisquer, o produto cartesiano de A1, A2, ..., An o conjunto A1 X A2 X ... X An formado por todas as seqncias (x1, x2, ..., xn) tais que x1 A1, x2 A2, ..., xn An. A1XA2X...XAn = {(x1, X2.....Xn) | X1 A1 X2 A2 ... Xn An} No caso em que A1=A2 = ... = An, o conjunto A1 x A2 x ... x An a nsima potncia cartesiana de A, habitualmente designada por An. Supondo, portanto, um nmero natural qualquer, designado por n, a potncia cartesiana dos nmeros reais, Rn, o conjunto de todas as sequncias de n nmeros reais. Auto Avaliao 5.3 Sejam A = {a, b} e B= {a,b,c}. Determine: 1. AxB 2. BxA 3. A2 4. (AxB)xA

96

5.6. Identidades de Conjunto


Considerando um conjunto universo U, as igualdades apresentadas Tabela 5.1. so vlidas para qualquer conjunto AU. Tabela 3.1: Leis da lgebra de Conjuntos

possvel demonstrar a validade de tais leis atravs da construo de diagramas de Venn, ou atravs da incluso dos conjuntos em ambas as direes. Exemplo 5.8 Identidades de Conjunto (LIPSCHUTZ e LIPSON, 2004) Demonstrar a seguinte igualdade (AUB)c = AcBC Vamos ver um mtodo que utiliza as propriedades apresentadas para um elemento x qualquer em cada lado da equao (incluso dos conjuntos em ambas as direes). Para isso devemos provar que (AB)cAcBc e Ac BC (AB)c. Etapa 01: (A B)c Ac Bc 1. Sx (A U B)c e, ento x(A B). 2. Logo, x A x B. 3. Portanto, x Ac x Bc. 4. Assim, x Ac Bc. Etapa 02: AcBc(AB)c 1. Seja xAcBc. Ento, xAcxBc. 2. Logo, x A x B. 3. Portanto, x (A B). 4. Assim, x (A U B)c. Nas duas etapas de prova, demonstramos que todo elemento (AB) pertence a AcBc e que todo elemento de AcBc pertence a (AB)c. Essas duas incluses permitem concluir que ambos os conjuntos possuem os mesmos elementos e, portanto, (AB)C = AC BC.
c

97 Outro modo de demonstrar a identidade por diagramas de Venn. Observe: Inicialmente determinamos (AB)c

Para determinar AcBc, vamos representar individualmente Ac e Bc.

Da anlise dos dois diagramas, conclumos que Ac C\BC representado por:

AcBc.

Como as representaes so iguais, conclumos que (AB)c =

Quaisquer conjuntos envolvidos nas operaes de unio, interseo e complemento satisfazem as leis apresentadas na Tabela 1, que chamaremos aqui de identidades bsicas. Por isso, possvel utilizar essas identidades bsicas para construir seqncias de demonstrao de equaes na lgebra dos conjuntos. Para ilustrar, vamos construir uma seqncia de prova para a seguinte equao, extrada de Gersting (2003).

Vamos utilizar as identidades bsicas no primeiro membro da igualdade de modo a obter o segundo membro como resultado. O primeiro passo consiste na aplicao da identidade (2), que corresponde lei da associatividade. Com isso, a equao se torna:

Em seguida, aplicando a identidade (3), ou lei da comutatividade, a equao assume a seguinte configurao:

98

Agora, aps a utilizao da identidade (4), correspondente lei da distributividade, ficamos com a seguinte equao:

O prximo passo consiste no uso da lei do complemento (identidade (8b)). Com isso, ficamos com:

Em seguida, a aplicao da identidade (5a), ou lei da identidade ou elemento neutro, resulta em:

Por fim, atravs da aplicao da identidade (8b), conclumos a sequncia de demonstrao.

5.6.1. Dualidade
Voc deve ter notado que as identidades bsicas aparecem aos pares na tabela. Esta organizao foi baseada no princpio da dualidade. Denomina-se dual de uma equao E da lgebra dos conjuntos a equao E* obtida pela substituio de cada ocorrncia de ,, e U em E por, respectivamente, ,, e . (LIPSCHUTZ; LIPSON, 2004) Desta maneira, o dual de A B = BA AB = BA. Na lgebra de conjuntos, se uma equao for uma identidade, ento sua dual tambm o ser. Quando demonstramos uma identidade de conjuntos usando as identidades bsicas, demonstramos tambm sua dual. Assim, para a identidade Sua dual

99

Pare e Reflita: Tomando por base os conceitos apresentados, como demonstrar a validade desta ltima identidade? Exemplo 5.9 Identidades de Conjunto (LIPSCHUTZ; LIPSON, 2004) Provar a seguinte identidade (AuB)n(AU Bc) = A Considerando que A, B so quaisquer subconjuntos de U, e utilizando as identidades bsicas de conjuntos no primeiro membro da identidade, temos: 1. A U (S n Sc) Aplicando a Lei da Distributividade 2. ^ U 0 Aplicando a Lei do Complementar em 1 3. ^ Aplicando Lei da Identidade ou Elemento Neutro em 2 A equao dual de (A U B) n {A U Bc) = A {A n B) U {A n Bc) = A e pode ser igualmente demonstrada pela substituio das identidades bsicas utilizadas na sequncia de prova por suas respectivas duais. Ao demonstrar uma identidade por meio das identidades bsicas de conjuntos, estamos demonstrando tambm a sua dual. r Auto Avaliao 5.4 1. Prove a distributividade da unio sobre a interseo. Au(BnC) = (AuB)n(AuC) 2. Demonstre a seguinte identidade: (AuB)n(AU Bc) = A

5.7. Conjuntos finitos e princpio da enumerao


J sabemos que um conjunto dito finito quando possvel listar exaustivamente todos os seus elementos. Neste caso, correto dizer que um conjunto finito aquele que possui exatamente x elementos distintos, com xN. O nmero de elementos de um conjunto A simbolizado por n(A). Para quaisquer conjuntos A e B finitos, vlido o seguinte teorema: Se A e B so dois conjuntos finitos, ento AB e AB tambm so finitos e n(AB) = n(A) + n(B) - n(A B) Pare e Reflita: E se os conjuntos A e B forem disjuntos, como ficar a frmula?

100 A frmula apresentada pode ser estendida para trs conjuntos, assumindo a seguinte configurao:

Atravs da induo matemtica, esta frmula pode ser estendida para qualquer quantidade finita de conjuntos. Exemplo 5.10 Conjuntos finitos e princpio da enumerao Foi realizada uma pesquisa com 120 estudantes do curso de licenciatura em informtica sobre suas habilidades de programao. Dos entrevistados: 65 programam em C 45 programam em Java 42 programam em PHP 20 programam em C e Java 25 programam em C e PHP 15 programam em Java e PHP 8 programam nas trs linguagens Com os dados apresentados podemos calcular o nmero de alunos que programam em pelo menos uma das trs linguagens pesquisadas. Para isso, determinamos n(C U/ U P) por meio da frmula: n(C u/ u P) = n(C) + n(J) + n(P) - n(C n/) - n(C nP)-n(/nP) + n(Cn/nP) Substituindo os dados coletados, temos: n(C U/ U P) = 65 + 45 + 42 - 20 - 25 - 15 + 8 = 100 Outra forma de resolver problemas desta natureza atravs do preenchimento do diagrama de Venn. Observe atentamente: Iniciamos o preenchimento pela poro mais interna, ou seja, pela regio que corresponde interseo dos trs conjuntos (CJP), que contm 8 elementos.

Figura 5.5 Em seguida, passamos s regies intermedirias, ou seja, a interseo de conjuntos dois a dois (C n/), (/nP) e (Cn P), considerando apenas o nmero de elementos que pertencem estritamente a cada uma das intersees em questo. Deste modo, o nmero de estudantes que programam em C e Java, mas no programam em PHP dado por: 20 - 8 = 12. De maneira anloga, calculamos o nmero de estudantes que programam em C e PHP, mas no em Java, e o nmero de estudantes que programam em Java e PHP, mas no programam em C. Respectivamente, temos os nmeros: 25 - 8 = 17 e 15 - 8 = 7.

101

Figura 5.6 Posteriormente, preenchemos as regies correspondentes a cada conjunto. Os valores anotados devem corresponder ao nmero de elementos que pertencem exclusivamente a cada conjunto. Desta forma, devemos observar o diagrama e verificar quantos elementos j esto includos em cada conjunto para realizar os devidos descontos. Assim, encontramos o nmero de estudantes que programam apenas em uma das linguagens pesquisadas. Desta forma, 65 (12 + 17 + 8) = 28 estudantes programam apenas em C, 45 (12 + 8 + 7) = 18 estudantes programam apenas em Java e 42 (17 + 8 + 7) = 10 estudantes programam exclusivamente em PHP.

Figura 5.7 Com base nestes dados, podemos calcular a quantidade de estudantes que programam em pelo menos uma linguagem atravs da soma: 28 + 18 + 10 + 12 + 7 + 17 + 8 = 100. Podemos dizer, ainda, que dos 120 estudantes pesquisados, 20 no programam em nenhuma das trs linguagens.

Figura 5.8

102 Por meio do diagrama construdo somos capazes de responder a vrias outras questes como, por exemplo, o nmero de estudantes que programam exclusivamente em uma nica linguagem. Neste caso, basta efetuar a soma: 28 + 18 + 10 = 56. Auto Avaliao 5.5 1. Ainda considerando o exemplo anterior, quantos estudantes programam em, no mnimo duas linguagens de programao? E quantos programam em, no mximo, duas linguagens? 2. Sejam dois conjuntos A e B. Sabendo que ambos possuem 20 elementos e que n(AUB) = 30, determine n(AHB). < > Exerccios Resolvidos 1. (LIPSCHUTZ; LIPSON, 2004) Mostre que possvel An B = An C sem que B = C. SOLUO Para demonstrar essa igualdade vamos nos valer de um exemplo que demonstra que tal afirmao verdadeira. Sejam os conjuntos A = {a, b}, B = {b,c}eC = {b, d}. Ento: AnB = {b] Bnc = {b] Portanto, AnB=AnC, embora B * C. 2. Demonstre que P(A) n P(B) = P{A n B), sendo A e B conjuntos arbitrrios. SOLUO Supondo CEP(A)nP(B). Ento,CEP{A)eCEP{B). Assim, CQAeCQB. Desta ltima afirmao, vem: C A n B e, portanto, C P{A n B) P g i n a | 136

103

Tpico Extra: Diferena Simtrica


Chama-se diferena simtrica entre dois conjuntos A e B a operao que gera um novo conjunto formado por todos os elementos que pertencem a apenas um dos conjuntos, ou seja, todos os elementos que pertencem a A ou a B, mas no a ambos. A notao utilizada para representar este novo conjunto A B. Alguns autores utilizam o operador para representar a diferena simtrica. Formalmente, podemos escrever: A B = {x | (x A x B) (x A x B)} Podemos ainda dizer que A B = (A - B) (B - A). TAREFAS 1. Construa um diagrama de Venn para ilustrar a diferena simtrica entre dois conjuntos arbitrrios A e B. 2. Para A = {1, 2, 3, 4} e B = {2, 4, 6, 8}, calcule A B. 3. Demonstre que A B = (A B) - (A B), para A e B arbitrrios. Resoluo: Sendo A-B={1,3} B-A={6,8} Ento: A B = {1,3,6,8}

Demonstrao (AB)-(AB) Sendo a propriedade da diferena de dois conjuntos: A B = ABc, temos: (AB)-(AB) =(AB)(AB)c Lei de Morgan c c (AB)(A B ) Distributiva ((AB)Ac)( (AB)Bc) Distributiva ((AAc)(BAc))((ABc)(BBc) Elemento Neutro c c Diferena de Conjuntos ((BA ))((AB )) (A-B)(B-A)

104 Leitura Complementar Linguagens de Programao e Conjuntos (extrado de: GERSTING, Judith L. Fundamentos Matemticos para a Cincia da Computao. So Paulo: LTC, 2003) O conceito de conjuntos um conceito til e uma noo geral que figura como tipo de dados padro em algumas linguagens de programao, tais como Pascal. Nessa linguagem o conjunto universo S precisa ser especificado e ento as variveis que representam subconjuntos de S podem ser definidas. Existe um limite de tamanho para o conjunto universo de forma que seus subconjuntos no podem ser arbitrariamente grandes; alm disso, o conjunto universo precisa ser enumervel ou contvel em uma determinada ordem, como uma seqncia. A declarao de tipo Pascal a seguir define o conjunto universo Alfabeto e como o conjunto de todos os caracteres do teclado, tais como A, X, 7 e %. type Alfabeto = set of char; Agora, subconjuntos de Alfabeto podem ser definidos como variveis no programa, atravs de declaraes como var Iniciais : Alfabeto; Letras : Alfabeto; e as atribuies a seguir seriam vlidas para essas variveis: Iniciais : = ['A' . . 'F']; Letras := ['C . . 'G']; P g i n a | 138 onde os pontos indicam uma seqncia na ordem de enumerao que, neste caso, a alfabtica. (Em Pascal so usados colchetes no lugar de chaves para denotar os conjuntos.) Aps a atribuio acima, Iniciais tem o valor {A, B, C, D, E, F} e Letras tem o valor {C, D, E, F, G}. A ordem de enumerao conveniente para a definio de quais so os elementos de um conjunto, mas como eles so conjuntos, a ordem dos elementos no importante, e a atribuio Iniciais := ['B', 'A', 'D', 'F' 'E', 'C']; d o mesmo valor a Iniciais que a atribuio anterior. Como um conjunto no ordenado, no podemos referenciar elementos individuais do conjunto; portanto, no podemos dizer "o terceiro elemento" do conjunto Iniciais. As expresses condicionais podem ser formadas pela comparao das variveis do tipo conjunto A e B da seguinte maneira: Sintaxe de Programao Semntica (Significado) A=B A=B A <> B AB A <= B A B A >= B B A Finalmente, as operaes de unio, interseo e diferena so oferecidas pelos operadores +, * e , respectivamente. O contedo de uma varivel conjunto A pode ser construdo dinamicamente durante a execuo do programa, iniciando-se A como um conjunto vazio, e ento realizando unies

105 de A com conjuntos com um nico elemento, a fim de incluir esses elementos em A. P g i n a | 139 RESUMO Se A e B so conjuntos, a unio de A e B, denotada por A u B, o conjunto que contm os elementos que pertencem a A ou que pertencem a B. Se A e B so conjuntos, a interseo de A e B, representada por An B, o conjunto que contm os elementos que pertencem simultaneamente a A e a B. Se A e B so conjuntos, a diferena de A e B, simbolizada por A - B, o conjunto formado por todos os elementos que pertencem a A e no pertencem a B. Sendo U o conjunto universo, chamamos de complemento de A o conjunto U Ae denotamos por Ac. Denomina-se conjunto das partes de um conjunto A o conjunto cujos elementos so todos os subconjuntos de A. Se um conjunto A possui n elementos, ento seu conjunto das partes tem 2n elementos. O produto cartesiano de dois conjuntos A e B o conjunto de todos os pares ordenados dos elementos de A que podem ser formados com os elementos de B. Existem identidades bsicas (em pares duais) que podem ser utilizadas para provar a identidades de conjuntos. Se A e B so conjuntos finitos, ento AuB e AnB tambm o sero, sendo vlida a seguinte igualdade n(A u S) = n(A) + n(B) - n(A n B). P g i n a | 140

106 Exerccios Propostos 1. Sejam os conjuntos A = {a, b, c, d}, B = {c, d, e, f, g} e C = {b, d, e, g}, subconjuntos de U = {a, b, c, d, e, f, g, h, i, j}. Determine: a) A B = {a,b} b) B A = {e,f,g} c) (AC) B = {a, b} d) (A B)C ={a, b, e, f, g, h i, j} e) (AB)CC = {a, c, f} 2. (IEZZI; MURAKAMI, 1993) Dados os conjuntos A = {1, 2, 3, 4, 5}, B = {1, 2, 4, 6, 8} e C = {2, 4, 5, 7}, obtenha um conjunto X tal que X A e A - X = B C. Dados: A = {1, 2, 3, 4, 5} B = {1, 2, 4, 6, 8} C = {2, 4, 5, 7} XA A-X=BC Sendo B C = {2, 4, 5} Se X A, ento: X = A-{2, 4, 5}, logo X = {1,3, 5} 3. (GERSTING, 2003; LIPSCHUTZ; LIPSON, 2004) Sejam A, B e C subconjuntos de U. Demonstre as seguintes identidades, atravs da incluso em ambas s direes ou usando as identidades bsicas de conjuntos. a) A(BA) = A sendo A=p(x) e B= q(x), temos: {x| p(x)(q(x)p(x))}, usando a propriedade de simplificao temos: {x| p(x)p(x)}= {x| p(x)} = A b) (AB)(ABC) = A 1. A(BBc) 2. AU 3. A g) A (B AC) = B A 1. (AB)(AAc) 2. (AB) 3. AB 4. BA Distributiva Complemento Elemento Neutro. Distributiva Complemento Elemento Neutro Comutativa

h) (AB) = (ABC)(ACB)(AB) (ABC)(ACB)(AB) Comutativa C C (AB )(BA )(BA) Associativa (ABC)(BACA) Distributiva Elemento Neutro (ABC)(BU) C (AB )B Elemento Neutro (ABC)(BBc) Distributiva

107 (ABC)U A(BCU) AB Elemento Neutro Associativa Elemento Neutro

4. Esboce um diagrama de Venn para os conjuntos A, B e C, onde A B, os conjuntos B e C so disjuntos, mas A e C tm elementos comuns. No existe tal diagrama de Venn. Se A e C tem um elemento em comum x, e AB, ento x deve tambm pertencer a B, Logo, B e C tambm devem ter um elemento em comum. 5. (IEZZI; MURAKAMI, 1992) Sabendo que A e B so subconjuntos de U, AC = {e, f, g, h, i}, AB = {c, d}, AB = {a, b, c, d, e, f}, responda: quantos elementos tm A e B, respectivamente? Sendo: AB = {c, d} AB = {a, b, c, d, e, f} Ac={e, f, g, h, i} Temos: ABAc=U {a, b, c, d, e, f}{e, f, g, h, i}={a,b,c,d,e,f,g,h,i} A=U-Ac={a,b,c,d}, logo a tem 4 elementos B=(AB)((AB)AC)={c,d,e,f}, logo B tem 4 elementos 6. (PINTO, 1999) Determine o conjunto das partes do conjunto das partes de A = { a }. P(A)={,{a}} 7. (IEZZI; MURAKAMI, 1992) Considerando os conjuntos A, B e C, representados no diagrama abaixo e sabendo que n(AB) = 24 n(AB) = 4 n(BC) = 16 n(A - C) = 11 n(B - C) = 10, calcule: a) n(A - B)=x x+4+12=24 x=24-16 x=8 b) n(ABC) n(A - C)- n(B - C)=1 c) n(B-(CA)) 16-4- 6=16 d) n((AB) - C) 4-1=3 e) n(B - (AB)) 16-4=12

108

Capitulo 06 Estudo das Funes


O conceito de funo de fundamental importncia para a Matemtica e para a Cincia da Computao, pois apresenta a capacidade de representao de situaes do mundo real (GERSTING, 2003). Geralmente, o conceito de funo est atrelado idia de relacionar valores. Na verdade, uma funo um tipo especial de relao, que, por sua vez, corresponde associao entre elementos de dois conjuntos. Neste captulo, faremos um breve estudo sobre relaes e funes, priorizando seus aspectos mais relevantes a serem aplicados na Cincia da Computao. Vamos l?

6.1. Noes sobre Relaes


Certamente voc j teve contato com inmeras relaes matemticas durante seus estudos. Nos captulos anteriores estudamos algumas delas: est contido em, um subconjunto de, pertence a. Alm disso, h outros exemplos de relaes, como menor que, maior que, perpendicular a, e assim por diante. Com base no exposto, podemos dizer que uma relao uma comparao entre dois objetos (SCHEINERMAN, 2003). Toda relao expressa em termos de um par ordenado (a, b), onde indicamos a como o primeiro elemento e b como o segundo elemento. Uma relao um conjunto de pares ordenados. E voc provalmente deve estar se perguntando: como assim, um conjunto de pares ordenados? Vamos, ento, explicar melhor o que isto significa. Considere dois conjuntos A = {1, 2, 3} e B = {1, 4, 9, 16, 25}. J sabemos que o produto cartesiano de A por B o conjunto AxB = {(x,y)|x A y B}, formado por 15 elementos. Vamos considerar agora o conjunto dos pares ordenados (x,y) de A x B tais que y = x2. Neste caso, temos: R = {(1,1), (2,4), (3,9)} Note que o conjunto R um subconjunto de A x B, no qual cada elemento de A associado a um elemento de B por meio de uma regra ou correspondncia. Neste caso, dizemos que R uma relao de A em B, representada por um conjunto de pares ordenados, nos quais o segundo elemento igual ao quadrado do primeiro elemento. Assim, podemos afirmar para cada par ordenado (x, y):

109 i. ii. (x,y) R, x relacionado com y, ou seja x R y. (x,y) R, x no relacionado com y, ou seja x y.

Deste modo, podemos afirmar que xRy (x,y)R. Ou seja, x est associado a y pela relao R. Dados dois conjuntos A e B, chama-se relao binria, ou simplesmente relao de A em B a todo subconjunto de A X B. Ou seja, R relao de A em B, se e somente se, RAXB. O conceito de relao pode, ainda, ser estendido para n conjuntos. Neste caso, temos uma relao n-ria, que definida como segue: Dados dois conjuntos A1, A2, ... , An chamamos relao n-ria em A1, A2, ..., An um subconjunto de A1xA2x ...xAn. Ou seja, R relao de em A1, A2, ..., An, se e somente se, R A1xA2x...xAn. Exemplo 6.1 Relaes a) Sejam os conjuntos A = {Machado de Assis, Cames, Gonalves Dias} e B = {Os Lusadas, Cano do Exlio, Dom Casmurro}; b) Considere os conjuntos M = {1, 2, 3, 4} e N = {1, 2, 3}. Podemos definir uma relao de A em B por (x, y) R se x autor de y. Assim: R = {(Machado de Assis, Dom Casmurro), (Cames, Os Lusadas), (Gonalves Dias, Cano do Exlio)} De acordo com R, Machado de Assis R Dom Casmurro, Cames R Os Lusadas, etc. Sobre os conjuntos M e N, podemos definir R = {(x, y) | x < y}. Assim, os elementos de R so todos os pares ordenados de M x N, nos quais o primeiro elemento menor que o segundo. Assim, temos: R = {(1, 2), (1, 3), (2, 3)} Pare e Reflita: Toda relao um conjunto. Ento, possvel realizar sobre relaes, as operaes de unio, interseo e diferena, por exemplo?

110 Uma relao pode ser representada graficamente por meio de um diagrama de flechas. A seguir, temos a notao grfica de R = {(x, y) | x < y}, apresentada no Exemplo 6.1.

Figura 6.1 comum chamarmos o conjunto M de conjunto de partida da relao e o conjunto N de conjunto de chegada ou contradomnio da relao. (IEZZI; MURAKAMI, 1993) Voc deve ter notado que nem todos os elementos dos conjuntos M e N aparecem como elementos dos pares ordenados que compem a relao R. Com base nisto, podemos definir dois conjuntos especiais, conforme ilustrado na figura.

Figura 6.2 O conjunto DM chamado de domnio da relao R e contm todos os primeiros elementos dos pares ordenados que pertencem a R. J o conjunto Im N conhecido como imagem de R e formado por todos os segundos elementos dos pares ordenados que pertencem a R. Deste modo, podemos escrever para a relao R = {(x, y) | x < y}. D = {1, 2} e Im = {2, 3}

111 Uma observao importante sobre as relaes binrias que um determinado primeiro elemento x e um certo segundo elemento y podem ser relacionados vrias vezes na relao (GERSTING, 2003). Dizemos que uma relao R biunvoca ou injetiva (ou de um-para-um) se cada primeiro elemento x e cada segundo elemento y aparecem no mais que uma vez em R Ou seja, cada elemento x faz par com um nico elemento y e vice versa.

Figura 6.3 Nos casos em que um primeiro elemento x ou um segundo elemento y aparece mais de uma vez em R, temos, respectivamente, que R uma relao um-para-vrios ou vrios-para-um. Em outras palavras, dizemos que em uma relao do tipo um-para-vrios quando um elemento do domnio possui mais de uma imagem correspondente. Quando um elemento do contradomnio imagem de mais de um elemento do domnio, dizemos que a relao do tipo vrios-para-um, ou unvoca.

Figura 6.4

Figura 6.5

112

Existem, ainda, as relaes do tipo vrios-para-vrios. Em relaes deste tipo pelo menos um elemento do domnio possui mais de uma imagem e, simultaneamente, existe pelo menos uma imagem relacionada a mais de um elemento do domnio.

Figura 6.6 Auto Avaliao 6.1 Dados os conjuntos: A={-1, -2, 0, 2} B={0, 1, 2, 4, 8} C = {1,2,3,4} Para cada uma das relaes abaixo, represente por diagramas de flecha, identifique domnio e imagem, classifique em um-para-um, um-paravrios, vrios-para-um ou vrios-para-vrios. 1. R1 = {(x,y)A x B |x=y}

113 2. R2={(x,y) A x C| x + y = 0}

3. R3={(x,y) A x B| xy}

6.2. Conceitos Introdutrios sobre Funes


Para entender o que uma funo, acompanhe a seguinte simulao. Considere uma mquina conforme ilustrao abaixo:

Figura 6.7 Esta mquina funciona da seguinte forma: ela recebe como entrada um nmero inteiro e apresenta como sada o nmero inserido

114 adicionado de 2. Em termos mais simples, podemos dizer que a mquina transforma um elemento de entrada atravs de uma regra e apresenta o resultado desta transformao na sada. A nossa mquina trabalha com valores numricos inteiros, ento apenas valores inteiros so permitidos como entrada. Mas as regras definidas para realizar as transformaes no devem ser, obrigatoriamente, frmulas algbricas. Por exemplo, podemos determinar que a entrada seja um retngulo e a sada seja o valor da diagonal desse retngulo. Neste caso, somente retngulos seriam vlidos como entrada. Scheinerman (2003) afirma que o mais importante na definio da regra que transformar dados de entrada em dados de sada uma criteriosa especificao das entradas permitidas e, para cada entrada, a sada correspondente. Pare e Reflita: Com base no que foi apresentado, formule uma definio para funo.

A seguir, apresentamos um conceito mais rigoroso de funo. Dados dois conjuntos A e B, no vazios, chamamos funo de A em B, denotada por f: A B, a todo subconjunto de A X B no qual cada elemento de A aparece uma nica vez como primeiro componente de um par ordenado. Pela definio, voc certamente concluir que uma funo , na verdade, um tipo especial de relao binria. Ainda, tomando por referncia a definio apresentada, voc notar que toda funo uma relao do tipo umpara-um ou uma relao do tipo um-para-vrios. Alm disso, numa funo, todos os elementos do conjunto de partida precisa ser estar associado a algum elemento do contradomnio. Para melhor entendimento, acompanhe as seguintes situaes (IEZZI; MURAKAMI, 1993), considerando os conjuntos A = {0, 1, 2, 3} e B = {-1, 0, 1, 2, 3, 4} e as seguintes relaes de A em B: R = {(x,y)A x B | y = x + 1} S = { x,y)A x B | y = x} T = { x,y)A x B | y = x} V = { x,y)A x B |y = (x 1 ) - 1} W = { x,y)A x B | y = 2} Para determinar quais das seguintes relaes so funes (ou aplicaes) de A em B, vamos analisar cada uma delas. A relao R pode ser representada como segue:

115

Figura 6.8 Da, R = {(0, 1), (1, 2), (2, 3)}. Observe que cada x A, exceto o 3, est associado a apenas um y B, tal que (x, y) R Para o elemento 3 A, no possvel associar nenhum elemento y B, de forma que (3, y) R Neste caso, afirmamos que a relao R no uma funo de A em B, visto que ela no obedece norma de que todos os elementos do domnio da relao devam estar associados a pelo menos um elemento do contradomnio. Para a relao S, temos o seguinte diagrama de flechas:

Figura 6.9 S = {(0, 0), (1, 1), (1, -1), (2, 2), (3, 3)}. Perceba que esta relao do tipo vrios-para-um, portanto j se pode afirmar que a mesma no uma funo de A em B. A relao T = {(0, 0), (1, 1), (2, 2), (3, 3)} representada graficamente como:

Figura 6.10

116 Perceba que cada elemento xA est associado a apenas um yB. Neste caso, a relao T uma funo, j que todos os elementos do conjunto A possuem um elemento associado no conjunto B e esta associao nica. Podemos representar a relao V pelo seguinte diagrama de flechas:

Figura 6.11 V = {(0, 0), (1, -1), (2, 0), (3, 3)}. Observe que, neste caso, todos os elementos do conjunto A possuem associao com elementos do conjunto B, sendo nica tal associao. Portanto, V uma funo de A em B. Por fim, considerando a relao W = {(0, 2), (1, 2), (2, 2), (3, 2)}, temos:

Figura 6.12 Aqui, temos mais um exemplo de funo, uma vez que para todo x A, existe um s y B, de forma que (x, y) W. Para que uma relao de A em B seja uma funo, necessrio que todo elemento x A, sem exceo, esteja associado a um, e somente um, elemento y B. A figura abaixo mostra a representao de uma funo arbitrria.

117

Figura 6.13 Neste caso, f uma funo de A em B, que representada por f: AB. A associao dos elementos de A com os elementos de B um conjunto formado por todos os pares ordenados (x, y), onde xA e yB. y o valor de B que a funo associa ao valor x de A, ou seja, f(x) = y (GERSTING, 2003). Como em qualquer relao, o conjunto A denominado domnio da funo, o conjunto B o contradomnio e cada elemento y = f(x) chamado de imagem de x. Ao conjunto de todos os valores de imagem denominamos imagem de f. Exemplo 6.2 Funo Considere os conjuntos A = {-1, 0, 1} e B = {0, 1} e as seguintes relaes binrias de A em B: R ={(x,y) A x B |x y = 0} S = {(x,y) A x B | y = x} Para definir quais das relaes apresentadas so funes, vamos analisar cada uma delas. A relao R = {(0, 0),(1, 1)} no funo, pois existe um elemento de A que no est associado a algum elemento de B. Observe o diagrama:

A relao S = {(-1, 1), (0, 0), (1, 1)} funo, a qual vamos denominar f. Observe o diagrama:

118

O domnio da funo o conjunto D = {-1, 0, 1}. O contradomnio da funo o conjunto CD = {0, 1} Para determinar a imagem de cada elemento do domnio, preciso aplicar a funo a cada um, como segue: f(-1) = (-1)2 = 1 f(0) = 02 = 0 f(1) = 12 = 1 A imagem de f o conjunto Im = {0, 1} Auto Avaliao 6.2 (GERSTING, 2003) Quais das relaes a seguir definem funes do domnio no contradomnio indicados? Nos casos em que no forem funes, justifique sua resposta. 1.f: AB, onde A = B = {1,2,3}, f = (1, 1), (2, 3), (3,1), (2,1)} No uma funo: 2 S tem dois valores associados (2,3) e (2,1) 2. g: ZZ, onde g definida por g(x) = |x|. Sendo uma relao um-para-varios, onde xZ, conclumos que uma funo. 3. f: S T, onde S o conjunto de todas as pessoas em sua cidade maiores de 18 anos, T conjunto dos nmeros de carteira de identidade e f associa cada pessoa ao nmero de carteira de identidade. No funo, nem todo elemento de S tem um nmero de RG. Exerccios Resolvidos 1. Dada a funo f: RR definida por f(x) = 2x - 4. Determinar a imagem de -2. SOLUO: A imagem pedida dada pela aplicao da funo ao elemento do domnio -2 da seguinte forma:

119 f(-2)=2. (-2)2-4 = 2 . 4 - 4 = 8-4 = 4 Portanto, a imagem de -2 em f 4. 2. Seja a funo f: R R definida por f(x) = x 5/2. Qual o elemento do domnio que tem 1/2 como imagem? SOLUO: 1 Queremos determinar o valor de x tal que f(x) = -1/2. Para isso, bastante resolver a seguinte equao: (x-5)/2= -1/2. Resolvendo a equao, temos: (x-5)/2 = - 2. (x 5) = -1.22x-10 = -22x = -2 + 10x= 8/2 x = 4 Portanto, o elemento do domnio procurado x = 4 6.2.1. Propriedades das Funes 6.2.1.1. Sobrejetividade Considere a funo f: A B, definida por f(x) = x, onde A = {-1, 0,1} e B = {0, 1}. Esta funo pode ser representada como segue:

Figura 6.14 Note que todo elemento do conjunto B imagem de algum elemento pertencente ao conjunto A. Ou seja, o conjunto imagem de f igual ao seu contradomnio. Neste caso, dizemos que a funo f sobrejetiva. Uma funo f: A B dita sobrejetiva (ou sobrejetora) se seu conjunto imagem for igual o seu contradomnio. 6.2.1.2. Injetividade Seja a funo f: AB, definida por f(x) = x, onde A = {0, 1} e B = {0, 1, 2}. Esta funo pode ser representada como segue:

120

Figura 6.15 Observe no existe elemento em B que seja imagem de mais de um elemento de A, ou seja, a relao entre os conjuntos A e B de um-para-um. Neste caso, dizemos que a funo f injetiva (ou injetora). Uma funo f: A B dita injetiva se a relao que a define for do tipo um-para-um. 6.2.1.3. Bijeo Uma funo f: A B dita bijetiva se for, simultaneamente, sobrejetiva e injetiva. Exemplo 6.3 Bijeo Sejam os conjuntos A = {0, 1, 2} e B = {1, 2, 3}. A funo f: A B, definida por f(x) = x + 1, bijetiva. De fato, para cada elemento de A existe um nico correspondente em B. Alm disso, o contradomnio coincide com o conjunto imagem de f.

121 Exerccios Resolvidos 1. (GERSTING, 2003) Provar que a funo f: R IR, definida por g(x) = x3 uma funo sobrejetiva. SOLUO: J sabemos que uma funo sobrejetiva quando seu conjunto imagem igual ao seu contradomnio. Para provar isto, basta mostrar que CD Im. Portanto, seja r um nmero real qualquer e seja x = r. Ento x um nmero e, portanto, pertence ao domnio de f. Aplicando a funo a x, temos: g(x) = (r)= r. Com isso, provamos que qualquer nmero no contradomnio imagem por g de algum nmero no domnio e, portanto, CD Im. 2. A funo apresentada na questo anterior injetiva? SOLUO: A resposta sim, pois para dois nmeros quaisquer do domnio, vlido que se x y, ento g(x) g(y). Ou seja, quaisquer que sejam x e y reais, se x y, ento x y.

Auto Avaliao 6.3 1. (LIPSCHUTZ; LIPSON, 2004) Determine se cada uma das seguintes funes injetora. a) A cada pessoa no estado do Maranho, associe o nmero correspondente sua idade. No injetora, pois pode haver pessoas de mesma idade. b) A cada livro escrito por um nico autor, associe o autor. No injetora, pois um autor pode escrever mais de um livro. c) A cada aluno da sua classe, associe seu nmero de matrcula. uma funo injetora. d) A cada cidade maranhense, associe o nome de seu prefeito. um funo injetora. 2. (GERSTING, 2003) Quais dos itens a seguir representam funes? Quais so injetivas? Quais so sobrejetivas? a)f: {1,2,3}{p,q,r}, onde f = {(1,q), (2, r), (3, p)} sobrejetiva e injetiva, concluso bijetiva b)f:ZN, onde f (x)=x + 1. Funo polinomial do 2 grau. c)f:N N, onde f(x) = 2x . Funo exponencial, injetiva.

122 6.2.2. Composio de Funes Na Matemtica, muito comum a obteno de novas funes a partir de funes j existentes. Um dos objetivos deste tipo de construo , segundo Smole e Diniz (2003), o estudo de propriedades de uma funo mais complexa a partir de outras mais simples. Sejam as funes f: AB e g: BC, isto , o contradomnio de f o domnio de g. Ento, podemos definir uma nova funo de A para C, denominada composio de f e g e denotada por g f, como segue: (g f) (x) g (f(x)) Esta definio pode ser ilustrada como segue:

Figura 6.16 A funo g f aplicada da direita para a esquerda. Ou seja, f aplicada primeiro, e ento aplica-se a funo g. Acompanhe o exemplo ilustrativo para melhor entendimento. Sejam A = {-1, 0, 1}, B = {0, 1, 2} e C = {0, 2, 4} e as funes f: AB, definida por f(x) = x2, e g: BC, definida por g(x) = 2x. Queremos calcular as imagens da funo composta g f. Como j sabemos, inicialmente aplicada a funo f. Assim, temos: f(-1) = (-1)2 = 1 f(0) = 02 = 0 f(1) = 12 = 1 Em seguida, aplicada a funo g. Desta forma, temos: g(0) = 2.0 = 0 g(1) = 2.1 = 2 g(2) = 2.2 = 4 A funo composta g f: g(f(-1)) = g(1) = 2.1 = 2 g(f(0)) = g(0) = 2.0 = 0 g(f(1)) =g(1) =2.1 = 2

123

Representando f, g e g f por diagramas, temos:

Figura 6.17 Para obtermos a lei de correspondncia da funo composta g f, devemos aplicar g funo f, substituindo x em g por f(x). Ou seja, se f(x) = x2 e g(x) = 2x, ento a lei de correspondncia da composta g f dada por: g(f(x) = 2 . f(x) = 2 . x. Assim, (g f)=2x. Exemplo 6.4 Composio de Funes Seja f: RR a funo definida por f (x)= x -2 e seja g: RR a funo definida por g(x) = 1 x. A frmula que define a funo composta f g a seguinte: f(g(x)) = g(x) 2 f(g(x) = 1 x = -x - 1 Para calcular (f g) (1) podemos utilizar a frmula encontrada. Assim, f(g(1)=-1 - 1 = -1-1 = -2 Auto Avaliao 6.4 Seja f: NN definida por f(x) = 3x - 1 e g: NN definida por g(x) = 2x. Calcule o seguinte: 1. (g f)(3) f(3)=3.3-1=8 g f = g(f(3))=2.8=16

124 2. f(g(3)) g(3)=2.3=6 f(g(3))=3.6-1=17 3. (f g)(x) f g = f(g(x))=f(2x)=3.(2x)-1=6x-1 4. (g f) (x) g f = g(f(x))=g(3x-1)=2.(3x-1)=6x-2 6.2.3. Funes Inversas De acordo com Smole e Diniz (2003), o objetivo das funes inversas criar novas funes a partir de outras. possvel, ainda, fazer uso da noo de funes inversas para estudar relaes entre duas funes. A seguir, mostraremos como obter a inversa de uma funo e qual o seu significado. Acompanhe atentamente o exemplo. Sejam os conjuntos A = {1, 2, 3} e B = {3, 5, 7}. Consideremos, ainda, a funo f: AB definida por f(x) = 2x + 1.

Figura 6.18

Observe que a funo f bijetora e que D(f)=A e lm(f) = B. Agora vamos considerar a relao f-1 = {(y,x)|(x,y) f }, inversa de f. Podemos afirmar que f -1 tambm uma funo, uma vez que para todo y B existe um nico x A de modo que (y,x) f -1 .

125

Figura 6.19 Note que D(f -1)= B e Im(f -1) = A Com base no exposto, podemos afirmar que: Uma funo f: AB inversvel se a relao inversa uma funo de B para A. Alm disso, considerando uma funo f: AB, afirmamos que a relao inversa f -1 uma funo de B em A se, e somente se, f uma funo bijetiva. Para finalizar esta seo, conveniente demonstrar uma maneira de determinar a funo inversa de uma funo / dada. Comumente, utilizamos a regra prtica apresenta a seguir (IEZZI; MURAKAMI, 1993). Determinao da Funo Inversa Dada uma funo bijetora f: AB, definida por y = f(x), a funo inversa f -1 calculada por meio da execuo dos seguintes passos: 1. Na sentena y = f(x) fazemos uma mudana de varivel, trocando x por y. Assim, obtemos x =f(y); 2. A partir da expresso x = f(y), escrevemos y em funo x, obtendo y = f -1(x). Exemplo 6.5 Funes Inversas Seja a funo f: AB definida por f(x)= 2x + 1, apresentada no inicio da seo 4.2. Para determinar a funo f -1, inversa de f, procedemos como segue: Aplicando a regra 1, ficamos com a seguinte expresso: x=2y + 1 Em seguida, isolamos y:

126 2y=x-1y=(x-1)/2 Esta ltima expresso a funo f -1 Auto Avaliao 6.5 Para cada uma das seguintes bijees f: RR, calcule f -1. 1. f(x) = 8x x=8yy=x/8, logo f -1(x)= x/8 2. f(x)=(x-3)/2 x=(y-3)/2y=2x+3, logo f -1(x)= 2x+3 3. f(x) = x5 x=y5 y=5x

6.3. Funes Matemticas


O objetivo desta seo apresentar algumas funes que possuem aplicaes freqentes na Cincia da Computao, sobretudo no desenvolvimento e na anlise de algoritmos (LIPSCHUTZ; LIPSON , 2003). 6.3.1. Funes Floor e Ceiling As funes floor e ceiling podem ser entendidas como funes de arredondamento. Se x um nmero real qualquer, ento podemos afirmar que x est entre dois nmeros inteiros conhecidos como floor e ceiling de x (LIPSCHUTZ; LIPSON, 2005). [x] chamado floor de x e expressa o maior inteiro menor ou igual a x. Por exemplo: [1,75] = 1, [3,14] = 3, [2] = 1 e [-5,67] = -6. [x] chamado ceiling de x e denota o menor inteiro maior ou igual a x. Por exemplo: [1,75] = 2, [3,14] = 4, [2| = 2 e [-5,67] = -5. Quando x um nmero inteiro, [x]=[x]. Caso contrrio, [x]+1=[x].

127 6.3.2. Funes Valor Inteiro e Valor Absoluto A funo valor inteiro, conhecida como funo de truncamento, sendo escrita como INT(x). INT(x) transforma x em um valor inteiro, eliminando sua parte fracionria. Por exemplo, INT(1,75) = 1, INT(3,14) = 3, INT(2) = 1 e INT (-5,67) = -5. A funo valor absoluto, ABS(x), representa o mdulo de x. Pode tambm ser denotada por |x|. O valor absoluto de um nmero real x, denotado por ABS(x), dado por: ABS(x) = x, se x0 -x, se x<0

Por exemplo: ABS(1,75) = 1,75, ABS(-0,675) = 0,675 e ABS(-5,67) = 5,67. 6.3.3. Funo Resto Como o prprio nome j sugere, a funo resto expressa o resto inteiro da diviso de um nmero inteiro x qualquer por um nmero inteiro positivo y. Denotamos por x(mod y). preciso ter ateno para dois casos: o primeiro quando x for positivo e o segundo quando x for negativo. Para x positivo, a operao muito simples. Basta dividir x por y e obter o resto; Para x negativo, a operao realizada dividindo-se |x| por y, obtendo o resto z'. O resultado de x(mod y) expresso por y - z'. Por exemplo: 32(mod 7) = 4, -36(mod 5) = 5 - 1 = 4 e 215(mod 2) = 1. Auto Avaliao 6.6 Determine os valores numricos das seguintes expresses. 1. [-2.45] + [10]-[-3,34] Chamado floor, temos: -3+3-(-4)=4

128 Chamado ceiling, temos: -2+4-(-3)=5 2. [-1.25]+INT(6,75)-43(mod 4) Chamado floor, temos: -2+6-3=1 Chamado ceiling, temos: -1+6-3=2 3. [3,14].(INT(-1,54)+[4,43]) Chamado floor, temos: 3.(-1)+4=1 Chamado ceiling, temos: 4.(-1)+5=1 4. -17(mod 3) INT(5,42) -2.5=-10 6.3.4. Funo Exponencial e Funo Logartmica As funes exponencial e logartmica esto intimamente relacionadas e possuem inmeras aplicaes na Cincia da Computao, dentre as quais destaca-se seu uso na anlise da complexidade de algoritmos. Uma funo f. RR, definida por f(x) = ax, onde a qualquer nmero real positivo e a diferente de 1, chamada de funo exponencial de base a. Pare e Reflita: Por que foram impostas duas restries para a base a(a>0 e a1)? A seguir so apresentadas as caractersticas da representao grfica da funo exponencial.

Representao Grfica da Funo Exponencial O grfico cartesiano da funo f: R R definida por ax com a > 0 e a1: 1. Situa-se acima do eixo Ox, uma vez que ax > 0, x R; 2. Tem imagem dada pelo conjunto Im = R*+ e corta o eixo Oy no ponto (0, 1), pois a0 = 1;

129

Ao trabalhar com funes deste tipo, devemos ter sempre na lembrana as seguintes regras, referentes exponenciao:

Exemplo 6.6 Funo Exponencial Considere a funo real f(x)=(2/3)x. Analisando cada termo da funo, definimos que f decrescente. De fato 0 < a < 1. Este fato pode ser escrito como: Se p < q, ento (2/3)p > (2/3)q A afirmao vlida e pode ser comprovada pela anlise do grfico de f(x). A construo do grfico fica como exerccio. A imagem para x = -2 por f dada por: f(-2)=(2/3)-2 = (3/2)2 = 9/4 O elemento do domnio que possui imagem igual a 16/81 dados por f(x)=16/81. Substituindo f(x), temos: (2/3)x=16/81. A partir deste ponto, o clculo de x feito pela aplicao das propriedades da exponenciao. (2/3)x=24/34 (2/3)x = (2/3)4 x=4 Assim, o elemento do domnio procurado x = 4.

130

A funo logartmica a funo inversa da funo exponencial e pode ser definida, formalmente, como segue: A funo f: R*+R, definida por f(x)=logax, onde a > 0 e a 1, chamada de funo logartmica de base a. Lembre-se: Logbb = xax=b A seguir so apresentadas as caractersticas da representao grfica da funo logartmica.

Representao Grfica da Funo Logartmica O grfico cartesiano da funo f:R*+R definida por logax, com a>0 e a1: 1. Situa-se direita do eixo Oy, uma vez que D(f) = R*+; 2. Tem imagem dada pelo conjunto Im = R e corta o eixo Ox no ponto (1, 0), pois loga 1 = 0;

Existem algumas propriedades que so inerentes funo logartmica. A validade dessas propriedades decorre da prpria definio de logaritmo ou de propriedades correspondentes da funo exponencial.

131

Alm das propriedades apresentadas na tabela, importante ter em mente que a funo logartmica sempre crescente, isto , se p < q, ento logap < loga q. Pare e Reflita: A funo logartmica sobrejetiva ? injetiva?

Exemplo 6.7 Funo Logartmica Considere a seguinte expresso 1+log2a-log2b-2log2c Com a, b e c positivos reais. possvel reescrever a expresso, atravs da aplicao das propriedades dos logaritmos.

Exerccio Resolvido (Extrado de GERSTING, 2003) Demonstre que se 2k < n < 2k+1, ento k = [log2 n] e k+1 = [log2n] SOLUO:

132

Auto Avaliao 6.7 1. Seja a funo real definida por f(x) = (3/2)x, determine: a) A imagem de para x = -2. b) O elemento do domnio cuja imagem 2,25. c) A representao grfica de f a) f(-2)=(3/2)-2=4/9 b)f(x)=(3/2)x (3/2)x =225/10 (3/2)x= 5.3/5.2 (3/2)x=(3/2) (3/2)x=(3/2) X=2
x -3 -2 -1 0 1 2 3 f(x)=(3/2)x 8/27 4/9 2/3 1 3/2 9/4 27/8

2. Calcule os logaritmos. a)log264-log101000 6-3=3 b)log55 + log3(34)-log381 1+4-4=1 c)log3(log464)-[log651 + log5625] log33-(0+4)= 1-4=-3

133 RESUMO Uma relao um conjunto de pares ordenados. Dados dois conjunto A e B, chama-se relao de A em B todo subconjunto de A x B. Chamamos A de conjunto de partida da relao e B de contradomnio. Chama-se domnio de uma relao R de A em B ao conjunto D A que contm os primeiros elementos dos pares ordenados que pertencem a R. O conjunto imagem de uma relao R de A em B o conjunto Im B que contm os segundos elementos dos pares ordenados que pertencem a R. As relaes podem ser dos seguintes tipos: um-para-um, um-paravrios, vrios-para-um e vrios-para-vrios. Uma relao de A em B uma funo se todo elemento x e A, estiver associado a um, e somente um, elemento y e B. Uma funo sobrejetiva se seu conjunto imagem for igual ao seu contradomnio. Uma funo injetiva se a relao que a define do tipo um-para-um. Uma funo bijetiva se for simultaneamente sobrejetiva e injetiva. Sejam duas funes f: A B e g: A B, a funo h:BC chamada de composio de f e g, sendo denotada por (g f). Uma funo f:.AB inversvel se a relao inversa um funo de B em A. [x] chamado de floor de x e expressa o maior inteiro menor ou igual a x. [x] chamado de ceiling de x e expressa o menor inteiro maior ou igual a x. A funo INT(x) transforma x em um inteiro, eliminando sua parte fracionria. O valor absoluto de um nmero real x denotado por ABS(x), onde ABS(x) = x, se x0 -x, se x<0

A funo resto expressa o resto inteiro da diviso de um nmero inteiro x qualquer por um nmero inteiro positivo y. Denotamos por x(mod y). A funo f: RR, definida por f(x) = ax, onde a>0 e a1 chamada de funo exponencial de base a. A funo f: R*+R, definida por f(x) = loga x, onde a > 0 e a1 chamada de funo logartmica de base a. A funo logartmica inversa da funo exponencial.

134 Exerccios Propostos QUESTES 1. (GERSTING, 2003) Classifique cada uma das relaes a seguir em um-paraum, um-para-vrios, vrios-para-um ou vrios-para-vrios. a) R = {(1, 2), (1, 4), (1, 6), (2, 3), (4, 3)} Vrios-para-vrios b) S = conjunto de todas as mulheres de So Lus f = {(x, y) S x S | x filha de y} Vrios-para-um c) K = {(x, y) R2| x = 5} Um-para-um d) L = {(2, 7), (8, 4), (2, 5), (7, 6), (10, 1)} Um-para-vrios 2. (GERSTING, 2003) As funes a seguir so aplicaes de M em R. Encontre as frmulas que descrevam as funes compostas g f e f g para cada um dos seguintes itens. a) f(x) = 6x3, g(x) = 2x g f = g(f(x))=g(6x)=2(6x)=12x f g = f(g(x))=f(2x)=6.(2x)=48x b) f(x)=(x-1)/2, g(x)=4x2 g f = g(f(x))=g((x-1)/2)=4.((x-1)/2)=4.(x-2x+2)/4= x-2x+2 f g = f(g(x))=f(4x)=(4x-1)/2 c) Para a alternativa a, determine g f(3) e f g(0) g f (3) = 12(3)=324 f g (0)=48.(0)=0 d) Para a alternativa b, determine os elementos do domnio para que se tenha f g(x) = 0. f g (0) = (4x-1)/2=0x=1/4x=1/2 3. (IEZZI; MURAKAMI, 1993) Seja a funo f de R - {-2} em R - {-4} definida por f(x) = (4x-3)/(x+2). Determine o valor do domnio f -1 com imagem 5. Sendo f(5)=a, temos: a=f(5)=(4.5-3)/5+2=17/7 a=17/7 4. Defina funo bijetiva e demonstre que f, definida no intervalo 0<x<s, (s>0) como f(x) =(2x-s)/x(s-x), uma funo bijetiva desse intervalo nos reais. Definimos funo bijetora, como a funo que sobrejetora e injetora. A funo sobrejetora pois existe imagem para a funo f(x)=(2x-s)/x(s-x), para o intervalo 0<x<s. Sendo s-x0, temos sx, ento f(s)f(x), logo conclumos que a funo injetora.

135 5. Demonstre que 1 + log2 n < n para n 3. 1+ log2 n < n Observamos que para n 3, temos: 2(n-1)> n Portanto, pela propriedade 1 de logaritmos, log2 n < log2 2(n-1) Pela propriedade 5 de logaritmos, log2 2(n-1) = n - 1. Portanto: log2 n < n - 1 ou 1 + log2n<n para n3

136

Referncias
FERREIRA, Jaime Campos. Elementos de Lgica Matemtica e Teoria dos Conjuntos. Lisboa: Departamento de Matemtica do Instituto Superior Tcnico, 2001. GERSTING, Judith L. Fundamentos Matemticos para a Cincia da Computao. Rio de Janeiro: LTC, 2003. IEZZI, Gelson; MURAKAMI, Carlos. Fundamentos de Matemtica Elementar 1: conjuntos e funes. So Paulo: Atual, 1993. IEZZI, Gelson; DOLCE, Osvaldo; MURAKAMI, Carlos. Fundamentos de Matemtica Elementar 2: logaritmos. So Paulo: Atual, 1993. LIPSCHUTZ, Seymour; LIPSON, Marc. Matemtica Discreta. So Paulo: Bookman, 2004. MENEZES, Paulo Blauth. Matemtica Discreta para Computao e Informtica. Porto Alegre: Instituto de Informtica da UFRGS, 2008. NOTARE, Mrcia Rodrigues. Matemtica Discreta. Caxias do Sul: Universidade de Caxias do Sul, 2003. PINTO, Jos Sousa. Tpicos de Matemtica Discreta. Universidade de Aveiro, 1999. SCHEINERMAN, Edward S. Matemtica Discreta: uma introduo. So Paulo: Thomsom, 2003. SMOLE, Katia Stocco; DINIZ, Maria Ignez. Matemtica 1. So Paulo: Saraiva, 2003. SMOLE, Katia Stocco; DINIZ, Maria Ignez. Matemtica 3. So Paulo: Saraiva, 2003.