Cap tulo 1 Lgica Matemtica - Provas o a

Wladimir NEVES

Nosso interesse aqui estudar alguns elementos de lgica matemtica clssica. Sem e o a a aprofundar o assunto, apresentamos as denies e regras de utilizao dos principais co ca quanticadores, conectivos lgicos e tambm alguns dos princ o e pios de demonstraao em c matemtica. Desta forma, esperamos que o leitor sinta-se mais seguro e confortvel na a a leitura e compreenso de um texto matemtico, como por exemplo teoremas, denioes, a a c lemas, etc.

1.1
1.1.1

Lgica Matemtica Clssica o a a

Quanticadores

Por proposio denominaremos uma sentena que pode ser verdadeira ou falsa (como ca c esta estiver determinada). Por exemplo, a equaao c 1 + 1 = 2, uma proposio, que verdadeira. A desigualdade e ca e 7 < 5, 1

CAP ITULO 1. LOGICA MATEMATICA - PROVAS

WLADIMIR NEVES

tambm uma proposiao, de fato falsa. Agora, uma sentena do tipo e e c c o trilionsimo d e gito decimal de 1, e claramente uma proposiao, contudo classic-la como verdadeira ou falsa sem dvida e c a u tarefa rdua at para o mais rpido supercomputador. Em outras palavras, no e a e a a e necessrio que saibamos quando dada uma sentena se esta verdadeira ou no, contudo a c e a para ser uma proposiao, esta dever ser necessariamente verdadeira ou falsa. c a Algumas sentenas no so proposioes no sentido da lgica matemtica clssica; c a a c o a a Bolo de chocolate bom. e Um exemplo mais pertinente contudo a seguinte equao e ca x + 1 = 4, a qual como colocada no nem verdadeira nem falsa. Contudo, poder ser verdadeira ou a e a falsa de acordo com o valor atribu ` varivel x. Por exemplo, se substituirmos x por 3, do a a obtemos uma proposio verdadeira, por outro lado se substituirmos x por 10, obtemos ca uma proposiao falsa. Neste caso, dizemos que x uma varivel livre e, declaraoes c e a c como esta equao so denominadas sentenas abertas (funoes proposicionais, ou ca a c c estruturas frasais). As armaoes c 2x 7y + 20 = 0, x y, so tambm exemplos de funoes proposicionais. Contudo, a proposio a e c ca (x + 1)2 = x2 + 2x + 1, claramente envolve a varivel x, porm, no estamos livres para atribuir valores a ela e, a e a desta forma, dizemos que uma varivel ligada. Ento, utilizaremos a notaao e a a c P (x) (leia-se P de x)

para uma sentena aberta, somente quando x uma varivel livre. c e a

 1.1. LOGICA MATEMATICA CLASSICA Seja P (x) a sentena aberta c x2 1 = 0. Substituindo x por 3, obtemos uma proposio falsa P (3), i.e. ca 9 1 = 0.

Por outro lado, podemos tambm obter uma proposio de P (x) prexando uma das e ca seguintes frases: i) para cada (ou para todo) x; ii) existe um x tal que. No primeiro caso, obtemos uma declarao falsa ca para cada x, x2 1 = 0, no segundo caso, obtemos uma declarao verdadeira, haja vista por exemplo ca P (1) ser verdade. Estas frases pr-xadas so chamadas quanticadores. O s e a mbolo (x) utilizado e como uma abreviao para o quanticador universal (i), isto , ca e para cada x (ou para todo x). Assim, (x) (x + 1 > x) pode ser traduzido como para cada x, x + 1 > x. Similarmente, (y) representa o quanticador existencial (ii), isto , e existe um y tal que. Logo, (y) (y 2 + 1 = 0) a proposio e ca existe um y tal que y 2 + 1 = 0. Observe que, o signicado apropiado de uma declaraao quanticadora depender do c a contexto. Por exemplo, a sentena acima (x) (x + 1 > x) se ocorrer envolvendo nmeros c u reais, provavelmente dever ser interpretado que a desigualdade a x + 1 > x,

CAP ITULO 1. LOGICA MATEMATICA - PROVAS

WLADIMIR NEVES

vlida para todos os nmeros reais. Contudo, se x toma valores complexos, tal dee a u sigualdade no faria sentido. Similarmente, a armao a ca (y) (y 2 + 1 = 0), falsa se considerarmos somente nmeros reais, porm verdadeira se nmeros complexos e u e u so considerados para a varivel y. Por conseguinte, em qualquer ocasio em que quana a a ticadores sejam utilizados, existe presente algum conjunto fundamental X, mesmo que este no esteja mencionado explicitamente, o qual contm todos os valores poss a e veis para a varivel considerada. Se quisermos chamar a ateno para este conjunto fundamental a ca X, podemos utilizar as notaes co (x X), (x X). Isto , (x IR) (x2 + 1 = 0) falsamente diz que existe um nmero real x que satisfaz a e u equao x2 + 1 = 0. ca Agora, consideremos a funao proposicional c x > y, onde o conjunto fundamental X o conjunto dos nmeros reais. Primeiramente, podemos e u quanticar a varivel x para formar a seguinte sentena a c () (x)(x > y).

Esta declaraao tambm uma funao proposicional, possuindo somente uma varivel c e e c a livre, y. Por exemplo, se atribuirmos a y o valor 1020 , obtemos uma proposiao verdadeira, a qual diz que existe x, exemplo 1020 +1, que maior c e que y = 1020 . Tambm, podemos formar uma proposiao a partir de () quanticando e c y. Por exemplo (y)[(x)(x > y)], ou simplicando a notao de modo usual ca () (y)(x)(x > y).

 1.1. LOGICA MATEMATICA CLASSICA

O que signica que, para cada y existe um x tal que x > y, a qual uma sentena e c verdadeira. Por outro lado, a sentena c ( ) a qual notaao compacta para e c (x)[(y)(x > y)], declara algo muito diferente, isto , existe um nmero real x o qual o maior de todos, a e u e qual uma sentena falsa. Note que, a armao ( ) muito mais forte que (). Em e c ca e (), x pode variar com y, em ( ) xado de uma vez por todas. Mais geralmente, se e P (x, y) uma sentena aberta envolvendo duas variveis x e y, ento a declaraao e c a a c (x) (y) P (x, y) uma armao muito mais forte do que e ca (y) (x) P (x, y). A segunda declaraao, arma que para cada valor de y poss obter um correspondente c e vel valor de x que torne P (x, y) verdadeiro. Neste caso, diversos valores de x podem ser tomados conforme os valores de y. A primeira, contudo, arma que um valor xado de x pode ser obtido, digamos x0 , tal que P (x0 , y) uma declaraao verdadeira para todos e c os valores de y. O exemplo abaixo resume bem o que foi dito. Exemplo 1.1.1. Considere as seguintes armaes co (x I) (y I) (x y), (y I) (x I) (x y), onde I um subconjunto dos nmeros reais. A primeira declarao arma que I possui e u ca um maior elemento. Ento, se I o intervalo fechado [5, 10] a declarao verdadeira, a e ca e contudo se I = [5, 10) falsa. A segunda muito mais fraca que a primeira, de fato, e e qualquer que seja I IR e y I, existe um x I tal que x y, desde que sempre podemos tomar x = y. (x)(y)(x > y),

CAP ITULO 1. LOGICA MATEMATICA - PROVAS Vejamos mais dois exemplos.

WLADIMIR NEVES

Exemplo 1.1.2. Seja a armao ca (x IR) (y IR) (x + y = 0). Traduzindo, para cada nmero real x, existe um nmero real y tal que u u x + y = 0. Em outras palavras, y inverso aditivo de x no corpo dos nmeros reais. Por outro lado, e u (y IR) (x IR) (x + y = 0) falso, dado que no existe nenhum nmero real y que sirva como inverso aditivo para e a u todo o corpo dos reais. co Exemplo 1.1.3. Sejam as armaes (x IR) (y IR) (x2 y 2 = (x + y)(x y)), (y IR) (x IR) (x2 y 2 = (x + y)(x y)). De fato, estas duas declaraes armam a mesma coisa, isto co e x2 y 2 = (x + y)(x y) vlida para todo nmero real x, y. e a u O Exemplo 1.1.3, ilustra um princ pio geral de quanticao, ao invs do caso de ca e quanticadores de tipo misto, quanticadores semelhantes podem ser permutados. Ento, a (x) (y) P (x, y) e (y) (x) P (x, y), indicam a mesma coisa. Por este motivo, quanticadores de mesmo tipo so usualmente a colocados juntos. O s mbolo (x, y), por exemplo pode ser utilizado como abreviao para ca (x) (y) ou (y) (x),

 1.1. LOGICA MATEMATICA CLASSICA e lido como para todo x e y. Ento, a lei associativa da adio pode ser escrita como a ca (x, y, z) (x + (y + z) = (x + y) + z). Observaao similar pode ser considerada para quanticadores existenciais. c

1.1.2

Conectivos Lgicos o

Nesta seao, consideraremos algumas formas de combinarmos sentenas. c c Dado duas sentenas, estas podem ser unidas pela conjunao alternativa ou. Contudo, c c em linguagem coloquial ou pode ser utilizada com sentido exclusivo ou inclusivo, vejamos dois exemplos. Dependendo do tempo, trabalharei de tnis ou sandlia; e a Se o produto a b = 0, onde a e b so reais, ento a = 0 ou b = 0. a a No primeiro caso, ou utilizado com sentido exclusivo. Contudo no segundo, podemos e ter a = 0 e b = 0, b = 0 e a = 0 e tambm a = b = 0, isto ou foi utilizado no sentido e e inclusivo. Neste caso, frequentemente em linquagem coloquial utiliza-se e/ou.

Denio 1.1. A disjuno de duas sentenas P e Q a sentena ca ca c e c P ou Q, denotada P Q, a qual deve ser entendida como verdade quando pelo menos uma das duas sentenas for verdadeira, e falsa quando ambas forem falsas. Isto , estamos utic e lizando o conectivo ou no sentido inclusivo.

Duas sentenas podem ser tambm unidas pela conjuno correlativa e. Aqui, vamos c e ca utilizar A e B no sentido de ambos os dois, isto A e tambm B. E neste sentido que a e e conjuno coordenativa aditiva e ser utilizada. ca a

CAP ITULO 1. LOGICA MATEMATICA - PROVAS

WLADIMIR NEVES

Denio 1.2. A conjuno de duas sentenas P e Q a sentena ca ca c e c tanto P quanto Q, denotada P Q, a qual entendida como verdadeira se tanto P quanto Q forem vere dadeiras, e falsa se pelo menos uma das duas sentenas no for verdadeira. c a Por exemplo, sejam P e Q as seguintes declaraoes c 2 um nmero primo, e u 4 um nmero primo. e u Ento, P Q a armao composta a e ca 2 um nmero primo, e 4 um nmero primo. e u e u Logo, conforme denio anterior, P Q uma proposio falsa. ca e ca

Ainda, podemos negar uma sentena dada. c Denio 1.3. A negao de uma sentena P a sentena, no P , denotada por ca ca c e c a P, a qual entendida como verdade se P for falsa, e falsa se P for verdadeira. e Por exemplo, se P for a proposio ca 2 no um nmero primo, a e u ento P a proposio a e ca 2 um nmero primo. e u As denioes anteriores para os conectivos lgicos , e podem ser resumidas pela c o tabela verdade abaixo P V V F F Q V F V F P Q V V V F P Q V F F F P F F V V

 1.1. LOGICA MATEMATICA CLASSICA Agora, consideramos o conectivo lgico , que signica o se . . . ento. a Para entendermos o signicado de , consideremos a declaraao c Se eu ganhar na loteria hoje, ento comprarei um carro para meu lho. a

Claramente esta declaraao falsa se eu ganhar e no comprar um carro para meu c e a lho. Porm, e se eu no ganhar? Bem, neste caso no tenho compromisso de comprar e a a carro algum. Logo se no tiver sorte de ganhar na loteria no terei quebrado nenhuma a a promessa no comprando um carro. De fato, em argumentos matemticos estamos mais a a interessados quando a hiptese for verdadeira, e no muito interessados quando esta for o a falsa. Usualmente, consideramos que a sentena P Q falsa somente quando P for c e verdadeira e Q for falsa, nos demais casos P Q verdade. Consequentemente, se P e e falso, consideraremos que a sentena P Q verdadeira mesmo que Q seja verdadeiro c e ou falso. Contudo deve-se estar atento, pois podemos provar qualquer coisa partindo-se de uma premissa falsa! a co Denio 1.4. Se P e Q so declaraes, denotaremos por ca P Q, a armao condicional ca se P ento Q ou P implica Q. a Sendo a tabela verdade fornecida abaixo P V V F F Q V F V F P Q V F V V

10

CAP ITULO 1. LOGICA MATEMATICA - PROVAS

WLADIMIR NEVES

Denio 1.5. Se P e Q forem declaraes, denotaremos por ca co P Q, a armao bi-condicional ca P se, e somente se, Q ou P logicamente equivalente a Q. e Sendo a tabela verdade fornecida abaixo P V V F F Q V F V F P Q V F F V

Utilizando conectivos lgicos, podemos formar expresses mais sosticadas como o o [(P Q) R] (S P ). Expresses como a anterior, usualmente so denominadas formas declarativas, alguo a mas so de interesse especial. a Denio 1.6. Uma tautologia uma forma declarativa consistindo de letras relaca e cionadas por conectivos lgicos que verdade quaisquer que sejam as proposies subo e co stituidas pelas letras existentes. Por outro lado, uma forma declarativa que seja sempre falsa denominada uma contradio. e ca Um dos exemplos mais simples de uma tautologia uma expresso da forma e a P P, e analogamente uma das mais simples contradies da forma co e P P.

 1.1. LOGICA MATEMATICA CLASSICA

11

No primeiro caso, qualquer que seja a proposio substitu para P , o resultado ser ca da a verdadeiro, contudo para o segundo ser sempre falsa. Um segundo exemplo de uma a tautologia a forma declarativa e [(P Q) (Q R)] (P R), a qual deve ser lida como Se P implica Q e Q implica R, ento P implica R. a

Denio 1.7. Duas formas declarativas e so logicamente equivalentes se, e ca a somente se, a forma declarativa uma tautologia. e

Exemplo 1.1.4. A forma P Q equivalente a P Q. Um exemplo simples e e seguinte declarao ca Se este carro no funcionar, ento chamarei um txi. a a a Este carro funciona ou chamarei um txi. a A equivalncia lgica mostrada a seguir atravs da tabela verdade e o e e P V V F F Q V F V F P F F V V P Q V F V V P Q V F V V

12

CAP ITULO 1. LOGICA MATEMATICA - PROVAS

WLADIMIR NEVES

Exemplo 1.1.5. A forma (P Q) logicamente equivalente a P Q. Conforme e mostra a tabela verdade abaixo P V V F F Q V F V F Q F V F V (P Q) F V F F P Q F V F F

Exemplo 1.1.6. A forma P Q logicamente equivalente a Q P . Conforme e mostra a tabela verdade abaixo P V V F F P F F V V Q V F V F Q F V F V P Q V F V V Q P V F V V

A forma Q P chamada contraposio da forma declarativa P Q. O fato e ca destas duas formas declarativas serem equivalentes fornece a base de um tipo de prova matemtica indireta, a qual veremos mais adiante. a e Exemplo 1.1.7. A forma P Q logicamente equivalente a (P Q) (Q P ). Por conseguinte, uma armao da forma P Q nada mais do que duas implicaes, ca e co uma em que P Q e a rec proca, i.e., que Q P . Agora, vejamos a negaao de algumas declaraes quanticadoras. Onde, iniciamos c co observando a equivalncia nas seguintes declaraoes: e c (x)(x + 1 = 0), (x)(x + 1 = 0) ou (x)[((x + 1 = 0)].

 1.2. PROVAS MATEMATICAS

13

Em geral, (x), possui o mesmo signicado que (x). Em outras palavras, dizer que uma declaraao no sempre verdade equivalente a dizer que algumas vezes falsa. c a e e e Similarmente, (x) possui o mesmo signicado que (x), como podemos observar pelas seguintes declaraes equivalentes co (x IR)(x2 + 1 = 0), (x IR)(x2 + 1 = 0). Agora, apliquemos as obsevaes anteriores de modo a negar a seguinte declarao co ca (x) (y) (z) P (x, y, z). Temos que (x) (y) (z) P (x, y, z) (x) (y) (z) P (x, y, z) (x) (y) (z) P (x, y, z) (x) (y) (z) P (x, y, z). Note que, podemos obter a ultima expresso a partir da original trocando os s a mbolos por , vice-versa e colocando a negaao aps os quanticadores. Isto ilustra uma regra c o util e fcil para negar declaraes quanticadoras. a co Observao 1.1. De modo a negar uma declarao quanticadora iniciada por uma ca ca sequncia de quanticadores, permutamos os smbolos e e colocamos o s e mbolo de negao ao nal dos quanticadores. ca

1.2

Provas Matemticas a

Sejam P e Q duas declaraoes. Gostar c amos de mostrar que P Q, isto , a acertiva de que quando a hiptese P for verdadeira, ento a concluso (ou e o a a tese) Q seja verdade. Vejamos dois modos de realizarmos tal objetivo, primeiramente as chamadas provas diretas, e posteriormente as denominadas provas indiretas.

14

CAP ITULO 1. LOGICA MATEMATICA - PROVAS

WLADIMIR NEVES

1.2.1

Provas Diretas

A construo de uma prova direta de P Q envolve a construo de uma cadeia de ca ca declaraes R1 , R2 , . . ., Rn tais que co P R1 , R1 R2 , . . . , Rn Q. Teorema 1.1. Seja n um inteiro positivo mpar. Ento, n2 a e mpar. Proof. Por hiptese, temos que n o e mpar, i.e., P : Logo, devemos provar que Q: n2 um nmero inteiro e u mpar. n um nmero inteiro e u mpar.

Por deniao de inteiro positivo c mpar, temos que R1 : n = 2k + 1, para algum nmero inteiro k. u

Temos que P R1 , gostar amos de mostrar que n2 = 2m + 1 para algum inteiro m, mas R2 : n2 = (2k + 1)2 = 4k 2 + 4k + 1, R3 : n2 = 2(2k 2 + 2k) + 1. Logo, escolhendo m = 2k 2 + 2k, temos que m um inteiro positivo e conclu e mos R4 : n2 = 2m + 1. Consequentemente, P R1 R2 R3 R4 Q, o que prova o teorema. Observe que, a construo como apresentada bastante didtica, isto , grande parte ca e a e dos argumentos poderiam vir impl citos na demonstrao. ca

 1.2. PROVAS MATEMATICAS

15

1.2.2

Provas Indiretas

Existem basicamente dois tipos de provas indiretas: i) provas por contraposio; ca ii) provas por contradio. ca Em ambos os casos inicia-se assumindo que a concluso Q seja falsa, ou ainda que Q a e verdade. i) Prova por Contraposio ca Conforme visto a forma P Q logicamente equivalente a Q P . Logo, para e mostrar que P Q, provamos que Q P . u a e Teorema 1.2. Se n for um nmero inteiro positivo e n2 for par, ento n par. Proof. Temos que P : n2 inteiro par, e Q : n inteiro par. e Vamos mostrar que, Q P , i.e., se n for mpar ento n2 um inteiro a e mpar. Mas isto exatamente o que provamos no Teorema 1.1. e Provas por contraposio so particularmente importantes quando quanticadores ca a universais esto envolvidos. Logo, a prova se dar envolvendo quanticadores existenciais. a a Teorema 1.3. Seja a 0 um nmero real. Se para todo > 0 tivermos que a < , u ento a = 0. a Proof. A hiptese que para todo > 0 dado, temos a < . E a concluso que a deve o e a e ser zero. Logo, vamos supor que a > 0, i.e., a negao da concluso. Devemos provar ca a que ( > 0)(a < ), verdade, ou ainda que e ( > 0)(a ), verdadeira. O que imediato, como a > 0, basta tomar 0 = a/2. e e

16

CAP ITULO 1. LOGICA MATEMATICA - PROVAS

WLADIMIR NEVES

Teorema 1.4. Se m, n so nmeros naturais tais que m + n > 20, ento m 10 ou a u a n 10. Proof. Vamos supor que a concluso seja falsa, i.e. m < 10 e n < 10, ento a a m + n < 20. O que prova o teorema. ii) Prova por Contradio ca De modo a provar que P Q, mostramos que P Q leva a uma contradiao. De fato, c se C for uma contradiao provar que c P Q C, por (i) equivalente a mostrar que e C (P Q), mas conforme visto (P Q) logicamente equivalente a P Q. e Teorema 1.5. Seja a um nmero real. Se a > 0, ento 1/a > 0. u a Proof. Seja 1/a 0, e junto com a > 0, segue que a 1/a 0 1 0.

Provas por contradiao so bem conhecidas, talvez uma das mais famosas seja a que c a no existe racional cujo quadrado seja igual a dois. a