Lgica Matemtica

Grupo de Matemtica da Universidade Tcnica de Lisboa: Antnio St. Aubyn, Maria Carlos Figueiredo, Lus de Loura, Lusa Ribeiro, Francisco Viegas Lisboa, Maro de 2004

O documento presente foi obtido directamente do cdigo TeX fornecido pelos autores com alteraes de formatao. A verso corrente de 27 de Setembro de 2005. A reviso deste texto do ponto de vista grco ainda no est completa. Novas verses podero car disponveis no futuro a partir de http://preprint.math.ist.utl.pt/les/ppgmutlconjuntos.pdf. O DMIST agradece ao Grupo de Matemtica da UTL a possibilidade de facultar o texto aos alunos das disciplinas introdutrias de Matemtica do IST.

Contedo
1 2 3 4 5 6 7 8 9 Introduo Igualdade, equivalncia. Conjuno Disjuno Negao Implicao Expresses com variveis Quanticadores 1 3 6 10 13 16 20 23

Exemplos 28 9.1 Convergncia de uma sucesso. . . . . . . . . . . . . . . . . . 29 9.2 Funes contnuas . . . . . . . . . . . . . . . . . . . . . . . . . 31

LGICA MATEMTICA
1 Introduo

A Matemtica, tal como toda a cincia, usa a linguagem corrente para se exprimir. Quando dizemos, por exemplo, dois um nmero natural par, estamos a utilizar a lngua portuguesa para construir uma frase que traduz uma propriedade sobre certos entes matemticos. Claro que esta frase poderia ter sido dita noutra lngua: por exemplo chins, dinamarqus, francs, ingls, ou qualquer outra. Neste aspecto existe uma semelhana entre a frase 2 um nmero natural par, referente a entes matemticos, e a frase O Figo um jogador de futebol extraordinrio, referente a um desporto bastante popular na poca em que vivemos. H no entanto uma diferena fundamental entre estas duas frases e para ela que nos interessa chamar a ateno. Suponhamos que, num caf da Praa de Londres (em Lisboa), enquanto se deliciam respectivamente com uma italiana e com uma bica pingada, o Zeferino e a Zenbia (amigos de longa data) comeam a discutir futebol. No calor da discusso diz a Zenbia, enlevada, O Figo um jogador de futebol extraordinrio. O Zeferino, mais pelo prazer da contradio do que por convico, replica imediatamente Que disparate! O Figo um bom jogador, mas nada que se parea com um jogador extraordinrio. O Eusbio, ou o Matateu, isso sim... eram jogadores extraordinrios! O Figo um bom jogador! No vale a pena relatarmos a continuao da discusso, nem como a italiana se foi esparramar no nariz da Zenbia e a bica pingada no olho esquerdo do Zeferino. Queremos chamar a ateno para o facto de uma discusso deste tipo ser impensvel a partir da frase dois um nmero natural par; e no porque a Zenbia (aluna do curso de Matemtica Aplicada e Computao do Instituto Superior Tcnico) e o Zeferino (aluno do curso de Fsica Tecnolgica do Instituto Superior Tcnico) se desinteressem por questes matemticas, mas sim porque a frase dois um nmero natural par , sem margem para discusso, verdadeira. Isto porque sabemos denir exactamente o que so os nmeros naturais pares e sabemos vericar se o nmero dois obedece ou no quela denio. O problema com a frase O Figo um jogador de futebol extraordinrio no sabermos denir exactamente o que se entende por um jogador de futebol extraordinrio. Decidir se algum ou no jogador de futebol, ainda v; agora atribuir-lhe o epteto de extraordinrio, isso varia de pessoa para pessoa. 1

Com o exemplo destas duas frases pretendemos fazer sentir no leitor a necessidade de um muito maior rigor na linguagem matemtica, em comparao com o da linguagem corrente. isto que nos leva a reectir um pouco mais sobre a linguagem matemtica, estudando os princpios da chamada Lgica Matemtica. As frases que construmos, tanto na linguagem matemtica como na linguagem corrente, envolvem certos entes, cada um dos quais designado por um smbolo (a que, neste caso, chamamos designao) conveniente. Na frase dois um nmero natural par aparecem os entes cujas designaes so respectivamente dois, nmero natural e nmero natural par. Na frase O Figo um jogador de futebol extraordinrio temos os entes designados respectivamente por Figo, jogador de futebol e jogador de futebol extraordinrio. No devemos confundir o ente com a sua designao, at porque um mesmo ente pode ter vrias designaes diferentes; por exemplo dois, 2 e 4 so trs designaes distintas para o mesmo ente. As frases, ou proposies, fazem intervir vrios entes; por exemplo, na proposio 4 mltiplo de 2, aparecem os entes designados respectivamente por 4 e por mltiplo de 2. Claro que no podemos confundir as designaes com as proposies; por exemplo , so designaes, enquanto um nmero irracional, Lisboa a capital de Portugal 3+ 2 2 , Lisboa

so proposies. Uma proposio pode ser verdadeira ou falsa. Por exemplo a proposio Lisboa a capital de Portugal verdadeira, enquanto a proposio Paris a capital de Portugal falsa. Dizemos por isso que a proposio Lisboa a capital de Portugal tem o valor lgico V (verdade) e que a proposio Paris a capital de Portugal tem o valor lgico F (falso). Num primeiro estudo da Lgica Matemtica admitiremos que, em cada teoria, toda a proposio tem um e um nico dos dois valores lgicos referidos V e F. De facto esta ideia ter de ser abandonada mais tarde, visto existirem teorias com interesse matemtico onde h proposies que no so verdadeiras nem falsas (so as chamadas proposies indecidveis). De momento no nos preocupemos com esse facto e admitamos que toda a proposio ou verdadeira ou falsa e nunca as duas coisas em simultneo. 2

Usualmente representaremos as proposies por letras minsculas p, q, r, etc. e os seus valores lgicos por V (verdade) e F (falso). Tambm, em certas situaes, usaremos a notao V para designar uma proposio verdadeira e a notao F para designar uma proposio falsa.

Igualdade, equivalncia.

J sabemos que a linguagem matemtica (tal como a linguagem corrente) construda a partir de designaes e proposies; sabemos tambm a distino existente entre esses dois conceitos. Recordamos que um determinado ente pode ser designado atravs de muitas designaes distintas; por exemplo Paris e capital da Frana so duas designaes distintas para o mesmo ente. Vamos ver que h dois processos muito simples de construir uma proposio a partir de duas designaes. Consideremos as designaes Lisboa e capital da Frana. Podemos construir uma proposio onde intervenham apenas estas duas designaes, por exemplo, Lisboa a capital da Frana; trata-se de uma proposio falsa. Com as mesmas duas designaes tambm poderamos ter construdo uma proposio verdadeira: Lisboa no a capital da Frana. Na proposio Lisboa a capital da Frana estamos a armar que as duas designaes Lisboa e capital da Frana designam o mesmo ente, o que alis sabemos ser falso. J na proposio Lisboa no a capital da Frana armamos que as designaes Lisboa e capital da Frana designam entes distintos. Dadas duas designaes, digamos a e b, h ento dois processos muito simples de construir uma proposio. O primeiro dizer que as designaes a e b designam o mesmo ente; nesse caso escreveremos o sinal de igualdade = entre as duas designaes: a = b. O segundo dizer que as designaes a e b designam entes distintos; escreveremos ento o sinal de desigualdade entre as duas designaes: a b. b Claro que o valor lgico de cada uma das proposies a = b e a depende das designaes a e b. Por exemplo, ao escrevermos Lisboa = Capital da Frana construmos uma proposio falsa; mas as proposies Lisboa Capital da Dinamarca 3

Lisboa = Capital de Portugal so verdadeiras. Dando agora exemplos com designaes de entes matemticos, so verdadeiras as proposies 2 9, 2 4, 3 4 = 12 2 = 4, e falsas as proposies (3 + 2)2 = 32 + 22 , 1 1 2 + = . 2 2 4

Acabmos de ver que um processo para construir proposies escrever um dos sinais = ou entre duas designaes. Um outro processo semelhante escrever o sinal de equivalncia entre duas proposies. Dadas duas proposies, digamos p e q, podemos construir uma nova proposio p q, que se l p equivalente a q, e que verdadeira sse p e q tiverem o mesmo valor lgico (ambas verdadeiras ou ambas falsas) e falsa sse p e q tiverem valores lgicos diferentes (uma for verdadeira e a outra for falsa). Assim, por exemplo, a proposio Lisboa uma cidade Londres uma vila falsa, visto a proposio Lisboa uma cidade ser verdadeira e a proposio Londres uma vila ser falsa. J a proposio Lus Figo um astronauta dois um nmero irracional verdadeira, visto as proposies Lus Figo um astronauta e dois um nmero irracional serem ambas falsas. Uma forma visual bastante til de exprimir o valor lgico da proposio p q como funo dos valores lgicos de p e de q a utilizao das chamadas tabelas de verdade p V V F F q V F V F pq V F F V

Na primeira coluna da tabela anterior esto os valores lgicos de p, na segunda coluna os valores lgicos de q e na coluna da direita os valores 4

lgicos de p q. bvio que, nas duas primeiras colunas, teremos de ter todas as combinaes possveis de valores lgicos das proposies p e q. Claro que, semelhana dos sinais = e utilizados entre designaes por forma a construir proposies, poderemos arranjar um sinal para exprimir a no equivalncia de duas proposies; esse sinal ser . A proposio p q ser verdadeira sse os valores lgicos de p e de q forem distintos e falsa sse forem iguais. Em termos de tabela de verdade, teremos p V V F F Por exemplo 2= 4 q V F V F p F V V F 3+4=7 q

uma proposio falsa, visto as proposies 2 = 4 e 3 + 4 = 7 serem ambas verdadeiras. J a proposio Lus Figo um astronauta 2= 4 verdadeira, porque as proposies 2 = e Lus Figo um astro4 nauta tm valores lgicos distintos: 2 = 4 verdadeira, enquanto Lus Figo um astronauta falsa. No confundamos os sinais = e ; o primeiro utiliza-se entre duas designaes, formando uma proposio que verdadeira sse essas designaes designarem o mesmo ente; o segundo utiliza-se entre duas proposies, para construir uma nova proposio que verdadeira sse aquelas duas proposies tiverem o mesmo valor lgico. Assim, tem sentido escrever Lisboa = Capital de Portugal ou Paris = Capital de Portugal.

A primeira destas proposies verdadeira e a segundo falsa. Mas Lisboa Capital de Portugal

 desprovido de qualquer sentido porque entre designaes no temos o direito de escrever o sinal de equivalncia . Tambm tem sentido escrever 23=0 2=3 que uma proposio verdadeira, ou 32 = (3)2 3 = 3 que uma proposio falsa. Mas no tem sentido escrever 2 1+1 porque 2 e 1+1 so designaes e o sinal de equivalncia no se pode situar entre designaes, devendo situar-se entre proposies.

Conjuno

A partir de proposies simples podemos construir proposies mais complexas. Por exemplo, com as duas proposies Lisboa uma cidade e Lisboa a capital de Portugal, podemos construir a proposio Lisboa uma cidade e a capital de Portugal. Do ponto de vista gramatical, agrupmos as duas primeiras proposies numa s, usando a conjuno coordenada copulativa e. Do ponto de vista da Lgica Matemtica interessa-nos relacionar o valor lgico da proposio assim construda com os valores lgicos de cada uma das proposies elementares. Se designarmos por p a proposio Lisboa uma cidade e por q a proposio Lisboa a capital de Portugal, interessa-nos conseguir determinar o valor lgico da proposio p e q, desde que sejam conhecidos os valores lgicos das proposies p e q. Claro que podemos agrupar duas proposies de outras formas; por exemplo poderamos ter usado a conjuno coordenada disjuntiva ou em vez da conjuno coordenada copulativa e, o que originaria Lisboa uma cidade ou a capital de Portugal. No seguimento iremos usar o processo acabado de descrever para construir proposies cada vez mais complexas. O que nos interessar neste momento no tanto o valor semntico das proposies (aquilo que elas querem dizer), mas sim a forma como se relacionam os seus valores lgicos. Consideremos as duas proposies seguintes: 4 > 2 e 4 um nmero natural. Partindo destas duas proposies podemos ser levados a construir a proposio 4 > 2 e 4 um nmero natural. Esta ultima proposio foi obtida ligando as duas proposies iniciais por intermdio da conjuno coordenada copulativa e. No caso geral, podemos pensar 6

em duas proposies quaisquer p e q e construir uma nova proposio, a que chamaremos a conjuno de p com q, que designaremos por p q, e que leremos p e q. A questo que se pe : conhecidos os valores lgicos de p e de q, qual o valor lgico de p q? Pois bem, o valor lgico de p q denido atravs da seguinte tabela de verdade: p V V F F q V F V F pq V F F F

Vemos assim que, por denio, p q verdadeira sse tanto p como q forem verdadeiras. Repare-se que esta denio est de acordo com o sentido usual que damos conjuno coordenada copulativa e. Reparese tambm que p q falsa sse pelo menos uma das proposies p ou q for falsa. Assim, so verdadeiras as seguintes proposies: 2 > 1 3 > 1, Lisboa a capital de Portugal Paris a capital da Frana, Lus Figo jogador de futebol (3 + 2)2 = 32 + 12 + 22 . So falsas as proposies seguintes: Lus Figo jogador de futebol (3 + 2)2 = 32 + 12, Lisboa a capital da Frana 2 3 Lisboa a capital da Frana Lus Figo um astronauta. A conjuno de proposies permite-nos abreviar certas expresses contendo o smbolo de igualdade ou o smbolo de equivalncia. Suponhamos que a, b e c so trs designaes quaisquer; usual, na escrita matemtica, abreviar a proposio a = b b = c da forma seguinte: a = b = c. Esta notao, que signica que as designaes a, b e c designam todas o mesmo ente, foi j largamente usada durante o ensino secundrio, por exemplo ao escrever (7 + 9)2 = 72 + 126 + 92 = 256. Signicado bvio tm as expresses em que o sinal de igualdade aparece mais do que duas vezes, por exemplo (7 + 9)2 = 72 + 2 7 9 + 92 = 49 + 2 63 + 81 = 49 + 126 + 81 = 256. 7

Situao anloga se passa com o sinal de equivalncia. Sejam p, q e r trs proposies quaisquer; abreviaremos a proposio (p q) (q r) para p q r. Claro que p q r verdadeira sse os valores lgicos de p, q e r forem idnticos (p, q e r todas falsas ou p, q e r todas verdadeiras). Tambm esta notao era largamente usada no ensino secundrio; por exemplo, so verdadeiras as proposies 3 > 2 3 2 3 > 1, 3 = 2 3 2 3 = 1. Uma vez introduzida a operao de conjuno de duas proposies natural estudar algumas propriedades desta operao. Por exemplo, haver alguma relao entre os valores lgicos de p q e de q p? A resposta muito simples e decorre da tabela de verdade para a conjuno: p q verdadeira sse tanto p como q forem ambas verdadeiras; q p verdadeira sse tanto q como p forem ambas verdadeiras; logo p q e q p tm o mesmo valor lgico. Signica isto que a proposio pq qp (1)

verdadeira. Dizemos por isso que a conjuno de proposies comutativa. Sejam agora p, q e r trs proposies quaisquer; consideremos as duas proposies seguintes: (p q) r, p (q r). Haver alguma relao entre os valores lgicos destas duas proposies? fcil ver que sim. De facto (p q) r a conjuno de p q com r e verdadeira sse tanto p q como r forem verdadeiras, ou ainda, tendo em conta que pq a conjuno de p com q, sse p, q e r forem todas verdadeiras. Um raciocnio anlogo mostra-nos que p (q r) tambm verdadeira sse p, q e r forem todas verdadeiras. Ento as proposies (p q) r e p (q r) so equivalentes; signica isto que a proposio (p q) r p (q r) (2)

verdadeira. Dizemos por isso que a conjuno de proposies associativa. Uma outra maneira de mostrar a frmula (2) construir as tabelas de 8

verdade para as proposies (p q) r e 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 p q q r (p q) r p (q r) V V V V V F F F F F F F F F F F F V F F F F F F F F F F F F F F

Repare-se que, por haver inicialmente trs proposies, necessrio considerar as 8 combinaes possveis para os valores lgicos destas trs proposies; da a tabela ter oito linhas de valores lgicos. Nas trs primeiras colunas escrevemos os valores lgicos das trs proposies iniciais p, q e r; nas colunas 4 e 5 escrevemos as proposies intermedirias que nos permitem chegar s duas proposies que queremos estudar e que se encontram nas colunas 6 e 7. Como as colunas 6 e 7 tm exactamente os mesmos valores lgicos, conclumos que as proposies (p q) r e p (q r) so equivalentes. Repare-se que a coluna 4 s depende da 1 e da 2; a coluna 5 s depende da 2 e da 3; a coluna 6 construda a partir da 4 e da 3; nalmente a coluna 7 obtm-se a partir da 1 e da 5. A associatividade da conjuno permite-nos escrever expresses do tipo p q r; de facto uma expresso destas poder ser lida como (p q) r ou como p(qr) mas, como estas duas ltimas proposies so equivalentes, irrelevante a forma como se l a proposio inicial p q r. O importante perceber que p q r verdadeira sse cada uma das proposies p, q e r for verdadeira e falsa em todos os outros casos (ou seja, se pelo menos uma das proposies p, q e r for falsa). Consideremos agora a conjuno das proposies p e q, supondo que q verdadeira. Ento, se p for verdadeira, p q tambm verdadeira; se p for falsa, p q falsa. Em qualquer dos casos (p verdadeira ou p falsa) o valor lgico de p q igual ao valor lgico de p. Podemos ento armar que pV Vp p (3) onde, como j convencionmos anteriormente, V representa uma qualquer proposio verdadeira. Devido frmula (3), dizemos que V o elemento neutro da conjuno. Suponhamos agora que, na conjuno das proposies p com q, a proposio q falsa. Ento, independentemente do valor lgico de p, p q 9

falsa. Podemos ento escrever pF Fp F (4)

onde, como convencionado, F representa uma qualquer proposio falsa. Tendo em conta a frmula (4), dizemos que F o elemento absorvente da conjuno.

Disjuno

Na seco anterior estudmos a conjuno de duas proposies que corresponde, na linguagem corrente, utilizao da conjuno coordenada copulativa e. Nesta seco vamos estudar a chamada disjuno de proposies, correspondente, na linguagem corrente, ao uso da conjuno coordenada disjuntiva ou. Consideremos a seguinte frase: O Joo Caramelo e Silva foi ontem ao cinema ou ao teatro. Esta frase construda a partir das frases O Joo Caramelo e Silva foi ontem ao cinema e O Joo Caramelo e Silva foi ontem ao teatro, ligadas atravs da conjuno ou. Ningum tem dvidas de que a frase O Joo Caramelo e Silva foi ontem ao cinema ou ao teatro falsa se ambas as frases O Joo Caramelo e Silva foi ontem ao cinema e O Joo Caramelo e Silva foi ontem ao teatro o forem. Por outro lado, se o Joo Caramelo e Silva tiver ido ao teatro e no tiver ido ao cinema, ou ainda se tiver ido ao cinema sem ir ao teatro, a frase O Joo Caramelo e Silva foi ontem ao cinema ou ao teatro obviamente verdadeira. Quer dizer que, na linguagem corrente, ao ligarmos duas frases com a conjuno ou obtemos uma frase falsa se aquelas duas forem falsas e uma frase verdadeira se uma daquelas for falsa e a outra verdadeira. E o que se passar se ambas forem verdadeiras? Supondo que o Joo Caramelo e Silva foi ontem ao teatro e tambm foi ontem ao cinema, ser a frase O Joo Caramelo e Silva foi ontem ao cinema ou ao teatro verdadeira ou falsa? A linguagem comum no muito explcita quanto a este facto. Claro que, em linguagem matemtica, teremos de ser absolutamente rigorosos e, por denio, diremos que esta frase ainda verdadeira. De acordo com a introduo feita no pargrafo precedente, sejam p e q duas proposies quaisquer; a partir delas podemos construir uma nova proposio, designada por p q (leia-se p ou q), a que chamaremos disjuno de p com q, e cujo valor lgico denido pela seguinte tabela de

10

valores lgicos: p V V F F q V F V F pq V V V F

Vemos assim que, por denio, p q s falsa se tanto p como q forem falsas. Repare-se que pq verdadeira sse pelo menos uma das proposies p ou q for verdadeira. Assim, so verdadeiras as seguintes proposies: 2 > 1 3 < 1, Lisboa a capital do Daom Paris a capital da Frana, Lus Figo jogador de futebol 9 = 3. So falsas as proposies seguintes: Lus Figo professor de Anlise Matemtica Lisboa a capital da Frana 2 = 3. 9 = 9,

So agora muito fceis de provar as seguintes propriedades da operao de disjuno de proposies pq (p q) r pF pV qp p (q r) Fp p Vp V (5) (6) (7) (8)

onde p, q e r so trs proposies quaisquer, V uma proposio verdadeira qualquer e F uma proposio falsa qualquer. Repare-se na analogia entre as propriedades (1), (2), (3) e (4) referentes conjuno e as propriedades (5), (6), (7) e (8) referentes disjuno. Por (5) vemos que a disjuno comutativa, por (6) que associativa, por (7) que F o elemento neutro da disjuno e por (8) que V o seu elemento absorvente. A associatividade da disjuno permite-nos escrever expresses do tipo p q r; esta proposio falsa sse cada uma das proposies p, q e r for falsa e verdadeira sse pelo menos uma das proposies p, q e r for verdadeira. As demonstraes das propriedades (5), (6), (7) e (8) so semelhantes s que zemos no caso da conjuno. A comutatividade (5) resulta imediatamente da tabela de verdade da disjuno. A associatividade (6) decorre 11

da seguinte tabela de valores lgicos: 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 p q q r (p q) r p (q r) V V V V V V V V V V V V V F V V V V V V V V V V F V V V F F F F

As propriedades (7) e (8) so tambm uma consequncia imediata da tabela de verdade da disjuno. Introduzimos duas operaes sobre proposies: a conjuno e a disjuno. Estudmos as propriedades da conjuno, que se traduzem nas frmulas (1), (2), (3) e (4); estudmos as propriedades da disjuno, expressas por (5), (6), (7) e (8). natural agora estudar propriedades que envolvam simultaneamente as duas operaes de conjuno e de disjuno. Comecemos por mostrar que a propriedade (p q) r (p r) (q r) (9)

verdadeira, quaisquer que sejam as proposies p, q e r. A forma mais prtica de o fazer, construir uma tabela de valores lgicos: 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 p q p r q r (p q) r (p r) (q r) V V V V V V F F F F V V F V V V F F F F V F V V V V F F F F F F F F F F F F F F

Uma outra propriedade que tambm envolve a conjuno e a disjuno, e que tambm se demonstra muito facilmente atravs da construo de uma tabela de valores lgicos apropriada, (p q) r (p r) (q r) 12 (10)

Aconselhamos vivamente o leitor a construir a tabela de valores lgicos, antes de olhar para a que apresentamos: 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 p q p r q r (p q) r (p r) (q r) V V V V V V V V V V F V V V V F V F F F F V V V V F F V F F F V V V V F F F F F

A propriedade (9) a chamada distributividade da conjuno em relao disjuno; a propriedade (10) a distributividade da disjuno em relao conjuno.

Negao

Dada uma proposio, por exemplo O carro verde, todos sabemos, na linguagem corrente, neg-la; no exemplo considerado seria O carro no verde. Se a proposio O carro verde for verdadeira, ento O carro no verde falsa; se O carro verde for falsa, ento O carro no verde verdadeira. Somos ento levados a introduzir, na nossa linguagem matemtica, a chamada operao de negao. Seja p uma proposio qualquer; chamaremos negao de p a uma nova proposio, designada por p (leia-se no p), cujo valor lgico diferente do de p. Assim, se p for verdadeira, p falsa; se p for falsa, p verdadeira. A tabela do valor lgico da negao portanto muito simples: p p V F F V Por exemplo, so verdadeiras as proposies 2 < 1, so falsas as proposies 42 = 16, 3 27 = 3, 13 52
3

(2 + 3)2 = 22 + 32 ,

52 53 = 56 ,

= 56 .

Voltemos a um dilogo de caf... O nosso Governo no bom arma, convicto, o Antero Gatinho, da oposio, sorvendo lentamente a sua bica pingada; No verdade que o nosso Governo no seja bom riposta, pressurosa, a Manuela Ferrada Lamas (afecta ao partido do Governo) entre dois golos da sua italiana. No narrarei, por pudor, a continuao da histria (nem o destino nal da bica pingada e da italiana), mas gostaria de chamar a ateno para a frase da Manuela Ferrada Lamas; consiste ela na negao da frase do Antero Gatinho, frase essa que, por sua vez, era a negao de O nosso Governo bom. Vemos assim que, na linguagem corrente (mesmo em situaes menos dramticas do que a descrita) utilizamos por vezes a negao de uma negao. Em termos matemticos, e sendo p uma proposio qualquer, a negao da negao de p escreve-se ( p). Qual o valor lgico desta proposio? muito fcil determin-lo: p tem valor lgico contrrio a p, ( p) tem valor lgico contrrio a p, logo ( p) e p tm o mesmo valor lgico. Podemos portanto armar que ( p) p (11)

Claro que a propriedade (11) poderia ter sido deduzida de uma tabela de verdade conveniente: p p ( p) V F V F V F A propriedade (11) pode ser generalizada para mais do que duas negaes. Tem-se, por exemplo, ( ( p)) p, ( ( ( p))) p. Podemos agora pensar nas propriedades que ligam a negao com as operaes j estudadas. Da anlise das tabelas de verdade para a equivalncia () e para a no equivalncia ( ) imediato ver que a negao de uma equivalncia uma no equivalncia e vice-versa. Por outras palavras, quaisquer que sejam as proposies p e q, so verdadeiras as proposies seguintes: ( (p q)) (p q) ( (p q)) (p q) 14 (12) (13)

Algo de anlogo se passa com os smbolos de igualdade (=) e de desigualdade ( ); assim, sendo a e b dois entes quaisquer, so verdadeiras as seguintes proposies: ( a = b) (a b) ( a b) (a = b) (14) (15)

De uma forma geral, qualquer que seja o smbolo matemtico usado para construir uma certa proposio, uma barra / sobre esse smbolo corresponde negao dessa proposio. Vejamos agora as interligaes entre a negao e as operaes de conjuno e de disjuno. Mais especicamente, qual o valor lgico da negao de uma conjuno? E de uma disjuno? Suponhamos que eu digo: Hoje vou ao cinema e ao teatro; intuitivamente, negar esta frase dizer que Hoje no vou ao cinema ou no vou ao teatro. A intuio diz-nos que a negao de uma conjuno a disjuno das negaes. De forma anloga, a negao de Hoje como sopa ou carne, Hoje no como sopa nem como carne; a intuio sugere-nos que a negao de uma disjuno a conjuno das negaes. O que acabmos de dizer leva-nos a considerar duas proposies p e q quaisquer e a tentar demonstrar rigorosamente as propriedades ( (p q)) (( p) ( q)) ( (p q)) (( p) ( q)) (16) (17)

Claro que uma demonstrao de (16) e (17) dever ser feita custa de tabelas de verdade convenientes: p V V F F p V V F F q V F V F q V F V F p q p q (p q) ( p) ( q) F F V F F F V F V V V F F V V V V F V V p q p q (p q) ( p) ( q) F F V F F F V V F F V F V F F V V F V V

As propriedades (16) e (17) so usualmente conhecidas com o nome de primeiras leis de De Morgan. 15

Implicao

Na linguagem corrente usamos frequentes vezes frases condicionais, por exemplo, Se hoje chover, ento vou ao cinema. Esta frase s falsa se hoje chover e eu no for ao cinema; se hoje no chover a frase verdadeira, tal como o se hoje chover e eu for ao cinema. A operao que traduz, em termos de Lgica Matemtica, a ideia de uma frase condicional a implicao. Trata-se de uma operao lgica de grande importncia que designada por . Sendo p e q duas proposies quaisquer, a proposio p q (leia-se p implica q) falsa se p for verdadeira e q falsa e verdadeira em todos os outros casos; por outras palavras, a tabela de verdade para a implicao , por denio, a seguinte: p V V F F q V F V F pq V F V V

Na implicao p q chama-se antecedente proposio p e consequente proposio q. Repare-se que uma implicao s falsa se o antecedente for verdadeiro e o consequente for falso; em todos os outros casos a implicao verdadeira. Tambm por vezes escreveremos q p (em vez de p q) com o signicado de p implica q. A implicao muito importante na linguagem matemtica porque aparece sistematicamente nos teoremas que constituem as teorias matemticas. Um teorema uma proposio do tipo p q, onde p uma proposio verdadeira na teoria em questo. Demonstrar um teorema no mais do que provar que a proposio p q verdadeira o que, atendendo a que p verdadeira, equivalente a dizer que q verdadeira. Num teorema usual chamar hiptese proposio p, antecedente da implicao p q. A proposio q, que o consequente da implicao, designa-se por tese. Um exemplo de um teorema Seja n um nmero natural. Ento, se n par, n2 tambm par. A hiptese a proposio n par; a tese n2 par. A demonstrao deste teorema pode ser feita da forma que passamos a expor. Por denio de nmero par, sabemos que existe um natural k tal que n = 2k; consequentemente n2 = (2k)2 = 22 k2 = 4k2 = 2(2k2 ) = 2m, 16

onde designmos por m o natural 2k2 . Mas, novamente por denio de nmero par, e tendo em conta que n2 = 2m, vemos que n2 par. O teorema est demonstrado. Antes de darmos alguns exemplos de proposies onde a implicao intervm, queremos chamar a ateno para um facto importante. Consideremos a frase (infelizmente dita e muito repetida nos dias que correm): Estamos em crise econmica, logo os salrios sobem abaixo da inao. Ao dizermos esta frase, na linguagem corrente, estamos a admitir uma relao de causa a efeito entre a crise econmica e o aumento dos salrios. Do ponto de vista matemtico esta frase uma implicao: Estamos em crise econmica implica que os salrios sobem abaixo da inao. Mas cuidado! Na lgica matemtica no nos preocupamos com qualquer relao de causa a efeito entre o antecedente e o consequente de uma implicao. O que h uma relao entre o valor lgico da implicao e os valores lgicos do antecedente e do consequente. A frase Estamos em crise econmica, logo os salrios sobem abaixo da inao verdadeira porque o antecedente (Estamos em crise econmica) verdadeiro (infelizmente) e o consequente (Os salrios sobem abaixo da inao) tambm verdadeiro (desgraadamente). Mas a frase O Primeiro Ministro astronauta, logo os salrios sobem abaixo da inao tambm verdadeira! Isto porque o antecedente (O Primeiro Ministro astronauta) falso; agora j irrelevante o valor lgico do consequente porque, numa implicao, se o antecedente for falso, a implicao verdadeira. Neste caso no h (ou, pelo menos, no parece haver) qualquer relao de causa a efeito entre o Primeiro Ministro ser astronauta e os salrios subirem abaixo da inao. Curiosamente a frase O Primeiro Ministro astronauta, logo os salrios sobem acima da inao tambm verdadeira porque (por infelicidade) o Primeiro Ministro no astronauta; o antecedente falso, logo a implicao verdadeira. Passemos agora a exemplos matemticos; so falsas as seguintes proposies: 2 > 1 2 > 4, 4 = 22 4 = 2, 3 + 2 = 5 100000 103 102 . De facto, em cada uma das trs implicaes anteriores, o antecedente verdadeiro e o consequente falso. Nesta situao a implicao falsa; alis a nica situao em que a implicao falsa (antecedente verdadeiro e consequente falso). As seguintes proposies (todas elas implicaes) so verdadeiras: 2 > 0 2 > 1, 4 = 23 4 = 2, 3 + 2 = 7 1000 103 . 17

Na primeira das implicaes anteriores o antecedente verdadeiro e o consequente tambm, pelo que a implicao verdadeira. Nas outras duas o antecedente falso pelo que, independentemente do valor lgico do consequente, a implicao verdadeira. Construindo as tabelas de valores lgicos necessrias fcil provar as seguintes propriedades: (p q) ( (p q)) ((p q) (q p)) (p q) ((p q) (q r)) (( p) q) (p ( q)) (p q) (( q) ( p)) (p r) (18) (19) (20) (21) (22)

A ttulo de exemplo demonstraremos a propriedade (22), que a transitividade da implicao, recorrendo seguinte tabela de verdade: 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 p q q r (p q) (q r) p r (22) V V V V V V F F F V F V F V V F V F F V V V V V V V F F V V V V V V V V V V V V

Vericamos que o valor lgico de (22) sempre V, independentemente dos valores lgicos de cada uma das proposies p, q e r; isto signica que (22) verdadeira. Embora no o faamos aqui, recomendamos vivamente ao leitor que construa as tabelas de verdade que permitem demonstrar as propriedades (18), (19), (20) e (21). Ateno negao de uma implicao! Um erro frequente entre os estudantes dizer que a negao de p q ( q) ( p); falso, como se depreende de (19). Outro erro frequente dizer que a negao de p q q p; igualmente falso! A negao de p q, dada por (19), p ( q). A proposio q p chamada proposio recproca de p q; a propriedade (20) mostra-nos que, se tanto p q como a sua recproca forem verdadeiras, ento p e q so equivalentes. A proposio ( q) ( p) chamada contra-recproca de p q; por essa razo a propriedade (21) conhecida como regra do contra-recproco, 18

vulgarmente utilizada em certo tipo de demonstraes onde, em vez de demonstrarmos que p q, provamos que ( q) ( p). Para exemplicar demonstraremos que, xado um nmero natural n, se o quadrado de n for par, ento n tambm par. A proposio a demonstrar escreve-se, simbolicamente, n2 par n par. Designando por p a proposio n2 par e por q a proposio n par, queremos mostrar que p q (23) Mas, atendendo a (21), esta ltima proposio equivalente a q p Vamos ento demonstrar que n no par n2 no par. Suponhamos ento que o nmero natural n no par; ento n mpar e, por denio de nmero mpar, existe um natural k tal que n = 2k + 1. Consequentemente tem-se n2 = (2k + 1)2 = 4k2 + 4k + 1 = 2(2k2 + 2k) + 1 = 2m + 1, onde designmos por m o nmero natural 2k2 + 2k. A igualdade anterior mostra-nos que o nmero natural n2 mpar (porque se escreve na forma 2m + 1) e portanto no par. Demonstrmos assim que a proposio (24) verdadeira e, como (23) equivalente a (24), demonstrmos a proposio (23). Um outro tipo de demonstrao tambm muitas vezes utilizado o chamado mtodo de demonstrao por reduo ao absurdo. Neste caso, para demonstrarmos que p q, comeamos por supor que a hiptese verdadeira e que a tese falsa, ou seja, que a proposio p ( q) verdadeira. custa desta proposio deduzimos uma outra proposio r que sabemos ser falsa na teoria em que estamos. Conclumos ento que a proposio r simultaneamente verdadeira e falsa, o que absurdo. Logo 19 (24)

p ( q) falsa e (porque p verdadeiro, por ser a hiptese do teorema) vem que q falsa, ou seja, q verdadeira. Exemplicaremos este processo de demonstrao tornando a provar (agora por reduo ao absurdo) que, xado um nmero natural n, se tem n2 par n par. Suponhamos portanto que verdadeira a proposio n2 par n no par. Ento existem dois nmeros naturais k e m tais que n2 = 2k n = 2m + 1. Tem-se assim n2 = (2m + 1)2 = 4m2 + 4m + 1, pelo que 4m2 + 4m + 1 = 2k. Mas, na igualdade anterior, o primeiro membro um nmero mpar e o segundo membro um nmero par; por outro lado sabemos que no existe qualquer nmero natural simultaneamente par e mpar. Conclumos portanto que a proposio (25) falsa, logo n par. Terminamos esta seco introduzindo uma notao. Sendo p e q duas proposies quaisquer, escreveremos p q (leia-se p no implica q) para negar que p implica q. Assim, p q , por denio, equivalente a (p q). Por vezes, em vez de p q, escrevemos q p. Tem-se ento (p q) (q p) ( (p q)) (p ( q)). (25)

Expresses com variveis

Na linguagem matemtica muito cmodo utilizar variveis; alis, historicamente, a introduo de variveis na simbologia matemtica originou um desenvolvimento sem precedentes desta cincia. As variveis so smbolos (geralmente letras) que podem ser substitudos por qualquer designao de um determinado conjunto1 de designaes, chamado domnio da varivel. Por exemplo x + 3y x2 capital de Portugal z, w n2 + 3n 27
1

(26) (27) (28) (29)

Utilizamos a palavra conjunto de forma heurstica. Para mais detalhes, ver o captulo Conjuntos.

20

so expresses com variveis. Em (26) aparecem as variveis x e y; em (27) aparece a varivel ; em (28), as variveis z e w; nalmente, em (29), aparece apenas a varivel n. Claro que deveramos indicar precisamente qual o domnio das variveis em questo. Para xar ideias digamos, por exemplo, que o domnio das variveis de (26) o conjunto R dos nmeros reais, o domnio das variveis de (27) e (28) o conjunto das cidades europeias e o domnio da varivel de (29) o conjunto N dos nmeros naturais. Isto signica que podemos substituir, em cada uma das expresses anteriores, cada uma das variveis intervenientes por um qualquer valor do seu domnio. Por exemplo, substituindo x por 2,3 e y por 0,1 em (26), obtemos 2,3 + 3 0,1 2,32 . Substituindo, em (28), z por Paris e w por Praga, obtemos Paris, Praga. Pensemos agora nas expresses (26) e (29). J substitumos, em (26), cada uma das variveis x e y respectivamente pelos valores 2,3 e 0,1, tendo obtido 2,3 + 3 0,1 2,32 . Ao fazermos esta substituio das variveis obtivemos uma designao, nomeadamente 2,3 + 3 0,1 2,32 . Substituamos agora a varivel n, em (29), por exemplo por 7: 72 + 3 7 27. O que obtivemos, neste caso, foi uma proposio. Somos ento levados a classicar as expresses com variveis em dois tipos: as expresses designatrias e as expresses proposicionais (tambm chamadas condies). As expresses designatrias transformam-se em designaes quando da substituio das variveis. As expresses proposicionais transformam-se, por substituio das variveis, em proposies. A expresso (26) portanto uma expresso designatria, enquanto (29) uma expresso proposicional. A expresso (27) uma condio (ou expresso proposicional) porque, ao substituirmos a varivel por uma valor do seu domnio, obtemos uma proposio. Por exemplo, substituindo por Lisboa, obtemos a proposio verdadeira Lisboa capital de Portugal, ao substituirmos por Bruxelas, obtemos a proposio falsa Bruxelas capital de Portugal. 21

Claro que (28) uma expresso designatria porque, ao substituirmos cada uma das variveis por um elemento do seu domnio, obtemos designaes. Consideremos as seguintes duas expresses designatrias (x y)2 e x2 y2 , onde o domnio das variveis x e y R. Consideremos tambm a expresso com variveis (x y)2 = x2 y2 . Esta ltima expresso, que obviamente uma expresso proposicional, obteve-se por ligao das duas anteriores atravs de um sinal de igual. Isto mostra-nos que um processo para construir expresses proposicionais escrever o sinal = entre duas expresses designatrias. Claro que tambm podemos escrever (x y)2 x2 y2 , obtendo uma outra expresso proposicional. Em resumo, a insero, quer do sinal de igualdade =, quer do sinal de desigualdade , entre duas expresses designatrias, origina uma expresso proposicional. Suponhamos agora que partimos de duas expresses proposicionais, digamos por exemplo (x y)2 = 0 e x2 y2 = 0. Ser que temos o direito de inserir o sinal de equivalncia entre estas duas expresses proposicionais? fcil ver que sim. De facto (x y)2 = 0 x2 y2 = 0 uma nova expresso proposicional, obtida pela insero do sinal de equivalncia entre as expresses proposicionais (xy)2 = 0 e x2 y2 = 0. Claro que, em vez do sinal de equivalncia, podemos usar os sinais de conjuno, disjuno, implicao; obtemos sempre novas expresses proposicionais: (x y)2 = 0 x2 y2 = 0, (x y)2 = 0 x2 y2 = 0, (x y)2 = 0 x2 y2 = 0. Tambm, partindo de uma expresso proposicional qualquer, podemos faz-la anteceder do sinal de negao, obtendo uma nova expresso proposicional. Por exemplo, a partir de (x y)2 = 0, podemos construir (x y)2 = 0. Em resumo, as expresses com variveis podem ser designatrias ou proposicionais. Uma expresso designatria transforma-se numa designao quando da substituio das variveis. Uma expresso proposicional 22

transforma-se, por substituio das variveis, numa proposio; de notar que o valor lgico dessa proposio depende evidentemente do valor das variveis. Duas expresses designatrias podem ser unidas pelos sinais de igualdade = ou desigualdade , originando uma expresso proposicional. Duas expresses proposicionais podem ser ligadas pelos sinais de equivalncia , conjuno , disjuno , implicao , dando origem a uma nova expresso proposicional. O sinal de negao pode ser usado antes de uma expresso proposicional, originando uma nova expresso proposicional.

Quanticadores

Consideremos a expresso proposicional x > 0, sendo R o domnio da varivel x. Substituindo x por 7, obtemos a proposio verdadeira 7 > 0; substituindo x por 1, obtemos a proposio falsa 1 > 0. A partir da expresso proposicional x > 0 podemos construir a seguinte proposio: Existe uma designao no domnio da varivel x tal que x > 0. Trata-se at de uma proposio verdadeira, porque existe pelo menos um elemento do domnio da varivel x que, quando substitudo na expresso proposicional x > 0, a transforma numa proposio verdadeira. A proposio Existe uma designao no domnio da varivel x tal que x > 0 escreve-se, em notao matemtica, x x > 0 ou, querendo indicar explicitamente o domnio da varivel x, x R x > 0.

Diremos que o quanticador existencial; como vimos, ao ser colocado antes de uma expresso proposicional na varivel a que diz respeito, transforma-a numa proposio (que pode ser verdadeira ou falsa). No caso geral, seja p(x) uma expresso proposicional qualquer na varivel x. A proposio x p(x) verdadeira sse existir, no domnio da varivel x, pelo menos uma designao tal que a proposio p() (obtida por substituio, na expresso proposicional p(x), da varivel x por aquela designao ) verdadeira. Por exemplo, so verdadeiras as proposies x R x < 0, x N x 100,

23

so falsa as proposies x N x < 0, x R x2 < 1.

O outro quanticador, designado por (leia-se para todo), o quanticador universal que, colocado antes de uma expresso proposicional p(x) na varivel x a que diz respeito, tambm a transforma numa proposio: x p(x).

Claro que, querendo especicar o domnio D da varivel x, escreveremos x D p(x).

Esta proposio verdadeira sse, qualquer que seja a designao pertencente ao domnio D da varivel x, a condio p(x) se transforma numa proposio verdadeira quando a varivel substituda por essa designao. Por exemplo, so verdadeiras as proposies x R so falsa as proposies x N x < 100, x R x2 > 0. x2 0, x N x 0,

Em resumo, dada uma expresso proposicional p(x) na varivel x de domnio D, h dois processos cannicos de construir uma proposio a partir dela: a utilizao do quanticador existencial x D p(x)

e a utilizao do quanticador universal x D p(x).

A proposio x D p(x) verdadeira sse existir uma designao no domnio D da varivel x tal que, quando substituda na expresso proposicional p(x), d origem a uma proposio verdadeira. A proposio x D p(x) verdadeira sse, qualquer que seja a designao no domnio D da varivel x, quando substituda na expresso proposicional p(x), d origem a uma proposio verdadeira. Repare-se que p(x) uma expresso proposicional na varivel x, enquanto as expresses x p(x) e 24 x p(x)

so proposies. Por esta razo, nestas duas ltimas expresses, dizemos que x uma varivel muda ou aparente. Nas expresses anteriores o smbolo x da varivel muda pode ser substitudo por qualquer outro smbolo que designe uma varivel com o mesmo domnio. Por outras palavras, e desde que x e y tenham o mesmo domnio, tem-se x p(x) x p(x) y p(y), y p(y).

Consideremos agora uma expresso proposicional em duas variveis x e y, digamos p(x, y). Ser que, sendo D o domnio da varivel x, uma expresso do tipo x D p(x, y) tem sentido? fcil ver que sim. Na verdade trata-se de uma nova expresso proposicional, agora apenas na varivel y. Um exemplo concreto: x R x + y = 0.

Repare-se que x + y = 0 uma expresso proposicional nas variveis x e y. Ao colocarmos o quanticador existencial relativo a x (com o universal seria anlogo) tornmos a varivel x muda, obtendo uma expresso proposicional apenas na varivel y. De facto, se substituirmos y por um qualquer valor real, por exemplo por sete, obtemos x R x + 7 = 0,

que uma proposio (neste caso verdadeira). Voltemos a pensar na expresso proposicional x+ y = 0, onde o domnio das variveis x e y R. J sabemos que, ao escrevermos x R x+y=0

obtemos uma expresso proposicional, agora s na varivel y. Claro que esta expresso proposicional pode ser antecedida de um quanticador na varivel y, dando origem a uma proposio, por exemplo y R (x R x + y = 0).

Trata-se, neste caso, de uma proposio verdadeira; vulgar omitir os parnteses quando do uso de mais de um quanticador, escrevendo y R x R 25 x + y = 0.

 imediato ver que a proposio anterior equivalente a x R y R x + y = 0,

pelo que usual escrever abreviadamente (com o sentido das duas proposies anteriores) x, y R x + y = 0. Consideremos agora, ainda a ttulo de exemplo, a proposio y R (x R escrita, de forma abreviada, y R x R x + y = 0. x + y = 0),

Trata-se de uma proposio verdadeira porque, xado um y qualquer em R, existe um nmero real x que somado com y d zero: basta tomar x = y. Mas j a proposio x R y R x+y=0

falsa. De facto no existe um nmero real x que somado com qualquer outro nmero real y d sempre 0. Vemos assim que no lcito trocar dois quanticadores de natureza diferente. No caso geral, seja p(x, y) uma expresso proposicional nas variveis x e y. Partindo dela podemos obter proposies, fazendo-a anteceder de dois quanticadores (um em cada uma das variveis). imediato ver que, se esses dois quanticadores forem da mesma espcie (ambos existenciais ou ambos universais), a sua ordem irrelevante. Se forem de espcies diferentes (um existencial e outro universal), ento no lcito trocar a ordem. Para compreendermos melhor o que se passa ao trocar um quanticador existencial com um universal, seja p(x, y) uma expresso proposicional qualquer nas variveis x e y, de domnios respectivamente D1 e D2 , e consideremos as duas proposies seguintes x D1 y D2 y D2 x D1 p(x, y) p(x, y) (30) (31)

Na proposio (30) arma-se que, para cada x em D1 existe um y em D2 tal que p(x, y); naturalmente que esse y depende do x considerado. Na proposio (31) arma-se que existe um y em D2 (independente de x) tal 26

que, para todo o x em D1 , se tem p(x, y). Isto mostra que (31) implica (30), ou seja, a proposio y D2 x D1 p(x, y) x D1 y D2 p(x, y) (32)

verdadeira. Ateno! No h equivalncia entre (30) e (31); o que se passa que (31) implica (30), pelo que (32) verdadeira. Por outras palavras, y x mais forte do que x y. Consideremos, por exemplo, a proposio y R x R xy(y 1) = 0 ;

trata-se de uma proposio verdadeira, pois basta tomar y = 0 (alternativamente poderamos ter tomado y = 1). Ento a proposio x R y R xy(y 1) = 0

seguramente verdadeira. J a proposio y R x [0, +[ obviamente falsa, enquanto a proposio x [0, +[ y R y2 = x y2 = x

verdadeira porque basta tomarmos para y uma raiz quadrada de x o que possvel pois, como sabemos, todo o nmero real 0 tem pelo menos uma raiz quadrada. O que dissemos para duas variveis, estende-se a um qualquer nmero delas. Numa expresso proposicional num certo nmero de variveis, por cada varivel quanticada obtemos uma expresso proposicional nas variveis restantes; se todas as variveis estiverem quanticadas, obtemos uma proposio. Quanticadores consecutivos da mesma espcie podem ser trocados; de espcie diferente no. Vamos agora estudar a negao de proposies com quanticadores. Consideremos a proposio Existe um portugus loiro; negar esta frase dizer que no existem portugueses loiros, ou seja, que, qualquer que seja o portugus, ele no loiro. No caso geral, e sendo p(x) uma expresso proposicional na varivel x de domnio D, negar a proposio x D p(x) escrever x D p(x). Vemos assim que a proposio (x D p(x)) x D p(x) (33)

verdadeira. Dito de forma imprecisa mas sugestiva, a negao de um quanticador existencial um quanticador universal seguido de negao. 27

Consideremos agora a proposio Todo o poltico corrupto. Negar esta proposio dizer que existe pelo menos um poltico que no corrupto. Sendo p(x) uma expresso proposicional na varivel x de domnio D, negar a proposio x D p(x) escrever x D p(x). Conclumos assim que a proposio (x D p(x)) x D p(x) (34)

verdadeira. Dito de forma imprecisa mas sugestiva, a negao de um quanticador universal um quanticador existencial seguido de negao. As regras de negao dos quanticadores, expressas por (33) e (34), so usualmente conhecidas pelo nome de segundas leis de De Morgan. Ateno! Na linguagem corrente (infelizmente) muito usual cometer erros na negao dos quanticadores; basta pedir a pessoas menos atentas a negao da frase todos os homens so burros para ouvir geralmente a resposta nenhum homem burro. Ora a negao de todos os homens so burros no nenhum homem burro mas sim existe um homem que no burro! A negao de uma proposio (ou de uma expresso proposicional) com mais do que um quanticador obtida aplicando sucessivamente as segundas leis de De Morgan, como nos dois exemplos que apresentamos a seguir. Exemplo 1. (x R y R Exemplo 2. > 0 p N n N np n 1 n+1 np x + y = 2) x R y R x+y 2.

> 0 p N n N

n 1 > . n+1

Exemplos

Nesta seco daremos dois exemplos de denies importantes usadas em Matemtica, nas quais intervm quanticadores. A primeira ser a noo de sucesso convergente, j estudada no ensino secundrio. A segunda a noo de funo contnua num ponto, tambm abordada no ensino secundrio. Claro que, nesta seco, no iremos desenvolver a explicao dos conceitos tratados, mas apenas as questes lgicas que se podem levantar nas denies intervenientes. Para um estudo das noes aqui tratadas remetemos para os captulos Sucesses e Continuidade. 28

9.1

Convergncia de uma sucesso.

Seja (un )nN uma sucesso de nmeros reais e seja a um nmero real qualquer. Relembramos que se diz que a sucesso (un )nN tende (ou converge) para a, e escreve-se un a, sse: > 0 p N n N n p |un a| (35)

Vemos assim que a denio de sucesso convergente uma das mais importantes denies em Anlise Matemtica faz intervir trs quanticadores. Dizer que uma sucesso (un )nN no converge para o nmero real a negar a proposio (35), ou seja, dizer que > 0 p N np N np p unp a > (36)

Na proposio (36) designmos a varivel muda do segundo quanticador existencial por np , e no por n, para frisarmos bem que np depende de p 2 . Consideremos agora a proposio > 0 p N n N n p |un a| < (37)

e comparmo-la com (35). evidente que a proposio (37) implica a proposio (35) porque, se |un a| < , ento tambm |un a| . Ser que (35) implica (37)? Por outras palavras, ser que (35) e (37) so proposies equivalentes? Vamos ver que sim. Demonstremos ento que (35) (37).

A nossa tese (37); devemos mostrar que, para todo o > 0, se tem p N n N n p |un a| < .

Fixemos ento um > 0; a nossa hiptese a proposio (35) garantenos que, qualquer que seja o nmero real > 0 3 , se tem p N n N n p |un a| . Em particular, escolhendo = , o que possvel porque > 0, vem 2 2 p N n N n p |un a| . 2
Como sabemos uma varivel quanticada com um quanticador existencial depende das variveis quanticadas com quanticadores universais que a precedem. 3 Para no utilizarmos com dois sentidos distintos, substitumos a varivel muda em (35) pela varivel muda o que, como sabemos, lcito.
2

29

 Mas, sendo |un a| , ser tambm |un a| , pelo que (35) ca 2 demonstrada. Na mesma ordem de ideias, consideremos a proposio > 0 p N n N n > p |un a| (38)

e comparmo-la com (35); ser que (35) e (38) so equivalentes? fcil ver que sim. Por um lado, atendendo a que, se n > p, ento tambm n p, tem-se (35) (38). Resta-nos mostrar a recproca, isto , (38) (35).

Para provarmos (35), comecemos por xar > 0; por (38) sabemos que existe um nmero natural designemo-lo por q tal que n N n > q |un a| .

Ponhamos p = q + 1; a proposio anterior escreve-se (porque n > q equivalente a n q + 1 = p) n N n p |un a| ,

o que prova (35). Acabmos de mostrar que as proposies (35), (37) e (38) so equivalentes. Do ponto de vista prtico isto signica que, na denio de sucesso convergente para a, irrelevante as desigualdades n > p e |un a| < serem estritas ou no. Consideremos ainda outra proposio de aparncia semelhante a (35): 0 p N n N n p |un a| (39)

Tendo em conta que, se for > 0 ento tambm 0, imediato ver que (39) (35).

Ser que (35) e (39) so equivalentes? Vamos ver que no! Repare-se que, se (39) for verdadeira, podemos escolher = 0 em (39), obtendo p N n N n p |un a| 0.

Mas |un a| 0 equivalente a |un a| = 0, ou ainda a un = a. Conclumos assim que, se (39) for verdadeira, ento p N n N n p un = a, 30

o que signica que a sucesso (un )nN constante e igual a a a partir da ordem p. Ora h sucesses que no vericam esta propriedade e, apesar disso, vericam (35). Um exemplo a sucesso assim denida: un = 1 . n+1

Esta sucesso no verica (39) com a = 0, por no se tratar de uma sucesso constante e igual a zero a partir de uma determinada ordem. Mas verica (35) com a = 0: > 0 p N n N De facto tem-se 1 1 1 0 n 1, n+1 n+1 1 ento, tomando um nmero natural p tal que p > 1, o que possvel porque o conjunto N dos nmeros naturais no majorado, tem-se n N np 1 . n+1 np 1 0 . n+1

Portanto a sucesso de termo geral 9.2 Funes contnuas

1 verica (35) com a = 0. n+1

Seja D um subconjunto no vazio de R, seja f : D R e seja a D. Recordamos que a funo f se diz contnua no ponto a sse > 0 > 0 x D |x a| | f (x) f (a)| (40)

Tal como na seco 9.1 temos uma denio importantssima em Anlise Matemtica que faz intervir trs quanticadores. Tal como nessa seco, as desigualdades latas |x a| e | f (x) f (a)| podem ser substitudas por desigualdades estritas |x a| < e | f (x) f (a)| < . A funo f diz-se contnua em D sse for contnua em todos os pontos de D; signica isto que: a D > 0 > 0 x D |x a| f (x) f (a) 31 (41)

Claro que a proposio (41) implica a proposio (40), mas a recproca , no geral, falsa. O facto de uma funo ser contnua num ponto do seu domnio no implica que seja contnua em todos os pontos do domnio. Repare-se que, em (41), o depende de a e de . Para percebermos bem o que se passa, vamos considerar um exemplo. Exemplo 3. Seja f : R R denida por f (x) = x2 . Comecemos por mostrar que esta funo contnua no ponto a = 0. Tendo em conta que, para todo o > 0, se tem x2 |x| , vemos que basta fazer = em > 0 > 0 x R |x| |x2 |

para obtermos uma proposio verdadeira; isto prova a continuidade da funo x x2 no ponto zero. Seja agora a 0. Para provar a continuidade de x x2 no ponto a comecemos por xar > 0; pretendemos determinar um > 0 tal que x R |x a| x2 a2 .

Vamos exigir que verique 0 < < |a| (42)

A vantagem deste procedimento que |x a| implica que x e a tenham o mesmo sinal (porque a distncia de x a a inferior distncia de a a zero) e que |x + a| < 2|a|. A desigualdade x2 a2 pode escrever-se |x a| |x + a| . |x + a|

ou ainda, porque x diferente de a (visto x e a terem o mesmo sinal), |x a|

Esta desigualdade sugere-nos escolher > 0 tal que |x + a|

para todo o x vericando |x a| , ou seja, para todo o x tal que x ]a , a + [. Mas, tendo em conta (42), sabemos que |x a| implica 32

 |x + a| < 2|a|, ou ainda 2|a| < |x+a| , bastando agora impor que verique, para alm de (42), a condio seguinte:

0<

. 2|a| 2|a|

Conclumos assim que suciente tomar 0 < < min |a|, para podermos garantir que a proposio > 0 > 0 x R |x a| x2 a2 (43)

verdadeira. Reparemos que, xado , a desigualdade (43) mostra que diminui medida que |a| cresce. Para a xo, diminui com a diminuio de . Em resumo depende, no caso da funo considerada, de a e de . Uma funo f : D R diz-se uniformemente contnua em D sse for contnua em todos os pontos de D e o da proposio (40) no depender do ponto a de D. Quer isto dizer que f uniformemente contnua em D sse > 0 > 0 x D a D |x a| | f (x) f (a)| (44)

Claro que toda a funo uniformemente contnua em D contnua em D porque, como sabemos, y x mais forte do que x y veja-se a frmula (32). No entanto a continuidade de uma funo no garante a sua continuidade uniforme. Por exemplo a funo x x2 contnua em R mas no uniformemente contnua em R. No caso do domnio D de f ser um intervalo limitado e fechado [a, b], com a e b nmeros reais, a < b, possvel mostrar que f uniformemente contnua em D = [a, b] sse for contnua4 . Terminaremos com um exemplo de uma funo uniformemente contnua em R. Seja k um nmero real qualquer e seja : R R a funo denida por (x) = kx; mostremos que uniformemente contnua em R. Para isso, devemos provar que > 0 > 0 x R a R |x a| |kx ka| (45)

No caso k = 0 a proposio anterior trivialmente verdadeira porque o consequente da implicao, |kx ka| = 0 , verdadeiro.
Trata-se do teorema de Heine-Cantor, estudado usualmente nas cadeiras de Anlise Matemtica do primeiro ano dos cursos superiores.
4

33

No caso k

0 basta reparar que |kx ka| |x a| , |k|

pelo que, tomando =

, a proposio (45) verdadeira, isto , a funo |k| uniformemente contnua em R.

34