1 Lgica Elementar o

Neste cap tulo, apresentamos uma introdu~o lgica, que nos ser suciente como ca a o a ferramenta de trabalho nos cap tulos posteriores.

1.1

Proposi~es e seus conectivos co

O estudo da lgica o estudo dos princ o e pios e mtodos usados para distinguir argumentos e vlidos dos n~o vlidos. O propsito deste cap a a a o tulo preliminar em lgica ajudar o leitor o e a entender os princ pios e mtodos usados em cada passo de uma demonstra~o. e ca O ponto de partida em lgica o termo \proposi~o", que usado num sentido o e ca e tcnico. Por uma proposi~o queremos dizer uma declara~o que verdadeira ou falsa, e ca ca e mas n~o ambos. N~o necessrio que saibamos se a proposi~o verdadeira ou falsa; a a e a ca e a unica qualica~o exigida que ela deve ser denitivamente uma coisa ou outra. ca e Habitualmente, podemos determinar imediatamente se uma proposi~o verdadeira ou ca e falsa, mas em alguns casos um pouco de esforo preciso, e em outros casos pode c e ser imposs chegar a uma conclus~o. Os seguintes exemplos dever~o ilustrar o que vel a a queremos dizer. Exemplo 1.1 Cada uma das seguintes frases uma proposi~o. e ca (a) Londrina uma cidade no estado do Paran. e a (b) 2 + 1 5. e p (c) O d gito na 105a casa decimal, na expans~o decimal de 3, 7. a e (d) A lua feita de queijo mineiro. e (e) N~o h vida inteligente em Marte. a a (f) Est chovendo. a Claramente, (a) verdadeira, enquanto (b) e (d) s~o falsas. Podemos ter dvidas e a u quanto ao status (verdadeiro ou falso) de (c) e (e). A veracidade ou falsidade da sentena c (f) depende das condi~es meteorolgicas no instante em que essa declara~o feita. co o ca e

Logica Elementar

Exemplo 1.2 Nenhuma das frases seguintes uma proposi~o, porque n~o faz sentido e ca a questionar se alguma delas verdadeira ou falsa. e (a) Venha nossa festa! a (b) Tudo bem com voc^? e (c) Tiau, benzinho. As proposioes do Exemplo 1.1 s~o todas proposioes simples. Uma combina~o c~ a c~ ca de duas ou mais proposioes uma proposi~o composta.p Por exemplo, \2 + 1 5 c~ e ca e a e e ca e o d gito na 105a casa decimal na expans~o decimal de 3 7" uma proposi~o composta. Estamos familiarizados com o uso de letras para representar nmeros na lgebra. u a No estudo da lgica usamos letras, tais como p, q, r, : : : para representar proposi~es. o co Uma letra, tal como p, pode representar uma proposi~o simples ou composta. A menos ca que digamos em contrrio, usaremos letras maisculas P , Q, R, : : : para representar a u proposi~es compostas. Existem muitos modos de se ligar proposi~es tais como p, co co q, r, : : : para formar proposi~es compostas, mas apenas cinco modos s~o usados co a freqentemente. Estes cinco conectivos comuns s~o (a) \n~o", simbolizado por ; u a a (b) \e", simbolizado por ^; (c) \ou", simbolizado por _; (d) \se : : : ent~o : : : ", a simbolizado por !; e (e) \ : : : se e somente se : : : ", simbolizado por $. Nesta se~o discutiremos os conectivos e ^, adiando os demais conectivos, _, ca !, e $, at a prxima se~o. e o ca Seja p uma proposi~o. A proposi~o p, lida \n~o p" ou \a nega~o de p", ca ca a ca e verdadeira quando a proposi~o p falsa, e falsa quando p verdadeira. Por exemplo, ca e e e seja p a proposi~o \Este um curso fcil". Ent~o sua nega~o p representa \Este ca e a a ca n~o um curso fcil". a e a A verdade de p depende da verdade de p. E conveniente anotar essa depend^ncia e em uma tabela verdade: Tabela 1.1: p V F p F V

na qual as letras V e F signicam \verdadeiro" e \falso", respectivamente. Na primeira coluna da tabela 1.1, listamos os dois poss veis valores lgicos da proposi~o p, sendo eles o ca V e F . Cada linha em uma tabela verdade representa um caso que deve ser considerado, e claramente, nesta situa~o bastante simples, h apenas dois casos. Usando as linhas ca a da Tabela 1.1 vemos que se p verdadeira ent~o p falsa, e se p falsa, ent~o p e a e e a e verdadeira. Conseqentemente, a Tabela 1.1 nos diz o valor verdade 1 de p em cada u caso.
1

ou valor lgico (N. do T.) o

 Logica Elementar

Deni~o 1.1 O conectivo ^ pode ser colocado entre duas proposi~es p e q para ca co formar uma proposi~o composta p ^ q cujos valores verdade s~o dados na seguinte ca a tabela verdade. Tabela 1.2: p V V F F q V F V F p^q V F F F

O s mbolo p ^ q lido \p e q" ou \conjun~o de p e q". Por exemplo, seja p e ca a proposi~o \O cu azul" e seja q a proposi~o \As rosas s~o vermelhas". Ent~o a ca e e ca a a conjun~o p ^ q representa \O cu azul e as rosas s~o vermelhas". Numa proposi~o ca e e a ca composta, tal como p ^ q, as proposi~es individuais p e q s~o chamadas componentes. co a Uma componente pode ser uma proposi~o simples ou uma proposi~o composta. Numa ca ca proposi~o composta com duas componentes, tal como p ^ q, existem no mximo 4 (= ca a 2 2) possibilidades, chamadas possibilidades lgicas, a serem consideradas; sendo elas: o (1) (2) (3) (4) p verdadeira e q verdadeira; e e p verdadeira e q falsa; e e p falsa e q verdadeira; e e p falsa e q falsa. e e

Cada uma destas quatro possibilidades coberta nas quatro linhas da Tabela 1.2. e A ultima coluna d os valores verdade de p ^ q. Uma inspe~o mostra que p ^ q a ca e verdadeira em apenas um caso. Isto , p ^ q verdadeira quando ambas as componentes e e s~o verdadeiras, e nos outros tr^s casos p ^ q falsa. O leitor sensato perceber que a a e e a Tabela 1.2 reete o modo pelo qual a conjun~o \e" usada no portugu^s cotidiano. ca e e Usando as Tabelas 1.1 e 1.2, podemos encontrar valores verdade de proposi~es co complicadas envolvendo os conectivos e ^. Exemplo 1.3 Construa a tabela verdade para a proposi~o composta ca [( p) ^ ( q)] Solu~o. ca Se o mtodo usado na constru~o da Tabela 1.3 n~o bvio, uma palavra de e ca a e o explica~o pode ajudar. Os cabealhos s~o selecionados de modo que a proposi~o ca c a ca composta (ltima coluna) gradualmente constru a partir de suas vrias componentes. u e da a

4 Tabela 1.3: p q V V V F F V F F Passo p q F F F V V F V V 1 1

Logica Elementar

( p) ^ ( q) [( p) ^ ( q) F V F V F V V F 2 3

As duas primeiras colunas simplesmente registram todos os casos para os valores verdade de p e q. Usamos ent~o a Tabela 1.1 para obter as entradas nas terceira e quarta a colunas, os valores verdade correspondentes para p e q. No prximo passo usamos o as entradas das terceira e quarta colunas e a Tabela 1.2 para obter as entradas na quinta coluna. Finalmente, as entradas da quinta coluna e a Tabela 1.1 d~o as entradas na sexta a coluna | os valores verdade de [( p) ^ ( q)]. O estudante aplicado deveria agora copiar esta ltima proposi~o composta, fechar o livro, e tentar reproduzir a Tabela 1.3. u ca A proposi~o no exemplo acima, [( p) ^ ( q)], usa par^nteses e colchetes ca e para indicar a ordem segundo a qual os conectivos se aplicam. Freqentemente, uma u express~o pode ser simplicada se pudermos eliminar alguns dos par^nteses ou colchetes. a e A conven~o habitual concordar que tem prioridade sobre ^, isto , o conectivo ca e e deve ser aplicado primeiro. Assim, por exemplo, a express~o ( p) ^ ( q) simplicada a e na forma p ^ q.

1.1.1

Exerc cios

Nos problemas de 1 a 10, uma sentena em portugu^s dada. Determine se a sentena c e e c uma proposi~o (S) ou n~o (N). e ca a 1. Em 7 de junho de 1442 nevou em algum lugar no Rio Grande do Sul. 2. Aristteles tinha ps chatos. o e 3. O socialismo est errado. a 4. O homem mais rico do mundo o Sr. Malagutti, de S~o Carlos. e a 5. Joana e Pedro s~o pessoas boas. a 6. Quanto vale este carro? 7. Saia da grama. 8. Use sempre cinto de segurana. c 987654321 9. O nmero 2 u + 37 primo. e 10. Beethoven escreveu algumas das msicas de Chopin. u 11. Dentre as proposi~es dadas nos problemas de 1 a 10, indique aquelas que voc^ co e acha que devem ser verdadeiras (V) ou falsas (F), e aquelas cujo status pode ser dif cil determinar.

 Logica Elementar

Nos problemas 12 a 19 encontre as tabelas verdade das proposi~es dadas. Use o co formato da Tabela 1.1 ou da Tabela 1.2 para os dois ou quatro casos respectivamente. 12. 14. 16. 18. ( p) p^p p^ q (p ^ p) ^ p 13. 15. 17. 19. [ ( p)] (p ^ p) p^q (p ^ q)

20. Numa proposi~o composta, envolvendo tr^s componentes distintas p, q e r, quantos ca e casos s~o necessrios para cobrir todas as possibilidades lgicas? Quantos casos s~o a a o a necessrios se houver quatro componentes distintas? Quantos casos s~o necessrios se a a a houver n componentes distintas? 21. O seguinte uma tentativa de arranjar todos os casos em uma tabela verdade, para e uma proposi~o envolvendo tr^s componentes p, q, e r. Complete o trabalho inacabado. ca e p V V V V q V V r F V F V F F

V V F F

Nos problemas 22 a 25, encontre as tabelas verdade para as proposi~es dadas. co Use o padr~o desenvolvido no problema 21 para os vrios casos. a a 22. (p ^ q) ^ r 24. (p ^ q) ^ r 23. p ^ (q ^ r) 25. q ^ (r ^ p)

1.2

Tr^s conectivos mais e

Na l ngua portuguesa h uma ambigidade envolvida no uso do \ou". A proposi~o a u ca \Obterei grau de mestre ou grau de doutor" indica que quem o arma pode obter ambos, o grau de mestre e o de doutor. Mas em outra proposi~o, \Me casarei com ca L ou Lcia", a palavra \ou" signica que apenas uma das duas moas ser escolhida. via u c a Na matemtica e na lgica, n~o podemos permitir ambigidades. Portanto, devemos a o a u nos decidir sobre o signicado da palavra \ou".

Logica Elementar

Deni~o 1.2 O conectivo _ pode ser colocado entre duas proposioes quaisquer p e ca c~ q para formar a proposi~o composta p _ q. Os valores verdade de p _ q s~o denidos ca a na Tabela 1.4. Portanto _ denido como sendo o \ou" inclusivo, tal como usado na e primeira proposi~o acima. ca Tabela 1.4: p V V F F q V F V F p_q V V V F

O s mbolo p _ q lido \p ou q" ou a \disjun~o de p e q". Repare que a conjun~o e ca ca de p e q verdadeira apenas quando as duas componentes s~o ambas verdadeiras (Tabela e a 1.2), enquanto que a disjun~o falsa quando e apenas quando as duas componentes ca e s~o falsas (Tabela 1.4). a Comparemos as tabelas verdade de p _ q e ( p ^ q), nas Tabelas 1.3 e 1.4. Notamos que em cada caso a ultima coluna V V V F , de modo que estas duas e proposi~es tem os mesmos valores verdade em cada uma das quatro possibilidades co lgicas. Mostrar que certas proposioes tem os mesmos valores verdade em cada caso o c~ e uma parte importante da lgica. Na verdade, a lgica trata duas tais proposi~es como o o co sendo uma s. o Deni~o 1.3 Quando duas proposioes P e Q, simples ou compostas, tem os mesca c~ mos valores verdade em cada uma de todas as possibilidades lgicas, dizemos que P o e logicamente equivalente ou simplesmente equivalente a Q, e escrevemos P Q. Resumidamente, duas proposioes s~o logicamente equivalentes desde que tenham c~ a a mesma tabela verdade. Portanto, temos p _ q ( p ^ q) Embora duas proposi~es equivalentes sejam consideradas como a mesma, do ponto de co vista da lgica, preferimos a proposi~o mais simples \p ou q" em vez da proposi~o o ca ca equivalente mais complicada \N~o verdade que nem p e nem q". a e Deni~o 1.4 O conectivo ! chamado condicional e pode ser colocado entre duas ca e proposi~es p e q para formar a proposi~o composta p ! q (lida: \se p ent~o q"). co ca a Por deni~o, a proposi~o p ! q equivalente proposi~o (p ^ q), e os valores ca ca e a ca verdade de p ! q s~o dados na Tabela 1.5. a

 Logica Elementar Tabela 1.5: Caso p 1 V 2 V 3 F 4 F q V F V F q F V F V p^ q F V F F p ! q [ (p ^ q)] V F V V

A motiva~o da Deni~o 1.4 a seguinte. Sejam p a proposi~o \O sol est ca ca e ca a brilhando" e q a proposi~o \Eu estou jogando t^nis". Ent~o a proposi~o composta ca e a ca p ! q \Se o sol est brilhando ent~o eu estou jogando t^nis". Agora, quando que e a a e e uma tal proposi~o 'considerada falsa? Claramente p ! q falsa se o sol est brilhando ca e a mas eu n~o estou jogando t^nis, e apenas neste caso. Em outras palavras p ! q falsa a e e se p ^ q verdadeira, a apenas neste caso. Mas isto precisamente a Deni~o 1.4. e e ca Estudaremos agora a tabela verdade de p ! q, isto , de (p ^ q). e Conforme a Deni~o 1.4, o signicado da proposi~o condicional p ! q afasta-se ca ca radicalmente do nosso uso ordinrio de \Se p ent~o q". Na nossa linguagem ordinria,2 a a a uma senten~o da forma \Se p ent~o q" considerada como querendo dizer que q ca a e e verdadeira sempre que p verdadeira. Portanto os casos em que p falsa n~o precisam e e a ser considerados. Por exemplo, a proposi~o \Se Collor atirou em Figueiredo, ent~o Itamar foi o ca a primeiro presidente" considerada sem sentido, pois ambas as componentes s~o falsas. e a Conseqentemente, no uso ordinrio n~o se questiona se uma proposi~o componente u a a ca e verdadeira. Ao criar a linguagem formal, o lgico deseja designar um valor verdade a o p ! q para cada uma das quatro possibilidades lgicas, muito embora dois dos casos o paream ser sem sentido em nossa linguagem ordinria. Por vrias raz~es, que aparecer~o c a a o a no tempo devido, os lgicos decidiram-se pela deni~o adotada aqui. Portanto, em nossa o ca linguagem formal, p ! q verdadeira em todos os casos exceto no caso 2 (veja Tabela e 1.5). Como conseq^ncia desse acerto, seremos capazes de demonstrar alguns teoremas ue uteis bastante simples, cujas demonstra~es, sem tal acerto, seriam desajeitadas ou muito co dif ceis. Introduzimos agora o ultimo dos cinco conectivos mais comuns, um que aparece freqentemente nos enunciados (proposioes) de teoremas matemticos. u c~ a Deni~o 1.5 O conectivo $ chamado o bicondicional e pode ser colocado entre ca e duas proposi~es p e q para formar a proposi~o composta p $ q (lida: \p se e somente co ca se q"). A proposi~o p $ q equivalente proposi~o (p ! q) ^ (q ! p), e os valores ca e a ca verdade de p $ q s~o dados na Tabela 1.6. a
2

Em oposi~o \linguagem ordinria", lgica chamada uma linguagem formal. ca a a o e

8 Exemplo 1.4 Encontre a tabela verdade para p $ q.

Logica Elementar

Solu~o. Seguindo o mtodo descrito anteriormente, obtemos a Tabela 1.6. ca e Tabela 1.6: Caso 1 2 3 4 p V V F F Passo q V F V F p!q V F V V 1 q ! p p $ q [ (p ! q) ^ (q ! p)] V V F V F F V V 1 2

Da tabela verdade acima, observamos que p $ q verdadeira se ambas as come ponentes s~o verdadeiras ou ambas as componentes s~o falsas. Em qualquer outro caso a a (casos 2 e 3) a proposi~o p $ q falsa. ca e

1.2.1

Exerc cios

Nos problemas de 1 a 12, construa as tabelas verdade para as proposi~es dadas. co 1. p _ p 3. ( p _ q) 5. ( q) ! ( p) 7. p ^ (q _ r) 9. p _ (q ^ r) 11.(p _ q) _ r 2. (p _ p) 4. p _ q 6. q $ p 8. (p ^ q) _ (p ^ r) 10. (p _ q) ^ (p _ r) 12. p _ (q _ r)

13. E a proposi~o ( q) ! ( p) (Problema 5) logicamente equivalente proposi~o ca a ca p ! q? 14. E a proposi~o p _ q (Problema 4) logicamente equivalente proposi~o p ! q? ca a ca 15. Dentre as proposi~es nos Problemas 1 a 12, encontre os pares de proposi~es co co logicamente equivalentes. 16. Em cada um dos seguintes itens, traduza a proposi~o composta dada em uma ca forma simblica usando os s o mbolos sugeridos. (a) N~o ocorre que eu seja amigvel a voc^. (A) a a e (b) Se ela uma gata, ent~o ela tem quatro pernas. (G; P ) e a (c) O preo do arroz aumenta se e somente se o suprimento de arroz n~o atende c a a demanda. (P; S) (d) Ou os grandes laboratrios reduzem os preos ou o governo intervir. (L; G) o c a (e) Se a exporta~o de carne aumentar ou se a produ~o pecuria decair, ent~o o custo ca ca a a de vida subir. (E; P; C) a

 Logica Elementar

1.3

Tautologia, implica~o e equival^ncia ca e

Examinemos a tabela verdade para a proposi~o p _ p: ca Tabela 1.7: p V F p p_ p F V V V

Reparemos que a proposi~o p _ p verdadeira em todos os casos, isto , em ca e e todas as possibilidades lgicas. Tal tipo importante de proposi~o merece um nome o ca especial. Deni~o 1.6 Uma proposi~o dita ser uma tautologia quando verdadeira em cada ca ca e e uma de todas as possibilidades lgicas. o Sejam P e Q duas proposi~es, compostas ou simples. Se a proposi~o condicional co ca P ! Q uma tautologia, a proposi~o chamada uma implica~o e denotada por P ) e ca e ca e Q (l^-se: P implica Q). Assim as seguintes proposioes condicionais s~o tautologias: e c~ a (1) (2) (3) (4) p ! p. p ^ q ! q ^ p. p ! p ^ p. p ^ q ! q.3

Na lgica ou na matemtica, \teoremas" signicam proposi~es verdadeiras, e uma o a co \demonstra~o" (de um teorema) uma justica~o do teorema. ca e ca Teorema 1.1 Sejam p e q duas proposi~es quaisquer. Ent~o co a (a) Lei da Adi~o (Ad.): p ) p _ q. ca (b) Leis de Simplica~o (Simp.): p ^ q ) p, p ^ q ) q. ca (c) Silogismo Disjuntivo (S.D.): (p _ q) ^ p ) q. Demonstra~o. Deixamos as demonstraoes de (a) e (b) ao leitor, como exerc ca c~ cios. A seguinte uma tabela verdade simplicada para (p _ q) ^ p ! q: e Tomemos um instante para explicar a constru~o da tabela verdade simplicada: ca Os valores verdade na Tabela 1.8 s~o atribu a dos, coluna por coluna, na ordem indicada
Consideraremos _ e ^ como conectivos prioritrios em rela~o a ! e $, e escreveremos p ! p _ q a ca em lugar de p ! (p _ q), etc. Veja tambm o ultimo pargrafo da se~o 1.1 e a ca
3

10 Tabela 1.8: (p V V F F 1 _ V V V F 2 q) ^ V F F F V V F F 1 3 p ! q F V V F V F V V V V F V 2 4 1

Logica Elementar

Passo

pelos nmeros que aparecem na ultima linha da tabela. Em uma tabela verdade simu plicada, escrevemos os valores verdade diretamente, primeiro sob cada componente e ent~o sob os conectivos. Isto poupa espao e tempo. a c Agora, retornando demonstra~o do teorema, como o passo nal (passo 4) na a ca Tabela 1.8 consiste s de V 's, a proposi~o condicional (p _ q) ^ p ! q de fato o ca e uma implica~o. ca Se a proposi~o bicondicional P $ Q for uma tautologia, ela chamada uma ca e equival^ncia e denotada por P , Q (leia-se: P equivalente a Q). e e e Da deni~o 1.5 e da Tabela 1.6, P , Q se P e Q tem os mesmos valores verdade ca em cada uma de todas as possibilidades lgicas, e reciprocamente, P e Q tem os mesmos o valores verdade em cada uma de todas as possibilidades lgicas se P , Q. Portanto, o pela deni~o 1.3, P , Q e P Q tem o mesmo signicado, e portanto podemos ca trocar , por e vice-versa. Teorema 1.2 Sejam p e q duas proposi~es quaisquer. Ent~o co a (a) Lei da Dupla Nega~o (D.N.): ( p) p. ca (b) Leis Comutativas (Com.): p ^ q q ^ p, (c) Leis de Idempot^ncia (Idemp.): p ^ p p, e p _ q q _ p, p _ p p,

(d) Lei Contrapositiva (Contrap.): (p ! q) ( q ! p). Demonstra~o. Deixaremos as demonstra~es das partes (a), (b) e (c) para o leitor, ca co como exerc cios, e delinearemos a demonstra~o de (d). ca Temos a seguinte tabela verdade simplicada para a proposi~o bicondicional ca (p ! q) $ ( q ! p):

 Logica Elementar Tabela 1.9: (p ! q) $ ( q V V V V F V F F V V F V V V F V F V F V Passo 1 2 1 4 2 ! p) V V F F V V V V 3 2

11

Logo, a Tabela 1.9 mostra que p $ q equivalente a q ! p. e O seguinte teorema, creditado a Augustus De Morgan (1806{1871), uma das e ferramentas mais convenientes da lgica. o Teorema 1.3 (Leis de De Morgan (De M.)) Sejam p e q duas proposi~es quaisco quer. Ent~o a (p ^ q) p _ q; e (p _ q) p ^ q: Demonstra~o. Demonstraremos a primeira parte deste teorema e deixaremos a outra ca parte ao leitor, como exerc cio. Constru mos uma tabela verdade simplicada para a bicondicional (p ^ q) $ ( p _ q): Tabela 1.10: (p ^ F V V V V F V F F V F F Passo 3 1 2 q) $ V V F V V V F V 1 4 ( p F F V V 2 _ F V V V 3 q) F V F V 2

A tabela verdade acima mostra que (p ^ q) equivalente a p _ q. e Teorema 1.4 Sejam p, q e r proposi~es quaisquer. Ent~o co a (a) Leis Associativas (Assoc.): (b) Leis Distributivas (Dist.): (c) Lei Transitiva (Trans.): (p ^ q) ^ r p ^ (q ^ r) (p _ q) _ r p _ (q _ r) p ^ (q _ r) (p ^ q) _ (p ^ r) p _ (q ^ r) (p _ q) ^ (p _ r) (p ! q) ^ (q ! r) ) (p ! r).

12

Logica Elementar

Demonstra~o. Deixaremos as demonstra~es das Leis Associativas e da segunda Lei ca co Distributiva para o leitor, como exerc cios. Demonstremos que p ^ (q _ r) (p ^ q) _ (p ^ r). Como isto envolve tr^s e o componentes, existem 23 = 8 possibilidades lgicas a considerar. A seguinte tabela verdade mostra que p ^ (q _ r) e (p ^ q) _ (p ^ r) tem os mesmos valores verdade em cada uma das oito possibilidades lgicas. Portanto, p ^ (q _ r) e (p ^ q) _ (p ^ r) s~o o a equivalentes. Tabela 1.11: 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_r V V V F V V V F p^q V V F F F F F F p^r V F V F F F F F p ^ (q _ r) (p ^ q) _ (p ^ r) V V V V V V F F F F F F F F F F

Por simplicidade e por economia de espao, constru c mos uma tabela verdade simplicada, como apresentado na Tabela 1.8, para (p ! q) ^ (p ! r) ! (p ! r). Tabela 1.12: (p ! q) ^ V V V V V V V F V F F F V F F F F V V V F V V F F V F V F V F V Passo 1 2 1 3 (q V V F F V V F F 1 ! r) ! V V V F F V V V V V F V V V V F F V V V V V F V 2 1 4 (p ! r) V V V V F F V V V V F F F V V F V F F V V F V F 1 2 1

Como o ultimo passo (passo 4) consiste inteiramente de valores V , a Lei Transitiva est demonstrada. a Por causa das Leis Associativas, os par^nteses em (p ^ q) ^ r p ^ (q ^ r) e e

 Logica Elementar

13

(p _ q) _ r p _ (q _ r) tornam-se desnecessrios, e as express~es p ^ q ^ r e p _ q _ r a o tem agora signicados denidos, bem como p1 ^ p2 ^ ^ pn e p1 _ p2 _ _ pn . Teorema 1.5 Sejam p, q, r e s proposi~es quaisquer. Ent~o co a (a) Dilemas Construtivos (D.C.): (p ! q) ^ (r ! s) ) (p _ r ! q _ s); (p ! q) ^ (r ! s) ) (p ^ r ! q ^ s): (b) Dilemas Destrutivos (D.D.): (p ! q) ^ (r ! s) ) ( q _ s ! p _ r); (p ! q) ^ (r ! s) ) ( q ^ s ! p ^ r): Demonstra~o. A demonstra~o do Teorema 1.5 deixada ao leitor como exerc ca ca e cio. Teorema 1.6 Sejam p e q duas proposi~es. Ent~o co a (a) Modus Ponens (M.P.): (p ! q) ^ p ) q. (b) Modus Tolens (M.T.): (p ! q) ^ q ) p. (c) Reductio ad Absurdum (R.A.): (p ! q) , (p ^ q ! q ^ q). Demonstra~o. Exerc ca cio.

1.3.1

Exerc cios

1. Demonstre as partes (a) e (b) do Teorema 1.1. 2. Demonstre as partes (a), (b) e (c) do Teorema 1.2. 3. Demonstre que (p _ q) p ^ q. 4. Demonstre a parte (a) do Teorema 1.4. 5. Demonstre que p _ (q ^ r) (p _ q) ^ (p _ r). 6. Demonstre que (p ! q) ) (p ^ r ! q ^ r). 7. Demonstre que (p $ q) (p ^ q) _ ( p ^ q). 8. Usando as Leis de De Morgan, escreva em linguagem ordinria a nega~o da a ca proposi~o \Esta fun~o tem uma derivada ou eu sou burro." ca ca 9. Demonstre as seguintes Leis de De Morgan para tr^s componentes. e (a) (p ^ q ^ r) p _ q _ r (b) (p _ q _ r) p ^ q ^ r. 10. Pode voc^ generalizar, sem demonstra~o, as Leis de De Morgan para n compoe ca nentes? Veja o Problema 9 para n = 3. 11. Demonstre as seguintes Leis de Absor~o. ca (a) p ^ (p _ r) p (b) p _ (p ^ q) p 12. Demonstre o Teorema 1.5. 13. Demonstre o Teorema 1.6.

14

Logica Elementar

1.4

Contradi~o ca

Em contraste com as tautologias, h proposi~es cujos valores verdade s~o todos F , a co a para cada uma das possibilidades lgicas. Tais proposi~es s~o chamadas contradi~es. o co a co Por exemplo, p ^ p uma contradi~o. e ca E obvio que se t uma tautologia, ent~o t uma contradi~o; reciprocamente, e a e ca se c uma contradi~o, ent~o c uma tautologia. e ca a e Teorema 1.7 Sejam t, c e p, uma tautologia, uma contradi~o e uma proposi~o arbica ca trria, respectivamente. Ent~o a a (a) p ^ t , p, p _ t , t. (b) p _ c , p, p ^ c , c. (c) c ) p, e p ) t. Demonstra~o. ca (a) A seguinte tabela verdade para p ^ t $ p mostra que p ^ t equivalente a p. e Tabela 1.13: p V F Passo 1 ^ V F 2 t V V 1 $ p V V V F 3 1

A outra equival^ncia, p _ t , t, pode ser demonstrada analogamente. e (b) Da seguinte tabela verdade, conclu mos que a proposi~o condicional p_c $ p ca uma tautologia, e portanto p _ c , p. e Tabela 1.14: p V F Passo 1 _ V F 2 c F F 1 $ p V V V F 3 1

A demonstra~o de p ^ c , p similar. ca e

 Logica Elementar

15

(c) As tabelas verdade de c ! p e p ! t mostram que as duas proposi~es s~o co a tautologias, logo c ) p e p ) t. Tabela 1.15: c F F ! V V p V F p V F ! t V V V V

No restante deste livro, o s mbolo c, com ou sem ndice, denotar uma contradi~o; a ca e o s mbolo t, com ou sem ndice, denotar uma tautologia. a

1.4.1

Exerc cios

1. Demonstre que p _ t , t e p ^ c , c. 2. Demonstre que t , c e c , t. 3. Demonstre a seguinte Reductio ad Absurdum. (p ^ q ! c) , (p ! q) 4. Demonstre que p ^ (p ! q) ^ (p ! q) , c. 5. Demonstre que (p ! q) ) (p _ r ! q _ r), para qualquer proposi~o r. ca

1.5

Racioc nio dedutivo

As 17 leis sumarizadas nos Teoremas de 1.1 a 1.6 s~o ferramentas muito uteis para a justicar equival^ncias lgicas e implica~es, como ilustrado nos Exemplos de 1.5 a 1.7. e o co Chamaremos estas 17 leis de regras de infer^ncia. Chamamos a aten~o para o fato e ca de que estas regras foram selecionadas como refer^ncias convenientes e n~o precisam e a ser independentes entre si. Por exemplo, a Lei Contrapositiva pode ser estabelecida \dedutivamente" pelo uso de outras leis e de deni~es relevantes, como mostra o co prximo exemplo. o Exemplo 1.5 Demonstre a Lei Contrapositiva, (p ! q) ( q ! p), usando deni~es relevantes e outras regras de infer^ncia. co e Solu~o. ca (p ! q) (p ^ q) ( q ^ p) [ q ^ ( p)] ( q ! p) Def. 1.4 Com. D.N. Def. 1.4

16 Portanto, (p ! q) ( q ! p), pela Lei Transitiva.

Logica Elementar

O mtodo de demonstra~o usado no Exemplo 1.5 chamado racioc dedutivo 4 e ca e nio ou mtodo dedutivo, e difere do mtodo de demonstra~o por tabelas verdade. e e ca Em geral, no racioc dedutivo, quaisquer axiomas, denioes, teoremas e regras nio c~ de infer^ncia, previamente enunciados, podem ser usados. e Exemplo 1.6 Prove o Silogismo Disjuntivo por racioc dedutivo. nio Solu~o. ca (p _ q) ^ p p ^ (p _ q) ( p ^ p) _ ( p ^ q) c _ ( p ^ q) ( p ^ q) _ c p^q )q Finalmente, pela Lei Transitiva, (p _ q)^ p ) q. Exemplo 1.7 Demonstre a seguinte Lei de Exporta~o: ca (p ^ q ! r) [p ! (q ! r)] por racioc dedutivo. nio Solu~o. ca p ! (q ! r) [p ! (q ^ r) [p ^ (q ^ r)] [(p ^ q) ^ r] (p ^ q ! r) Deni~o 1.4 ca Def. 1.4, D.N. Assoc. Deni~o 1.4 ca Com. Dist. p^p c Com. Teorema 1.7(b) Simp.

Portanto, (p ^ q) ! r [p ! (q ! r)]. Exemplo 1.8 Demonstre que (p ! r) _ (q ! s) (p ^ q ! r _ s) por racioc cio dedutivo. Solu~o. ca (p ! r) _ (q ! s)
4

(p ^ r) _ (q ^ s) ( p _ r) _ ( q _ s) ( p _ q) _ (r _ s) [(p ^ q)^ (r _ s)] (p ^ q ! r _ s)

Deni~o 1.4 ca De M., D.N. Com., Assoc. De M., D.N. Deni~o 1.4 ca

ou argumenta~o dedutiva (N. do T.) ca

 Logica Elementar

17

O porqu^ de querermos usar racioc dedutivo, em oposi~o a tabelas verdade, e cio ca pode ser visto da seguinte compara~o: Para vericar a equival^ncia no Exemplo 1.8, ca e pelo mtodo das tabelas verdade, ter e amos que construir uma grande tabela verdade com cios 1.1.1 ou Problema 12 dos Exerc cios 16 (= 24 ) casos (veja Problema 20 dos Exerc 1.3.1); por outro lado, na solu~o do Exemplo 1.8, acima, estabelecemos tal equival^ncia ca e em apenas cinco passos.

1.5.1

Exerc cios

Demonstre as seguintes tautologias pelo mtodo dedutivo. e 1. Modus Ponens: p ^ (p ! q) ) q 2. Modus Tollens: q ^ (p ! q) ) p 3. Reductio ad Absurdum: (p ! q) , (p ^ q ! c) 4. Silogismo Disjuntivo: (p _ q) ^ p ) q 5. Teorema 1.7(c): c ) p 6. (p ! q) , (p ! p ^ q) 7. (p ! q) , (p _ q ! q) 8. (p ! q) , p _ q 9. (p ! r) ^ (q ! r) , (p _ q ! r) 10. (p ! q) ^ (p ! r) , (p ! q ^ r) 11. (p ! q) ^ (p ! q) , p 12. (p ! q) _ (p ! r) , (p ! q _ r) 13. (p ! r) _ (q ! r) , (p ^ q ! r)

1.6

Regras de quantica~o ca

Em qualquer discuss~o geral, temos em mente um universo particular ou dom do a nio discurso, isto , uma cole~o de objetos cujas propriedades est~o sob considera~o. Por e ca a ca exemplo, na arma~o \Todos os humanos s~o mortais", o universo a cole~o de todos ca a e ca os humanos. Com este entendimento do universo, a arma~o \Todos os humanos s~o ca a mortais" poder ser expressada alternativamente como: Para todo x no universo, x mortal. e A frase \Para todo x no universo" chamada um quanticador universal, e simbolizada e e por (8x). A sentena \x mortal" diz algo sobre x; simbolizaremos isto por p(x). Usando c e estes novos s mbolos, podemos agora escrever a arma~o geral \Todos os homens s~o ca a mortais" como (8x)(p(x)) Agora considere a arma~o \Alguns homens s~o mortais". Aqui o universo (ou ca a dom de discurso) ainda o mesmo da arma~o prvia. Com este universo em mente, nio e ca e podemos refazer a arma~o \Alguns homens s~o mortais" sucessivamente como: ca a

18

Logica Elementar Existe pelo menos um indiv duo que mortal. e Existe pelo menos um x tal que x mortal. e

e como Existe pelo menos um x tal que p(x). A frase \Existe ao menos um x tal que" chamada um quanticador existencial e e e simbolizada por (9x). Usando este novo s mbolo podemos agora reescrever a arma~o ca \Alguns homens s~o mortais" como a (9x)(p(x)) De um modo geral, suponhamos que temos um dom nio de discurso U e uma arma~o geral, p(x), chamada um predicado proposicional, cuja \varivel" x varia em ca a U . Ent~o (8x)(p(x)) arma que para todo x, em U, a proposi~o p(x), a respeito de a ca x, verdadeira, e (9x)(p(x)) signica que existe pelo menos um x, em U , tal que p(x) e verdadeira. e Em matemtica elementar, quanticadores s~o freqentemente suprimidos pelo a a u 2 a bem da simplicidade. Por exemplo, \(x+1)(x1) = x 1", em livros do ensino bsico, deve ser entendido como dizendo \para todo nmero real x, (x + 1)(x 1) = x2 1". u Na matemtica, \qualquer que seja" e \para todo" signicam a mesma coisa e s~o a a ambos simbolizados por 8; e \para algum" signica o mesmo que \existe" e simbolizae do por 9. Em express~es menos formais, freqentemente colocamos o quanticador o u aps a arma~o. Por exemplo, a arma~o \f (x) = 0 para todo x" a mesma que o ca ca e \(8x)(f (x) = 0)". Na lgica e na matemtica, a nega~o da proposi~o \p(x) verdadeira para todo o a ca ca e x (em U )", [(8x)(p(x))], considerada o mesmo que a asser~o \existe pelo menos e ca um x (em U ) para o qual p(x) falsa", (9x)( p(x)). Analogamente, [(9x)(p(x))] e considerada o mesmo que \n~o h nenhum5 x (em U ) tal que p(x) verdadeira"; ou, e a a e em outras palavras, \p(x) falsa para todo x (em U )", ou (8x)( p(x)). Sumarizamos e tudo isto no seguinte axioma:

Axioma 1.1 (Regra da Nega~o do Quanticador (N.Q.)) Seja p(x) um predicaca do proposicional, isto , uma proposi~o sobre um objeto n~o especicado de um dado e ca a universo. Ent~o a [(8x)(p(x))] (9x)( p(x)) e [(9x)(p(x))] (8x)( p(x))

Na l ngua portuguesa, \n~o h nenhum" tem o signicado de \existe nenhum" (N. do T.). a a

 Logica Elementar

19

Estamos usando \" para denotar que as duas proposi~es quanticadas, nos dois co lados de , s~o consideradas a mesma em lgica; este uso consistente com o uso de a o e para equival^ncias lgicas, como ser visto no prximo pargrafo. e o a o a Para entender melhor as proposi~es quanticadas (8x)(p(x)) e (9x)(p(x)), inco specionemos o caso em que o universo de discurso consiste de um nmero nito de u a indiv duos denotados por a1 ; a2 ; a3 ; : : : ; an . Ent~o, como (8x)(p(x)) arma que p(x) verdadeira para todos, a1 ; a2 ; a3 ; : : : ; an , a proposi~o (8x)(p(x)) verdadeira se e e ca e somente se a conjun~o de ca p(a1 ); p(a2 ); p(a3 ); : : : ; p(an ) verdadeira. Conseqentemente, e u (8x)(p(x)) corresponde a p(a1 ) ^ p(a2 ) ^ ^ p(an) Analogamente, (9x)(p(x)) signica p(a1 ) _ p(a2 ) _ _ p(an ) Portanto, a Regra da Nega~o do Quanticador pode ser vista com uma generaliza~o ca ca das Leis de De Morgan (Teorema 1.3). Exemplo 1.9 Quais das seguintes proposi~es equivalente nega~o da proposi~o co e a ca ca \Todas as cobras s~o venenosas"? a (a) Todas as cobras s~o n~o venenosas. a a (b) Algumas cobras s~o venenosas. a (c) Algumas cobras n~o s~o venenosas. a a Solu~o. O dom de discurso U a cole~o de todas as cobras. Seja p(x) o predicado ca nio e ca proposicional que arma que x venenosa (onde a varivel x varia sobre U ). A arma~o e a ca \Todas as cobras s~o venenosas" ent~o traduzida em (8x)(p(x)). Conforme a regra a e a de nega~o do quanticador, Axioma 1.1, [(8x)(p(x))] equivalente a (9x)( p(x)), ca e que representa \Algumas cobras n~o s~o venenosas". a a

1.6.1

Exerc cios

1. Traduza a proposi~o da lgebra elementar \A equa~o x2 3x+2 = 0 tem solu~es" ca a ca co em linguagem lgica, usando um quanticador. Qual o dom de discurso aqui? o e nio 2. Encontre a proposi~o equivalente nega~o de cada uma das seguintes proposioes, ca a ca c~ usando N.Q. (a) Todas as cobras s~o rpteis. a e (b) Alguns cavalos s~o mansos. a (c) Alguns matemticos n~o s~o sociveis. a a a a (d) Todas as estudantes s~o ou inteligentes ou atraentes. a (e) N~o h beb^ que n~o seja fofo. a a e a

20

Logica Elementar

3. Encontre o dom de discurso de cada uma das proposi~es do Problema 2. nio co 4. Deduza [(9x)(p(x))] (8x)( p(x)) a partir de [(8x)(q(x))] (9x)( q(x)): 5. Deduza [(8x)(p(x))] (9x)( p(x)) a partir de [(9x)(q(x))] (8x)( q(x)): 6. Demonstre que [(8x)( q(x))] (9x)(q(x)) e [(9x)( q(x))] (8x)(q(x)): [Sugest~o: Use N.Q.] a

1.7

Demonstra~o de validade ca

Uma das mais importantes tarefas de um lgico est em testar argumentos. Um aro a gumento a asser~o de que uma proposi~o, chamada a conclus~o, conseq^ncia e ca ca a e ue de outras proposi~es, chamadas hipteses ou premissas. Um argumento considerado co o e vlido se a conjun~o das hipteses implica a conclus~o. Como exemplo, o seguinte um a ca o a e argumento no qual as primeiras quatro proposi~es s~o hipteses, e a ltima proposi~o co a o u ca a conclus~o. e a Se ele estuda medicina, ent~o prepara-se para ganhar uma boa renda. a Se ele estuda artes, ent~o prepara-se para viver bem. a Se ele prepara-se para ganhar uma boa renda ou para viver bem, ent~o suas desa pesas de estudos n~o s~o desperdiadas. a a c Suas despesas de estudos s~o desperdiadas. a c Portanto, ele n~o estuda nem medicina e nem artes. a Este argumento pode ser simbolizado como: H1. H2. H3. H4. C. M !R A!B (R _ B) ! D D . :: M^A

Para estabelecer a validade deste argumento por meio de uma tabela verdade, precisar amos de uma tabela com 32 (= 25 ) linhas. Mas podemos demonstrar que este argumento vlido deduzindo a conclus~o a partir das hipteses em poucos passos e a a o usando as regras de infer^ncia. e Das hipteses H3 e H4, (R _ B) ! D e D, inferimos (R _ B), ou equivao lentemente, R ^ B, por Modus Tollens e Lei de De Morgan. De R ^ B, inferimos, de maneira vlida, R (e tambm B), pelas Leis de Simplica~o. De a e ca H1, M ! R; com R inferimos M .

 Logica Elementar

21

Analogamente, A ! B (de H2), e B, nos faz inferir A. Finalmente a conjun~o de M e A nos d a conclus~o M ^ A. Nesta demonstra~o, ca a a ca as regras de infer^ncia Modus Tollens (M.T.), Leis de De Morgan (D.M.), e Leis de e Simplica~o (Simp.) s~o usadas. ca a Um modo mais formal e conciso de expressar esta demonstra~o de validade, ca e listar as hipteses e as proposioes deduzidas a partir delas em uma coluna, com a o c~ justica~o de cada passo numa coluna ao lado. Em cada passo, a \justica~o" indica ca ca as armaoes precedentes das quais, e as regras de infer^ncia pelas quais, a arma~o c~ e ca dada naquele passo foi obtida. Para fcil infer^ncia, conveniente enumerar as hipteses a e e o e as arma~es deduzidas a partir delas e colocar a conclus~o direita da ultima premissa, co a a separada desta por uma barra = que indica que todas as proposi~es acima s~o hipteses. co a o A demonstra~o de validade formal para o argumento acima pode ent~o ser escrita como ca a 1. 2. 3. 4. 5. 6. 7. 8. 9. 10. 11. M !R A!B (R _ B) ! D . D=: : M ^ A (R _ B) R^ B R B M A M^A (Hip.) (Hip.) (Hip.) (Hip./ Concl.) 3, 4, M.T. 5, De M. 6, Simp. 6, Simp. 1, 7, M.T. 2, 8, M.T. 9, 10, Conj.

Uma demonstra~o formal de validade para um dado argumento uma seq^ncia ca e ue de proposi~es, cada uma das quais ou uma premissa do argumento ou segue de co e proposi~es precedentes por um argumento vlido conhecido, terminando com a conco a clus~o do argumento. a Exemplo 1.10 Construir uma demonstra~o formal de validade para o seguinte arguca mento, usando os s mbolos sugeridos: Wilson ser eleito presidente do Centro Acad^mico ou ambos, Hlio e Lcio ser~o a e e u a eleitos vice-presidentes do Centro Acad^mico. Se Wilson for eleito presidente ou Hlio e e for eleito vice, ent~o David encaminhar um protesto. Portanto, ou Wilson ser eleito a a a presidente do Centro Acad^mico ou David encaminhar um protesto. (W; H; L; D). e a Demonstra~o. ca 1. 2. 3. 4. 5. 6. 7. W _ (H ^ L) . W _ H ! D=: : W _ D (W _ H) ^ (W _ L) W _H D D_W W _D

1, Dist. (Hip./ Concl.) 2, 4, M.P. 5, Ad. 6, Com.

22

Logica Elementar

Existe um outro mtodo de demonstra~o chamado demonstra~o indireta, ou e ca ca mtodo de demonstra~o por redu~o ao absurdo. Uma demonstra~o indireta de valie ca ca ca dade, para um dado argumento, feita incluindo-se, como premissa adicional, a nega~o e ca de sua conclus~o, e ent~o derivando uma contradi~o; assim que uma contradi~o a a ca ca e obtida, a demonstra~o est completa. ca a Exemplo 1.11 D^ uma demonstra~o indireta de validade para o seguinte argumento: e ca p_q !r s !p^u . q _ s =: : r Demonstra~o. ca 1. 2. 3. 4. 5. 6. 7. 8. 9. 10. 11. 12. p_q !r s!p^u . q _ s =: : r r (p _ q) p^ q p q s p^u p p^ p

P.I. (Demonstra~o Indireta) ca 1, 4, M.T. 5, De M. 6, Simp. 6, Simp. 3, 8, S.D. 2, 9, M.P. 10, Simp. 7, 11, Conj.

A proposi~o p ^ p, no passo 12, uma contradi~o; portanto a demonstra~o ca e ca ca indireta de validade est completa. a Em contraste a uma \demonstra~o indireta", a demonstra~o formal de validade ca ca introduzida anteriormente pode ser chamada \demonstra~o direta". Numa demonsca tra~o matemtica, pode ser usada uma demonstra~o direta ou uma demonstra~o ca a ca ca indireta. A escolha do mtodo de demonstra~o, para um argumento matemtico dado, e ca a depende da prefer^ncia e da conveni^ncia. e e

1.7.1

Exerc cios

Para cada um dos seguintes argumentos, d^ uma demonstra~o direta e uma demonse ca tra~o indireta de validade, e compare seus tamanhos. ca

 Logica Elementar 1. A _ (B ^ C) B!D C!E D^E !A_C . A=: : C 2. B _ (C ! E) B!D D ! (E ! A) . D=: : C ! A 3. (A _ B) ! (A ! D ^ E) . A ^ D=: : E _ F 4. A _ B . B _ C =: : A _ C

23

5. B _ C ! B ^ A . B =: : C 6. A ^ B ! C (A ! C) ! D . B _ E =: : B ! D ^ E

Nas demonstraoes dos seguintes argumentos, use os s c~ mbolos sugeridos. 7. Se a popula~o cresce rapidamente e a produ~o permanece constante, ent~o os ca ca a preos sobem. Se os preos sobem, ent~o o governo controla os preos. Se sou rico, c c a c ent~o n~o me preocupo com o aumento dos preos. N~o verdade que n~o sou rico. O a a c a e a governo n~o controla os preos ou preocupo-me com o aumento dos preos. Portanto, a c c n~o verdade que a popula~o cresce rapidamente e a produ~o permanece constante a e ca ca (P : A popula~o cresce rapidamente. C: A produ~o permanece constante. S: Os ca ca preos sobem. G: O governo controla os preos. R: Eu sou rico. A: Eu me preocupo c c com o aumento dos preos.) c 8. Se Wilson ou Alberto ganham ent~o Lcio e Susana choram. Susana n~o est a u a a chorando. Portanto, Alberto n~o ganhou. (W : Wilson ganha. A: Alberto ganha. L: a Lcio chora. S: Susana chora.) u 9. Se eu me inscrevo neste curso e estudo bastante ent~o tiro boas notas. Se tiro boas a notas, co feliz. N~o estou feliz. Portanto, n~o me inscrevi neste curso ou n~o estudei a a a bastante. (I: Me inscrevo neste curso. E: Estudo bastante. B: Tiro boas notas. F : Estou feliz.)

1.8

Indu~o Matemtica ca a

Um outro mtodo de demonstra~o, muito til para demonstrar a validade de uma e ca u proposi~o P (n), envolvendo o nmero natural n, o seguinte princ ca u e pio de indu~o ca matemtica. a Indu~o Matemtica. Se P (n) uma proposi~o envolvendo o nmero natural n, ca a e ca u tal que (1) P (1) verdadeira, e e (2) P (k) ) P (k + 1) para qualquer nmero natural arbitrrio k, u a ent~o P (n) verdadeira para todo nmero natural n. a e u

24

Logica Elementar

O princ pio acima uma conseq^ncia de um dos Axiomas de Peano para os e ue nmeros naturais. u De modo a aplicarmos o princ pio de indu~o matemtica para demonstrarmos ca a um teorema, o teorema tem que ser subdividido em casos, uma caso para cada nmero u natural. Assim, devemos vericar ambas as condi~es (1) e (2). A verica~o de (1), co ca habitualmente fcil, nos garante que o teorema verdadeiro pelo menos no caso n = a e 1. Para vericar a condi~o (2), devemos provar um teorema auxiliar cuja premissa ca (hiptese) \P (k) verdadeira", e cuja conclus~o (tese) \P (k + 1) verdadeira". A o e e a e e premissa \P (k) verdadeira" chamada a hiptese de indu~o. e e o ca Exemplo 1.12 Demonstre, por indu~o matemtica, que ca a 1 + 2+ 3 + + n = n(n + 1) 2

Demonstra~o. Aqui P (n) representa a proposi~o ca ca \1 + 2 + 3 + + n = n(n + 1) " 2

Em particular, P (1) representa \1 = (1 2)=2", que obviamente uma arma~o e ca verdadeira. Portanto, a condi~o (1) para a indu~o matemtica est satisfeita. ca ca a a Para demonstrar que a condi~o (2) satisfeita, assumimos que \P (k)", que ca e e \1 + 2 + 3 + + k = k(k + 1)=2", seja verdadeira. Ent~o, somamos k + 1 a ambos a os membros da igualdade. Temos portanto 1 + 2 + 3 + + k + (k + 1) = k(k + 1) + (k + 1) 2 k(k + 1) 2(k + 1) = + 2 2 (k + 2)(k + 1) = 2 (k + 1)(k + 2) = 2

o que mostra que P (k + 1) verdadeira. Mostramos assim que as condi~es (1) e (2) e co da indu~o matemtica s~o satisfeitas. Portanto, pelo princ de indu~o matemtica, ca a a pio ca a 1 + 2 + 3 + + n = n(n + 1)=2 verdadeira para cada nmero natural n. e u A idia de indu~o matemtica pode ser usada para fazer deni~es matemticas e ca a co a envolvendo nmeros naturais. Por exemplo, a deni~o de pot^ncias de um nmero real u ca e u qualquer x podem ser denidas por: x1 = x xn+1 = xn x; para cada nmero natural n u

 Logica Elementar

25

As duas equaoes acima indicam que x1 = x, x2 = x x, x3 = x2 x, : : : e assim c~ por diante. Como outra aplica~o, daremos a seguinte deni~o indutiva do s ca ca mbolo C(n; r). Deni~o 1.7 Sejam n um nmero natural e r um inteiro. O s ca u mbolo C(n; r) denido e por C(0; 0) = 1, C(0; r) = 0 para cada r 60, e =

C(n + 1; r) = C(n; r) + C(n; r 1)

Teorema 1.8 Se n e r s~o inteiros, tais que 0 6 r 6 n, ent~o a a C(n; r) = n! r!(n r)!

sendo n! o produto n (n 1) 3 2 1, dos primeiros n nmeros naturais consecutivos, u se n > 0 e 0! = 1 por conven~o. ca Demonstra~o. Exerc ca cio. Teorema 1.9 (O Teorema Binomial) Se x e y s~o dois nmeros reais e n um a u e nmero natural, ent~o u a (x + y)n = C(n; 0)xn + C(n; 1)xn1 y + + C(n; r)xnr y r + + C(n; n)y n Demonstra~o. Demonstraremos a validade deste teorema por indu~o matemtica. ca ca a Primeiramente, o teorema claramente verdadeiro para n = 1. Para completar a e demonstra~o, assumiremos a validade do teorema para n = k; isto , assumiremos ca e que (x + y)k = C(k; 0)xk + C(k; 1)xk1 y + + C(k; r)xkr y r + + C(k; k)y k Ent~o, multiplicando ambos os membros da igualdade acima por (x + y), temos a (x + y)k+1 = (x + y)[xk + C(k; 1)xk1 y + + C(k; r)xkr y r + + y k ] = xk+1 + [C(k; 0) + C(k; 1)]xk y + + [C(k; r 1) + C(k; r)]x(k+1)r y r + + y k+1 = C(k + 1; 0)xk+1 + C(k + 1; 1)xk y + + C(k + 1; r)xk+1r y r + + C(k + 1; k + 1)y k+1 que mostra que o teorema vlido para n = k + 1 se for vlido para n = k. e a a Assim, por indu~o matemtica, o teorema binomial verdadeiro para todos os ca a e nmeros naturais n. u

26

Logica Elementar

1.8.1

Exerc cios

1. Demonstre o teorema 1.8 por indu~o matemtica. ca a 2. Mostre que C(n; 0) = 1 = C(n; n) para todo nmero natural n. u 3. Demonstre por indu~o matemtica que, para todo nmero natural n, ca a u 1 2 + 2 3 + + r (r + 1) + + n (n + 1) = 1 n(n + 1)(n + 2): 3 4. Demonstre por indu~o matemtica que, para todo nmero natural n, ca a u 12 + 22 + 32 + + n2 = 1 n(n + 1)(2n + 1): 6 5. Demonstre que para todo nmero natural n, u 13 + 23 + 33 + + n3 = 1 n2 (n + 1)2 : 4 6. Demonstre que para todo nmero natural n, 1 + 3 + 5 + + (2n 1) = n2 . u 7. Demonstre que para todo nmero natural n, u 1 1 1 1 n + + + + = : 12 23 34 n (n + 1) n+1 8. Demonstre as seguintes Leis de De Morgan Generalizadas, (a) (p1 ^ p2 ^ ^ pn ) , p1 _ p2 _ _ pn (b) (p1 _ p2 _ _ pn ) , p1 ^ p2 ^ ^ pn 9. Demonstre as seguintes Leis Distributivas Generalizadas. (a) p ^ (q1 _ q2 _ _ qn ) , (p ^ q1 ) _ (p ^ q2 ) _ _ (p ^ qn ) (b) p _ (q1 ^ q2 ^ ^ qn ) , (p _ q1 ) ^ (p _ q2 ) ^ ^ (p _ qn )