Você está na página 1de 56

Matemtica Discreta

SUMRIO Mdulo 3

Volume 3

Aula 26 - Proposies e conectivos _____________________________________ 5 Aula 27 - Tabelas-verdade e leis da lgica ______________________________ 17 Aula 28 - Argumentos e provas ______________________________________ 31 Aula 29 - Estratgias bsicas para demonstraes em Matemtica ___________ 39 Aula 30 - Circuitos lgicos__________________________________________ 47

Mdulo 4
Aula 31 - O nascimento de uma teoria: o Problema das Pontes de Knigsberg ___ 57 Aula 32 - Grafos eulerianos _________________________________________ 73 Aula 33 - Grafos hamiltonianos ______________________________________ 89 Aula 34 - rvores _______________________________________________ 107 Aula 35 - Grafos planares e o Problema da Colorao de Grafos ____________ 117 Aula 36 - Grafos bipartidos ________________________________________ 131 Soluo de exerccios selecionados________________________139

Proposies e Conectivos co

MODULO 3 - AULA 26

Aula 26 Proposies e Conectivos co


O todo maior do que a soma de suas partes. e Aristteles o

Objetivos
Depois de estudar o conte do apresentado nas prximas aulas voc u o e estar bem preparado para compreender e usar o discurso matemtico. a a Dever ser capaz de compreender os enunciados dos teoremas e coa nhecer as principais estratgias usadas em suas demonstraes. Mais a e co ainda, isto permitir que voc raciocine com algum rigor lgico e passe a e o a escrever melhor os seus prprios textos matemticos. o a Neste mdulo voc ganhar familiaridade com a terminologia usada na o e a Matemtica. Parece pouco, mas um grande passo. a e

Introduo ca
Algumas das principais caracter sticas da Matemtica so: a abstrao, a a ca a preciso, o rigor lgico e a diversidade de suas aplicaes. a o co A lgica o assunto que ser abordado nesta unidade. E importante o e a conhecer os conceitos bsicos da lgica, no s para estudar, compreender a o a o e produzir Matemtica, mas tambm, para utiliz-los em muitas outras sia e a tuaes. co Os fundamentos da lgica foram introduzidos na antiga Grcia por o e Aristteles, um dos lsofos mais importantes da antigidade. o o u As obras de Aristteles, que versam sobre lgica, foram reunidas em o o um livro que recebeu o nome de Organon, que signica instrumento.

Aristteles (384 - 322a.C.), o natural de Estagira, aparece aqui ` esquerda de Plato, a a outro grande lsofo que o teve grande inuncia na e Matemtica. Aristteles a o formulou o chamado mtodo e dedutivo. Este foi adotado por Euclides, ao escrever os seus Elementos, por volta de 300 a.C. Desde ento, tem a sido uma ferramenta essencial na Matemtica. a Para obter um pouco mais de informao sobre eles, ca veja a coleo Os Pensadores ca [1]. Voc pode ver, tambm, e e o cap tulo sobre Aristteles o do livro de Will Durant [2].

Proposies co
A l ngua portuguesa, assim como as outras l nguas, formada por palae vras, sentenas, numa teia sutil e complexa. Expressar-se com clareza e c preciso no tarefa fcil. De maneira geral, podemos classicar as sentenas a a e a c de uma l ngua da seguinte forma: Declarativas: Hoje domingo. e Eu no sa de casa o dia todo. a
As sentenas declarativas c podem ser armativas ou negativas.

CEDERJ

Proposies e Conectivos co

Interrogativas: Exclamativas: Imperativas:

Quem vem l? a Qual o seu nome? e Lgico! o Viva! No matars! a a Feche a porta!

Sentenas Matemticas c a A Matemtica tambm expressada por sentenas. Por exemplo, a e e c 3 >3 e sen = 3 2 so sentenas matemticas. a c a Sob o ponto de vista da lgica devemos lidar com as sentenas declarao c tivas, `s quais podemos atribuir um valor-verdade, isto , cada sentena a e c ser verdadeira ou falsa. a As duas sentenas matemticas, > 3 e sen = c a 3 deiras. Exemplo 1 Leia as seguintes sentenas. Algumas so verdadeiras e outras so falsas: c a a 1. A grama verde. e 2. Dezembro tem 31 dias. 3. Uma semana tem 8 dias. 4. O Sol uma estrela. e 5. O vero a estao mais fria do ano. a e ca Alguns exemplos de sentenas as quais no podemos atribuir valorc ` a verdade: 1. V mais devagar! a 2. Quanto custa este livro ? 3. Fulana carioca. e
CEDERJ 6 3 2

, so verdaa

Proposies e Conectivos co

MODULO 3 - AULA 26

A primeira delas uma ordem (ou um pedido) e a segunda uma pere e gunta. A terceira um caso interessante. Quando usamos a palavra fulano e ou fulana, em geral no estamos considerando uma pessoa espec a ca. Para decidirmos se a sentena verdadeira ou falsa, precisamos personalizar a fuc e lana. Dependendo de quem for fulana, a sentena ter seu valor-verdade c a denido. Uma situao parecida pode surgir no contexto matemtico. A ca a frase x + 3 = 11 pode ser verdadeira (caso o valor de x seja 8) ou pode ser falsa (caso x seja diferente de 8).
Scrates foi professor de o Plato. Mesmo sem deixar a nenhum texto, uma das e guras mais conhecidas da Filosoa. Suas idias e chegaram at ns pelas obras e o de seus disc pulos. Autor de pensamentos como: s sei o que nada sei e conhece-te a ti mesmo, marcou as geraes futuras pela sua co modstia e amor pelo e conhecimento.

Funoes Proposicionais c Expresses que contm uma ou mais variveis, so chamadas de funes o e a a co proposicionais. Quando as variveis so substitu a a das por constantes, a expresso torna-se uma proposio (verdadeira ou falsa, conforme as a ca constantes atribu das). Por exemplo, x homem. Essa funo proposicional torna-se uma e ca proposio verdadeira se x = Scrates e falsa se x = Argos. Estas expresses ca o o tambm podem ser chamadas de sentenas abertas. e c

Axiomas e teoremas Distinguir o falso do verdadeiro o objetivo fundamental na Matemtica. e a A lgica aqui tem um papel central. Dito de outro modo, usando as regras o da lgica, provamos quando uma determinada sentena verdadeira ou falsa. o c e Neste esquema, partimos de um conjunto inicial de sentenas bsicas, que c a consideramos verdadeiras (as quais chamamos axiomas) e, usando as regras denidas pela lgica (que so as regras do jogo), provamos a veracidade de o a novas sentenas. Estas novas sentenas verdadeiras so chamadas teoremas c c a e podem tambm ser usadas na demonstrao de novos teoremas. E desta e ca maneira que engendramos a teia que forma a Matemtica. a Em lgica consideramos apenas as sentenas que podem ser qualicadas o c como falsas ou verdadeiras. Tais sentenas sero chamadas de proposies. c a co Usamos letras minsculas, como p ou q, para representar proposies. u co Resumindo:
7 CEDERJ Homero foi o autor da Odissia, que narra o retorno e de Ulisses (ou Odisseu) da Guerra de Tria. Argos o o e co de Ulisses e um modelo a e de delidade pois primeiro e a reconhec-lo aps uma e o ausncia de 20 anos. e

A palavra proposiao c tambm usada em e e Matemtica, fora do a contexto estrito da lgica, o como sinnimo de teorema. o

Proposies e Conectivos co

Proposies so sentenas declarativas. Cada uma delas possui valorco a c verdade bem estabelecido, qualicando-a como verdadeira ou falsa. Cada proposio determina, de maneira unica, uma outra proposio que a sua ca ca e negao e que tem o valor-verdade oposto ao seu. ca Lembre-se de que atribuir um valor-verdade a uma sentena, ou ainda, c determinar a veracidade de uma proposio, pode ser uma questo delicada ca a e dif cil.

Conectivos e proposies compostas co


Algumas palavras e certas expresses so usadas insistentemente nos o a textos matemticos. Voc j encontrou algumas delas nas unidades anterioa e a res. Bons exemplos so os conectivos e e ou. Usando estes dois conectivos e a fazendo tambm a negao, podemos construir novas proposies a partir de e ca co outras proposies dadas inicialmente. Estas novas proposies so chamadas co co a de proposies compostas. co

Usando duas proposies p e q podemos construir uma nova proposio, co ca p e q, chamada de conjuno de p e q. Usamos o s ca mbolo
l-se p e q e

pq para denot-la. A sentena p q verdadeira caso ambas, p e q, sejam a c e verdadeiras. Em qualquer outra situao ela ser falsa. ca a

Exemplo 2 Apenas uma das sentenas abaixo falsa. Qual . . . c e e A noite escura e o dia claro. e e A rosa vermelha e o cravo branco. e e 16 igual a 4 e 187 um n mero primo. e e u

Uma vez que 187 = 11 17, a proposio 187 um n mero primo ca e u e e ca falsa e, apesar de 16 igual a 4 ser verdadeira, a proposio composta 16 igual a 4 e 187 um n mero primo falsa. e e u e
CEDERJ 8

Proposies e Conectivos co

MODULO 3 - AULA 26

A partir de duas proposies p e q tambm podemos construir a proco e posio composta p ou q, chamada de disjuno de p e q. Usamos o ca ca s mbolo pq para represent-la. A proposio p q verdadeira caso alguma das a ca e proposies p ou q seja verdadeira. Ela ser falsa apenas quando ambas co a proposies p e q forem falsas. co
l-se p ou q e

e e u e A proposio composta 16 igual a 4 ou 187 um n mero primo ca verdadeira. Outro exemplo: podemos armar que a proposio: ca um n mero irracional ou e u
1 3

Exemplo 3

>

1 2

verdadeira, baseando-se apenas no fato de que um n mero irracional. e e u Ateno! Lembre-se de que, como j foi dito na unidade de Teoria de ca a Conjuntos, o ou em Matemtica no exclusivo. a a e Finalmente, podemos gerar uma nova proposio a partir de uma inica cial, simplesmente negando-a. Usamos a notao ca p, para indicar a negao da proposio p. As proposies p e p tm ca ca co e valores-verdade opostos. Este fato conhecido como o Princ e pio da Contradio. ca Quando Aristteles criou a lgica, ele estabeleceu uma srie de princ o o e pios, isto , as regras bsicas sobre as quais toda a lgica seria desenvolvida. Estes e a o princ pios so: a Princ pio da Identidade: Todo objeto idntico a si mesmo. e e Princ pio da Contradio: O contrrio do verdadeiro falso. ca a e Princ pio do Terceiro Exclu do: De duas proposies contraditrias co o uma verdadeira e a outra falsa. e e
9 CEDERJ l-se no p e a

Proposies e Conectivos co

Duas proposies so contraditrias quando uma a negao da outra. co a o e ca A palavra princ pio provm do grego (arqu, como em arqutipo) e e e e do latim principium e quer dizer ponto de partida e fundamento de um processo qualquer. Ela muito usada na losoa e na linguagem cient e ca. Em Matemtica, pode ser usada como sinnimo de axioma e, neste caso, a o e uma proposio cuja veracidade no requer demonstrao, como no Princ ca a ca pio da Identidade, da Contradio e do Terceiro Exclu ca do, enunciados anteriormente.

Nota
Aristteles (384 - 322 a.C.) o Os princ pios de identidade, da contradio e do terceiro ca exclu do, apesar de sua simplicidade, so a fundamentais. Aristteles o formulou o Princ pio da Contradio de, pelo menos, ca duas maneiras: Nada pode ser e no ser a simultaneamente e E necessrio que toda assero a ca seja armativa ou negativa. O Princ pio do Terceiro Exclu foi derivado do do Princ pio da Contradio ca muito mais tarde, no sculo e XVIII. Eles se completam para determinar que as proposies simples so, ou co a verdadeiras, ou falsas. Por esta razo, diz-se que a a lgica clssica bivalente. o a e

A F sica tambm usa esta palavra neste sentido, como em Princ e pio da Indeterminao de Heisenberg, proposto em 1927 por Werner Heisenberg ca e faz parte da teoria quntica. Esta teoria bastante complicada, mas ela a e explica o comportamento dos atomos. O Princ da Indeterminao diz que pio ca a posio e a velocidade das part ca culas atmicas no podem ser conhecidas o a ao mesmo tempo e com preciso. a A palavra princ tambm pode ser usada como sinnimo de teorema, pio e o como no Princ pio da Incluso-Excluso, enunciado no mdulo 1, aula 4. a a o Neste caso, trata-se de uma armao que deve ser demonstrada. ca

Quanticadores
Vamos aprender agora mais um pouco do jargo matemtico. Falarea a mos sobre quanticadores. Os quanticadores so expresses que aparecem, a o em geral, no in das frases matemticas, cuja funo indicar o universo cio a ca e sobre o qual ser feita a armao. Exemplos: para todo, cada, existe a ca um, existe uma, no existe algum, no existe alguma, nenhum, a a nenhuma, qualquer um, qualquer uma ... Exemplo 4 As seguintes proposies tm o mesmo signicado: co e Todo mundo racional. e Todas as pessoas so racionais. a Cada pessoa racional. e Qualquer pessoa racional. e

Werner Karl Heisenberg (1901 - 1976), f sico alemo, a formulou a nova teoria da Mecnica Quntica a a juntamente com Ernest Jordan, Erwin Schrdinger, o Niels Bohr e Paul Dirac. Esta teoria depende muito de Matemtica e valeu o a Prmio Nobel de F e sica de 1932.

CEDERJ

10

Proposies e Conectivos co

MODULO 3 - AULA 26

O quanticador usado nestes exemplos chamado de quanticador unie versal. Ns o representamos pelo s o mbolo . Exemplo 5 R, sen2 + cos2 = 1. Esta proposio verdadeira. ca e

O seguinte exemplo apresenta o quanticador existencial. Mais uma vez, todas as proposies abaixo tm o mesmo signicado. co e Exemplo 6 Alguma pessoa bonita. e Existe pessoa bonita. Pelo menos uma pessoa bonita e Ns representamos este quanticador pelo s o mbolo . Exemplo 7 R | sen = 1. Esta armao verdadeira? ca e A resposta sim. O seno do angulo reto, por exemplo, 1. Isto pode e e ser expresso da seguinte maneira: sen 2 = 1. Os quanticadores universal e existencial so trocados um pelo outro a quando fazemos a negao de uma proposio iniciada por um deles. Veja ca ca como funciona num exemplo: Exemplo 8 A negao da proposio ca ca p: e p: Existe aluno no estudioso. a
11 CEDERJ

Todo aluno estudioso. e

Proposies e Conectivos co

Uma outra maneira de enunciar a proposio p seria: h aluno que ca a no estudioso. Numa maneira tipicamente matemtica seria: existe pelo a e a menos um aluno no estudioso. a Ateno! A proposio q: Nenhum aluno estudioso no a ca ca e a e negao de p. ca Note a importncia do quanticador usado na formao da proposio. a ca ca As proposies: co x R, x2 = 2 (Para todo x em R, x2 = 2) so diferentes. a Resumindo: Quanticadores: O quanticador universal representado pelo e s mbolo , que l-se: Para todo . . . ; o quanticador existencial e e representado pelo s mbolo , que l-se: Existe . . . Estes quanticae dores so trocados um pelo outro quando fazemos a negao de uma a ca proposio. ca Ateno! Estamos chegando ao m da aula. Bem, voc est comeando ca e a c a perceber como a linguagem importante. Matemtica muito sutil, pois e a e um pequeno detalhe pode mudar completamente o sentido da proposio. ca Por exemplo, uma proposio do tipo p q pode ser verdadeira ao mesmo ca tempo que p q falsa. Isto signica uma simples troca de um ou por e um e. Precisamos estar atentos ao que dizemos, ao que o texto diz e, principalmente, a como devemos nos expressar. Agora hora de relaxar um pouco antes de seguir para a lista de e exerc cios. Voc conhece aquela do engenheiro, do f e sico e do matemtico? Os a trs amigos, um engenheiro, um f e sico e um matemtico, estavam viajando de a trem para o interior de So Paulo. Depois que o trem passou por Rio Claro, a eles avistaram uma colina verdejante com uma linda vaca preta pastando. O engenheiro, que estava um pouco aborrecido com o papo um tanto abstrato de seus dois amigos, aproveitou para fazer o seguinte comentrio: vejam, as a vacas aqui so pretas! O f a sico olhou pela janela e retrucou: calma, a As ! vacas deste morro so pretas... O matemtico lanou um olhar de censura a a c sobre seus dois amigos e disse, balanando a cabea, para enfatizar: nada c c disso, car ssimos! O que realmente podemos armar que neste morro h e a uma vaca com o lado direito preto...
CEDERJ 12

x R | x2 = 2 (Existe x em R, tal que x2 = 2)

Proposies e Conectivos co

MODULO 3 - AULA 26

Exerc cios
1. Determine quais das frases abaixo so proposies: a co Cenouras so saudveis. a a O Brasil um pa tropical. e s Todos os homens so astutos. a Faa as malas. c A pacincia uma virtude. e e Debussy comps duas sinfonias. o A pacincia um jogo. e e Para todo mal h cura. a Todo mundo tem um segredo. No fume! a Todo amor forte. e Quantos anos voc tem? e O quadrado de cada nmero no negativo. u e a Que calor! Antonio Carlos Jobim, o Tom Jobim, um compositor brasileiro. e Quanto custa esta mesa? 2. Construa a negao de cada uma das seguintes proposies: ca co A pera uma fruta. e Algumas operas so longas. a Todos gostam de danar. c Algumas pessoas no tm carro. a e Todos tm televisores e aparelhos de v e deo. O dinheiro no traz a felicidade. a Todo desle de escola de samba tem mestre-sala e porta-bandeira. Dom Quixote um personagem criado por Miguel de Cervantes. e Todo amor forte. e Nenhum amor fraco. e

13

CEDERJ

Proposies e Conectivos co

3. Escreva literalmente as seguintes proposies matemticas: co a x Z, x2 0 Soluo: Qualquer que seja o nmero inteiro x, x2 0. ca u Esta proposio falsa. ca e R, tg 2 = sec2 1 x R| x =4 x N | 2|x 3|x
A notao a|b lida da ca e seguinte maneira: a divide b, isto , b um mltiplo de a. e e u

Soluo: Existe um n mero natural x tal que 2 divide x ou 3 divide ca u x. Soluo alternativa: Existe um n mero natural x divis por ca u vel 2 ou divis por 3. vel x R | sen x = x Q | x2 =
3 2

x Q, p, q Z | x = p . q
9 . 25 1 n

r R, r > 0, K N | n > K =

< r.

Resumo da Opera
Nesta aula voc aprendeu que: e 1. em lgica, lidamos com proposies que so sentenas declarativas, cada o co a c uma delas possuindo um valor-verdade, verdadeiro ou falso. A representao das proposies se faz por letras min sculas como p, q etc.; ca co u 2. para cada proposio p corresponde a sua negao: p. As proposies ca ca co p e p tm valores-verdade opostos; e 3. dadas duas proposies p e q, podemos construir duas outras proco posies: co pq pq (conjuno, p e q ) ca (disjuno, p ou q) ca

CEDERJ

14

Proposies e Conectivos co

MODULO 3 - AULA 26

4. em Matemtica usamos dois quanticadores: a (universal, qualquer que seja . . . ) (existencial, existe um . . . )

Estes quanticadores trocam de papis quando fazemos a negao de e ca uma proposio. ca

Auto-avaliao ca
E muito bom que voc tenha chegado at aqui. Esta primeira aula e e sobre lgica contm informaes novas e natural que voc tenha d vidas. o e co e e u Lembre-se, s no tem d vidas quem no estuda! Uma boa maneira de avaliar o a u a o trabalho medir relativamente os progressos e as diculdades. Voc pode e e comear a sua avaliao da seguinte maneira: c ca Releia os objetivos desta aula. Foram alcanados? Comente-os. c Releia especialmente os exemplos e tente relacion-los com os exerc a cios propostos. Na prxima aula voc aprender mais sobre as regras da lgica e como o e a o podemos estabelecer se uma proposio verdadeira ou no, construindo as ca e a tabelas-verdade. At l! e a

15

CEDERJ

Tabelas-verdade e leis da lgica o

MODULO 3 - AULA 27

Aula 27 Tabelas-verdade e leis da lgica o


Objetivos
Nesta aula voc aprender a construir as tabelas-verdade para proe a posies compostas. co Aprender tambm as principais leis da lgica e as implicaoes ou a e o c proposies condicionais. co

Tabelas-verdade
Na aula anterior voc deve ter percebido a importncia da familiarie a dade com a terminologia matemtica. Dando continuidade a este processo, a descubra agora o que e como constru uma tabela-verdade. e e da O valor-verdade de cada proposio sempre, ou verdadeiro (V), ou ca e falso (F). O valor-verdade de uma proposio composta determinado pelos ca e valores-verdade de cada uma das proposies que a compem. Na tabelaco o verdade apresentamos todas as possibilidades. Por exemplo, considere a conjuno das proposies p e q, que denotamos por p q. Lembre-se de que ca co p q verdadeira apenas quando ambas proposies, p e q, so verdadeiras. e co a H quatro possibilidades: a 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 A tabela-verdade correspondente : e p V V F F q V F V F pq V F F F

As tabelas-verdade correspondentes `s proposies p (no p) e p q a co a (p ou q) so: a


17 CEDERJ

Tabelas-verdade e leis da lgica o

p p V F p F V V V F F

q V F V F

pq V V V F

Equivalncia lgica e leis da lgica e o o


E poss expressar uma proposio de diferentes maneiras. Por exemvel ca plo, podemos negar a proposio Marcos pintor e gosta de pescar ca e dizendo No verdade que Marcos pintor e gosta de pescar. Uma outra a e e maneira Marcos no pintor ou no gosta de pescar. Estas duas ultimas e a e a armaes so ditas logicamente equivalentes. co a Logicamente equivalentes: Duas proposies so ditas logicamente co a equivalentes quando tm os mesmos valores-verdade em todos os casos e poss veis. Quando duas proposies, p e q, so equivalentes, usamos a co a seguinte notao: ca p q.

A importncia prtica deste a a conceito a seguinte duas e proposies logicamente co equivalentes so, sob o ponto a de vista da lgica, a mesma o coisa. No entanto, podem apresentar pontos de vista diferentes, facilitando a nossa compreenso, a aprofundando o nosso entendimento do conte do u que ela reveste.

As tabelas-verdade so uteis para detectar quando duas proposies so a co a logicamente equivalentes. O exemplo No verdade que Marcos pintor a e e e gosta de pescar um caso particular da situao (p q) equivalente a e ca p q, em que p Marcos pintor e q Marcos gosta de pescar. e e e Exemplo 9 Vamos mostrar, usando uma tabela-verdade, que as proposies (p q) e co p q so logicamente equivalentes. Aqui, veja como fcil preencher as a e a tabelas, contanto que o trabalho seja feito por etapas. Antes de mais nada, iniciamos construindo uma tabela que tenha cinco linhas: na primeira delas alinharemos as diferentes etapas e nas outras quatro consideraremos todas as possibilidades, j que contamos com duas proposies bsicas, p e q. a co a p V V F F
CEDERJ 18

q V F V F

pq

(p q)

p q

pq

Tabelas-verdade e leis da lgica o

MODULO 3 - AULA 27

Agora, para se chegar ao valor-verdade de (pq) simples. Primeiro, e obtenha o valor-verdade de p q e depois, num segundo passo, obtenha o valor-verdade de sua negao. ca Comece preenchendo, na tabela, os valores-verdade das proposies co p q, p e q. p V V F F q V F V F pq V F F F (p q) p F F V V q F V F V pq

Agora, num segundo passo, complete a tabela preenchendo as colunas correspondentes `s proposies (p q) e p q. a co p V V F F q V F V F pq V F F F (p q) F V V V p F F V V q F V F V pq F V V V

Veja que na tabela completa podemos comparar as duas colunas correspondentes `s proposies (p q) e p q. Como as duas colunas a co so iguais, as proposies so logicamente equivalentes. a co a Resumindo, (p q) p q. Antes de prosseguirmos, tente voc construir a tabela-verdade de e p (q r). A proposio p (q r) composta por trs proposies: p, q e r. Sua ca e e co 3 tabela ter, alm da primeira linha, mais 8 = 2 linhas. Preencha primeiro a a e quarta coluna, usando as colunas dois e trs. Depois, usando a primeira e a e quarta, preencha a ultima coluna. Por exemplo, na terceira linha em branco, q falso e r verdadeiro. Portanto, o valor-verdade de qr verdadeiro e e e e marcamos um V na quarta coluna. Agora, na primeira coluna vemos que p verdadeiro e, na quarta coluna, q r verdadeiro. Portanto, p(q r) e e verdadeiro, e marcamos outro V na ultima coluna.
Lembre-se do Princ pio Fundamental de Contagem apresentado no mdulo 1, o aula 6. Quantas linhas seriam necessrias para 4 a proposies conectadas? co Quantas para n proposies co conectadas?

19

CEDERJ

Tabelas-verdade e leis da lgica o

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

qr

p (q r)

Lembre-se das tabelas-verdade das proposies p q e p q: co p V V F F p V V F F q V F V F q V F V F pq V V V F pq V F F F

Leis da Lgica o
Usaremos, agora, o conceito de equivalncia lgica para exprese o sar algumas das leis da lgica. Elas so usadas para reescrevermos alo a gumas proposies de maneiras diferentes, porm equivalentes, do ponto de co e vista lgico. o

Expressando as Leis da Lgica... o

A mais simples a lei de idempotncia. e e Lei de Idempotncia: Para qualquer proposio p, e ca pp p p p p.

Alm disso, os conectivos e so comutativos e associativos. e a Leis de Comutatividade: Dadas duas proposies quaisquer, p e q, co p q q p; p q q p.

Leis de Associatividade: Dadas trs proposies quaisquer, p, q e r, e co (p q) r p (q r); (p q) r p (q r).

CEDERJ

20

Tabelas-verdade e leis da lgica o

MODULO 3 - AULA 27

As leis de associatividade permitem que escrevamos simplesmente p q r em vez de (p q) r ou p (q r). As leis que veremos a seguir relacionam os dois conectivos e . Vejamos como elas so aplicadas, num exemplo, antes de enunci-las. a a Exemplo 10 Consideremos as seguintes proposies: co p: q: r: a: 2 um n mero inteiro; e u 2 maior do que 3; e 2 um n mero primo. e u Conectando-as podemos montar as seguintes proposies: co 2 um n mero inteiro, ou 2 maior do que 3 e primo. e u e b: 2 um n mero inteiro ou maior do que 3, e 2 um n mero inteiro ou e u e u primo. As proposies a p (q r) e b (p q) (p r) so logicamente co a equivalentes. Este um caso particular da lei de distributividade. Para e completar o exemplo, vamos determinar o valor-verdade das proposies. A co proposio a a proposio p (q r). E claro que p verdadeira, q falsa ca e ca e e e r verdadeira. Como q falsa, q r falsa. Mas, sendo p verdadeira, e e e a proposio nal p (q r) verdadeira. Por sua vez, a proposio b ca e ca e a proposio (p q) (p r). Ento, p q e p r so ambas verdadeiras. ca a a Portanto, b uma proposio verdadeira. e ca

Leis de Distributividade: Dadas trs proposies quaisquer, p, q e r, e co p (q r) (p q) (p r) e p (q r) (p q) (p r).

Volte alguma pginas e faa uma nova leitura e anlise do exemplo 9. a c a A lei que voc conhecer agora j foi considerada nesse exemplo. Ela e a a e uma das leis de De Morgan. Lembre-se tambm que este tema j foi abordado e a no mdulo 1, aula 3. o
21 CEDERJ

Tabelas-verdade e leis da lgica o

Na ultima aula voc aprendeu que a palavra princ e pio pode ser usada como sinnimo de axioma ou de teorema. A mesma coisa acontece com a o palavra lei. Nesta aula a palavra lei est sendo usada como sinnimo de teorema. a o Isto , ela est sendo usada para indicar quando determinadas proposies e a co so logicamente equivalentes e, para que estas leis possam valer, devemos a constatar a equivalncia usando tabelas-verdade. e Leis de De Morgan: Para quaisquer proposies, p e q, co (p q) p q; (p q) p q.

Lembre-se que no exemplo 9 a construo da tabela-verdade mostrou ca que as proposies (p q) e p q so equivalentes. A tabela-verdade co a abaixo mostrar que as proposies (p q) e p q tambm so a co e a equivalentes: p V V F F q V F V F pq V V V F (p q) F F F V p F F V V q F V F V pq F F F V

Vejamos agora o enunciado das leis de De Morgan na verso da Teoria a de Conjuntos: Sejam A e B conjuntos. Ento: a (A B)c = Ac B c , (A B)c = Ac B c . Vamos mostrar que (A B)c = Ac B c . Neste caso, o conjunto A B caracterizado pela armao x A ou e ca x B. O seu complementar caracterizado pela negao desta armao: e ca ca (x A x B). Pela lei de De Morgan (que acabamos de mostrar) esta armao equivalente a x A x B, que caracteriza o conjunto ca e / / c c A B . Logo, os conjuntos so iguais. a
CEDERJ 22

Tabelas-verdade e leis da lgica o

MODULO 3 - AULA 27

Agora, a demonstrao do segundo caso. Para provar que (A B)c = ca c c A B vamos usar a igualdade (A B)c = Ac B c , que acabamos de provar, mais o fato de que o complementar do complementar de qualquer conjunto, c o prprio conjunto: X c = X. e o Realmente, Ac B c = Ac B c
c c c c

Ac

Bc

= (A B)c .

Isto completa a prova das Leis de De Morgan da Teoria de Conjuntos. Exemplo 11 As leis de De Morgan so usadas para reescrevermos as negaes de proa co posies. Considere a seguinte proposio: co ca Todo n mero par divis por 2 e existe um n mero inteiro n tal que u e vel u 2n = 3. Sua negao : ca e Existe um n mero par que no divis por 2 u a e vel n tal que 2n = 3. e ou todo n mero inteiro u

Finalmente veremos como, em certas situaes, podemos compactar co uma proposio. ca Leis de Absoro: Para quaisquer duas proposies, p e q, ca co p (p q) p; p (p q) p.

Vamos construir a tabela de p (p q). Comeamos com a tabela de c p q e, depois, usamos as colunas correspondentes `s proposies p e p q a co para completar a ultima coluna, que a correspondente a p (p q). e p V V F F q V F V F pq V F F F p (p q) V V F F

As colunas de p e de p (p q) so iguais, provando que as proposies a co so logicamente equivalentes: p (p q) p. a


23 CEDERJ

Tabelas-verdade e leis da lgica o

Quadro-Resumo
Para nalizarmos esta parte, vamos montar um quadro com o resumo das principais leis da lgica. o

Leis de Distributividade p (q r) (p q) (p r) p (q r) (p q) (p r) Leis de De Morgan (p q) p q (p q) p q Leis de Absoro ca p (p q) p p (p q) p

Exerc cios
1. Construa a tabela-verdade para cada uma das seguintes proposies co compostas: (a) p q (b) ( p) ( q) (c) p q (d) ( p q) (e) ( p q) p (f) p (q q) (g) ( p q) r (h) ( p q) r

2. Use a tabela-verdade para provar a seguinte lei de distributividade: p (q r) (p q) (p r). Para isto, preencha a tabela abaixo por etapas. 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 qr pq pr p (q r) (p q) (p r)

CEDERJ

24

Tabelas-verdade e leis da lgica o

MODULO 3 - AULA 27

3. Faa o mesmo para as leis de Absoro: c ca p (p q) p e p (p q) p.

Implicaes ou Proposioes Condicionais co c


H frases que se compem de uma condio e uma conseqncia, a o ca ue como se d no seguinte exemplo: a Se no chover irei ` sua festa. a a Frases deste tipo interessam particularmente aos matemticos. Aqui a esto alguns exemplos: a Se n um inteiro e mpar, ento n2 a e mpar. a e Se r um n mero real tal que r 2 = 2, ento r irracional. e u Se ABC um tringulo tal que A est no centro de um c e a a rculo e B e C pertencem ` circunferncia do c a e rculo, ento o tringulo ABC issceles. a a e o Sejam p e q duas proposies. Chamamos a proposio co ca Se p, ento q a de uma implicao. O conectivo Se . . . , ento . . . caracteriza uma ca a condio. A notao desta proposio ca ca ca e p = q A proposio p chamada de hiptese e a proposio q de concluso ca e o ca a ou tese. O valor-verdade da proposio p = q depende dos valoresca verdade da hiptese e da concluso. Ela falsa apenas quando p o a e e verdade e q falsa. e Na verdade, a proposio p = q logicamente equivalente a proca e ` posio p q. Aqui est a tabela-verdade de p q. ca a p V V F F q V F V F p F F V V pq V F V V p = q V F V V
25 CEDERJ Um tringulo dito issceles a e o se tem dois lados de medidas iguais, ou dois ngulos a internos de medidas iguais.

Tabelas-verdade e leis da lgica o

Observemos, num exemplo, as diferentes possibilidades de valor-verdade de uma proposio do tipo p = q. ca Exemplo 12 Vamos considerar o seguinte: Se eu ganhar na loteria, ento ns viajaremos para Fortaleza. a o
Lembre-se da tabela-verdade da proposio p q: ca p V V F F q V F V F pq V F V V

A primeira possibilidade corresponde ` situao (ideal) p e q verdadeia ca ras. Eu ganho na loteria, viajamos para Fortaleza, a promessa cumprida e e p = q verdadeira. e No caso de ganhar na loteria, e no viajarmos para Fortaleza, a proa messa estar quebrada. Isto corresponde ao caso p verdadeira e q falsa. a Portanto, p = q falsa. e Agora, apesar de eu no ter ganho na loteria, viajamos para Fortaleza. a Otimo! A armao p = q no pode ser contestada. Isto corresponde ao ca a caso p falsa, q verdadeira e p = q verdadeira. A ultima possibilidade nada de loteria, nada de viagem a Fortaleza, nada de promessa quebrada corresponde ao caso p e q falsas e p = q verdadeira. Note que, quando a hiptese p falsa, independente do valor-verdade o e da conseqncia q, a implicao p = q verdadeira. ue ca e Portanto, a unica chance de p = q ser falsa quando temos uma e situao em que a hiptese verdadeira e a conseqncia falsa. ca o e ue e Faa uma anlise semelhante considerando a proposio c a ca Se o tempo estiver bom, irei a praia. ` Observe que, no discurso mais coloquial, a palavra ento pode ser a dispensada. H maneiras ligeiramente diferentes de enunciar a proposio p = q. a ca Algumas so: a Se p, ento q. a p implica q. Para que p seja verdadeira, necessrio que q seja verdadeira. e a Para que q seja verdadeira, suciente que p seja verdadeira. e

CEDERJ

26

Tabelas-verdade e leis da lgica o

MODULO 3 - AULA 27

Reescreva a proposio abaixo de diferente maneiras. ca Se recebermos uma boa oferta, venderemos o terreno. Quando trocamos a hiptese pela conseqncia de uma proposio o ue ca p = q, estamos criando uma nova proposio: ca q = p chamada de converso de p = q. a Ateno! No cometa o erro de pensar que p = q e sua converso ca a a q = p so logicamente equivalentes. Veja numa tabela-verdade a coma parao das duas proposies: ca co p V V F F Vamos a um exemplo. Exemplo 13 Tomemos a proposio do tipo p = q: ca Se Linda brasileira, ento ela gosta de samba. e a A converso desta proposio outra proposio: a ca e ca Se Linda gosta de samba, ento ela brasileira. a e Considere as diferentes possibilidades. Especialmente a situao em ca que Linda, caindo numa roda de samba, fazendo inveja as melhores passistas ` do lugar, acaba confessando ser uma americana de Miami. Isto , p falsa e e mas q verdadeira. A proposio Se Linda brasileira, ento ela gosta e ca e a de samba verdadeira (pois no falsa, coisa de lgica aristotlica), mas e a e o e a sua converso Se Linda gosta de samba, ento ela brasileira falsa a a e e pois, exatamente como no caso acima, gostar de samba no coisa apenas a e de brasileiros ou brasileiras. Vamos continuar com este exemplo um pouco mais. Tomemos a seguinte proposio: ca
27 CEDERJ

q V F V F

pq V F V V

qp V V F V

Tabelas-verdade e leis da lgica o

Se Linda no gosta de samba, ento ela no brasileira. a a a e Esta proposio da forma q = p. Vamos calcular a sua tabelaca e verdade e compar-la com p = q. a p V V F F q V F V F q F V F V p F F V V q p V F V V pq V F V V

As proposies p = q e q = p so logicamente equivalentes. co a Dada a proposio p = q, chamamos de contrapositiva a proposio ca ca q = p. Elas so logicamente equivalentes. a E util olhar para a contrapositiva pois permite um diferente ponto de vista da mesma proposio, uma vez que elas so logicamente equivalentes. ca a H um tipo de proposio composta por duas proposies iniciais p e q a ca co que ocorre com certa freqncia: (p q) (q p). Isto , p implica q e q ue e implica p. Damos um nome especial a esta proposio. ca O conectivo se, e somente se dito conectivo bicondicional e denotado e e pelo s mbolo . A proposio ca p q equivalente ` proposio (p q) (q p). A proposio p q e a ca ca tambm pode ser lida como p necessrio e suciente para q e e e a e verdadeira, quando ambas proposies tm o mesmo valor-verdade. co e Usando a verso (p q) (q p) de p q, vamos montar a sua a tabela-verdade. p V V F F q V F V F pq V F V V qp V V F V (p q) (q p) V F F V pq V F F V

CEDERJ

28

Tabelas-verdade e leis da lgica o

MODULO 3 - AULA 27

Tautologias
Uma tautologia uma proposio composta que verdadeira qualquer e ca e que seja o valor-verdade das proposies que a compem. Para averiguarmos co o se uma proposio composta uma tautologia, necessrio fazer sua tabelaca e e a verdade. Um exemplo bem simples a proposio e ca p p Sua tabela-verdade e p V F p F V pp V V

Um outro exemplo de tautologia envolve o conectivo condicional: (p q) = p cuja tabela-verdade : e p V V F F q V F V F pq V F F F pq p V V V V

Exerc cios
1. Construa as respectivas tabelas-verdade para constatar que as seguintes proposies so tautologias: co a (a) (p p) (b) ((p q) p) q (c) p (p q) (d) (p q) p q

Auto-avaliao ca
Esta aula contm bastante informao e para que voc possa familiarizare ca e se com estas novidades muito importante que voc resolva os exerc e e cios. Ao faz-lo, anote os que achou mais dif e ceis. Escolha tambm aqueles de que voc e e gostou mais. Bom trabalho!
29 CEDERJ

Argumentos e Provas

MODULO 3 - AULA 28

Aula 28 Argumentos e Provas


Objetivo
Nessa aula voc aprender as estratgias bsicas de argumentao e e a e a ca demonstrao. ca

Denindo Argumentao ca
Uma argumentao constitui-se de uma coleo de proposies (premisca ca co sas) e uma proposio nal (concluso). Do ponto de vista da lgica, para ca a o que uma argumentao seja vlida, necessrio que a concluso seja uma ca a e a a conseqncia das premissas. Isto , no caso de as premissas serem verdadeiue e ras, sabemos que a concluso verdadeira. a e Premissas: Todo homem mortal. e Scrates homem. o e Scrates mortal. o e

Concluso: a

Consideremos tambm um exemplo mais prosaico: e Premissas: Todos os brasileiros gostam de feijoada. Todos os cariocas so brasileiros. a Todos os cariocas gostam de feijoada.

Este exemplo tem uma importncia histrica e a o aparece em quase todo texto sobre lgica. Ele um o e silogismo, que se constitui de duas premissas e uma concluso, foi formulado por a Aristteles, em seu tratado o Primeiros Anal ticos, sobre lgica. o

Concluso: a

Vamos a denio do que um argumento vlido. ` ca e a

31

CEDERJ

Argumentos e Provas

Um argumento consiste de uma srie de proposies chamadas premise co sas e uma proposio chamada concluso. Dizemos que o argumento ca a e vlido se, sempre que todas as premissas forem verdadeiras, isto , se a a e conjuno delas for verdadeira, ento, a concluso ser verdadeira. Em ca a a a outras palavras, um argumento com premissas p1 , p2 , . . . , pn e concluso a c valido se: e sempre que p1 p2 pn for verdadeira, ento a implicao a ca p1 p2 pn c ser verdadeira a Um argumento invlido se a concluso no conseqncia das pree a a a e ue missas. Isto , mesmo no caso em que as premissas sejam verdadeiras, e a concluso pode ser falsa. Um argumento invlido tambm chamado a a e e de falcia. a

Exemplo 14 Vamos considerar o seguinte argumento: Premissas: p1 : p2 : Se voc estudar, voc passar no teste. e e a Voc estuda. e

Concluso: a c: Voc passar no teste. e a Suponhamos que uma condio suciente para passar no teste estudar. ca e Isto , vamos considerar que caso voc estude, ento voc passar no teste. e e a e a Voc estuda! A concluso : voc passar no teste. e a e e a Vamos analisar mais detalhadamente a situao. Temos apenas duas ca proposies bsicas: co a p: Voc estuda. e q: Voc passa no teste. e Devemos vericar que, quando p q e q so verdadeiras, a implicao a ca ((p q) p) q ser verdadeira. a Vamos usar uma tabela-verdade.
CEDERJ 32

Argumentos e Provas

MODULO 3 - AULA 28

p V V F F

q V F V F

pq V F V V

(p q) p ((p q) p) q V F F F V V V V
Esta tabela apresenta uma situao interessante. Note ca que, independente de qual seja o valor-verdade das proposies p e q, a co proposio ((p q) p) q ca ser verdadeira. Ela um a e exemplo de uma tautologia.

A primeira linha da tabela mostra que, quando p1 = (p q) e p2 = p so ambas verdadeiras, temos que a concluso c = q verdadeira. Isto a a e signica que os argumentos da forma Premissas: pq p q

Concluso: a so vlidos. a a

O argumento que acabamos de exemplicar chamado de mtodo direto e e ou modus ponens. Exemplo 15 Este exemplo ilustrar um outro tipo de argumento muito usado. a Premissas: p1 : p2 : Se no chover, Mateus ir ao parque. a a Se Mateus for ao parque, ele brincar com seus amigos. a

Concluso: a c: Se no chover, Mateus brincar com seus amigos. a a Para analis-lo, vamos considerar as seguintes proposies bsicas: a co a p: No chover. a q: Mateus vai ao parque. r: Mateus brinca com seus amigos. A estrutura deste argumento e Premissas: pq qr pr

Concluso: a

Este argumento vlido. Veja a tabela-verdade: e a


33 CEDERJ

Argumentos e Provas

p V V V V F F F F

q V V F F V V F F

r V F V F V F V F

pq V V F F V V V V

qr V F V V V F V V

pr V F V F V V V V

((p q) (q r)) (p r) V V V V V V V V

As linhas 1, 5, 7 e 8 indicam que sempre que as premissas so verdaa deiras, a concluso verdadeira. a e A Lei do Silogismo arma que os argumentos do tipo pq qr pr

Premissas:

Concluso: a

so vlidos. a a Exemplo 16 Vamos agora considerar a seguinte situao: ca Premissas: p1 : p2 : Se eu ganhar o prmio de m de ano da companhia, ns passaremos e o um m de semana em B zios. u Passamos um (timo) m de semana em B zios. o u

Concluso: a c: Ganhei o (cobiado) prmio da companhia. c e Este argumento formado por apenas duas proposies simples: e co p: Eu ganho o prmio da companhia e e q: Ns passamos um m de semana em B zios. o u A estrutura deste argumento e
CEDERJ 34

Argumentos e Provas

MODULO 3 - AULA 28

Premissas:

pq q p

Concluso: a

Voc j deve estar desconado de alguma coisa errada nesta histria... e a o Realmente, este argumento no vlido! a e a Vejamos a tabela-verdade de ((p q) q) p. p V V F F q V F V F pq V F V V (p q) q V F V F ((p q) q) p V V F V

A terceira linha mostra uma situao onde p1 = (p q) e p2 = q so ca a verdadeiras mas c = p falsa. Compare este exemplo com o exemplo 14, o e chamado mtodo direto. Estes argumentos so parecidos. Cuidado para no e a a os confundir. Para nalizar, vamos resumir os argumentos vlidos que exemplicamos a nesta aula: Mtodo direto: Se voc estudar ento voc passar no teste. Voc e e a e a e estuda. Ento voc passar no teste. a e a Premissas: Concluso: a pq p q

Lei do silogismo: Se no chover, Mateus ir ao parque e, indo ao parque, a a ele brincar com seus amigos. Portanto, se no chover, Mateus brincar a a a com seus amigos. Premissas: Concluso: a pq qr pr

35

CEDERJ

Argumentos e Provas

Exerc cios
Em cada um dos argumentos abaixo, destaque as proposies simples co que compem as premissas e as concluses. Construa uma tabela-verdade o o com base nas proposies simples e nas premissas, concluindo com a coluna co (p1 p2 pn ) c. Determine, ento, a validade ou no do argumento. a a Os trs primeiros exerc e cios da lista esto com a soluo. D a sua prpria a ca e o soluo e ento compare com a soluo dada. V em frente! ca a ca a 1. Se o cachorro escapar, ele pegar o gato. Se o gato for pego, eu estarei a em apuros. Portanto, se o cachorro escapar, eu estarei em apuros. Soluo: Este argumento tm as proposies bsicas ca e co a p: q: r: O cachorro escapa. O cachorro pega o gato. Eu estou em apuros.

O argumento est estruturado da seguinte forma: a p1 = p q: p2 = q r: c = p r: Se o cachorro escapa, ele pegar o gato. a Se o gato for pego (pelo cachorro), eu estarei em apuros. Se o cachorro escapar, eu estarei em apuros.

Este tipo de argumento vlido. A construo da tabela-verdade est e a ca a feita no exemplo 15. Este um argumento validado pela Lei dos Siloe gismos. 2. Todas as pessoas inteligentes gostam de Matemtica. Romeu uma a e pessoa. Romeu no gosta de Matemtica. Portanto, Romeu no a a a e inteligente. Soluo: Note que podemos reescrever o argumento da seguinte maca neira: Se uma pessoa inteligente, ento esta pessoa gosta de Mae a temtica. Romeu uma pessoa e no gosta de Matemtica. Portanto, a e a a Romeu no inteligente. a e Dessa forma, podemos usar as seguintes proposies bsicas para anaco a lisar o argumento: p: q: r: Uma pessoa inteligente. e Uma pessoa gosta de Matemtica. a Romeu uma pessoa. e

O argumento est estruturado da seguinte maneira: a


CEDERJ 36

Argumentos e Provas

MODULO 3 - AULA 28

Premissas: p1 = p q: p2 = q r: Concluso: a p3 = p r:

Se uma pessoa inteligente, ento esta pessoa gosta e a de Matemtica. a Uma pessoa no gosta de Matemtica e esta pessoa a a Romeu. e Uma pessoa no inteligente e esta pessoa Romeu. a e e

Para analisarmos a validade do argumento temos que saber se, sempre que as premissas forem verdadeiras, a concluso ser verdadeira ou, a a equivalentemente, se a implicao (p1 p2 ) p3 verdadeira. Ou seja, ca e vamos fazer a tabela-verdade da proposio ((p q) ( q r)) ( ca p r). Vamos chamar de p1 a proposio p q e de p2 a proposiao ca c q r. p V V V V F F F F q V V F F V V F F r V F V F V F V F pq V V F F V V V V qr F F V F F F V F p1 p2 F F F F F F V F pr F F F F V F V F (p1 p2 ) p3 V V V V V V V V

A linha sete a unica onde as premissas, p1 = p q e p2 = q r, so e a ca ambas verdadeiras. A concluso p3 , bem como a proposio (p1 p2 ) a p3 , so verdadeiras. Isto quer dizer que o argumento vlido. a e a 3. Se Alfredo comer lagosta, ele car feliz. Alfredo come lagosta. Podea mos concluir que ele est feliz. a 4. Se eu trabalhar com anco, terminarei de pintar minha cerca. Se eu no a car batendo papo com os amigos, eu trabalharei com anco. Eu no a terminei de pintar minha cerca. Podemos concluir que quei batendo papo com meus amigos. 5. Se eu comer agrio todos os dias, eu viverei mais do que 80 anos. Eu a no como agrio todos os dias. Lamentavelmente eu no chegarei a a a a ` veneranda idade de 80 anos. 6. Se, ao dirigir meu carro, eu no ultrapassar os 80 km por hora, eu no a a provocarei acidentes. Eu dirijo meu carro a 100 km por hora. Portanto, eu provocarei acidentes.
37 CEDERJ

Argumentos e Provas

7. Se zer bom tempo, dar praia. Se eu levar minha bola de vlei, Maa o riana car super feliz. Deu praia, mas Mariana no cou super feliz. a a Podemos concluir que, eu, cabea de bagre, esqueci minha bola de vlei. c o 8. Se Maria vier, Joana vir. Se Carla no vier, Joana no vir. Podemos a a a a concluir que, se Maria vier, Carla vir. a 9. Se Luiz souber poupar seu dinheiro, ele car rico. Se Luiz car rico, a ele comprar um carro novo. Luiz comprou um carro novo. Podemos, a ento, concluir que ele soube poupar seu dinheiro. a

Auto-avaliao ca
Voc deve ter notado que esta aula foi diferente da aula anterior. Ela e contm menos informaes, mas estas requerem um tipo diferente de ateno. e co ca E necessrio um tempo maior de reexo. Leia os exemplos vagarosamente. a a Dedique ateno aos exerc ca cios propostos. Aproveite!

CEDERJ

38

Estratgias bsicas para demonstraes em Matemtica e a co a

MODULO 3 - AULA 29

Aula 29 Estratgias bsicas para e a demonstraes em Matemtica co a Objetivo


Esta ser uma aula prtica. Nela voc poder vericar, pelo menos em a a e a algumas situaes simples, como o matemtico faz uso da lgica. co a o A maioria das proposies (ou das funes proposicionais) com que co co lidamos em Matemtica so da forma p q ou p q. Isto , implicaes e a a e co bicondicionais. Como a bicondicional p q equivalente a (p q)(q p), e ` consideraremos apenas o caso de implicaes. co Aqui est um exemplo: a Teorema 1 Se n e mpar ento n2 a e mpar. e mpar). Este teorema tem a forma p q com (p: n e mpar) e (q: n2 A proposio p a hiptese e q a concluso ou tese. ca e o e a H trs situaes onde a proposio p q verdadeira: a e co ca e 1. Quando p e q so ambas verdadeiras; a 2. Quando p falsa e q verdadeira; e e 3. Quando p e q so ambas falsas. a Note que se p falsa, independentemente do valor-verdade de q, a e proposio p q ser verdadeira. Conseq entemente devemos nos preocupar ca a u apenas com a situao em que p verdadeira. Neste caso, p q ser ca e a verdadeira apenas quando q for verdadeira. Resumindo, para provar que p q verdadeira, isto , para provar que e e p implica q, basta assumir que p verdadeira e, sob esta condio, mostrar e ca que q verdadeira. Esta estratgia chamada de mtodo direto. e e e e Vamos us-la para demonstrar o teorema 1. a Comeamos assumindo que p, a hiptese, verdadeira. Isto , supomos c o e e que n e mpar. Portanto, podemos armar que existe um inteiro k tal que n = 2k + 1. Mas, ento, n2 = (2k + 1)2 = (2k + 1)(2k + 1) = 4k 2 + 4k + 1. E a claro que podemos, fazendo l = 2k 2 +2k, escrever n2 = 2(2k 2 +2k)+1 = 2l+1.
39 CEDERJ Apresentando teoremas... Armar que n um nmero e u mpar signica dizer que n e um nmero inteiro da forma u 2k + 1 para algum inteiro k. Em particular, 201 e mpar bem como 2001.

Estratgias bsicas para demonstraes em Matemtica e a co a

Isto quer dizer que a tese, q : n2 e mpar, verdadeira e o teorema 1 est e a provado. Os argumentos anteriores nos levam mais alm do que espervamos. e a Na verdade, pode-se provar o seguinte teorema: Teorema 2 Se n e mpar, ento n2 da forma 8m + 1, para algum inteiro m. a e Realmente, consideremos alguns exemplos: 52 = 25 = 83+1 92 = 81 = 8 10 + 1 2 = 121 = 8 15 + 1 11 2 1307 = 1708248 = 8 213531 + 1. Note que, por mais convincentes que estas evidncias possam ser, e elas no so sucientes para provar o teorema. a a Tente voc, usando o mtodo direto, provar o teorema 2. e e Lembre-se agora que a proposio p q equivalente ` proposio ca e a ca q p, chamada contrapositiva. Isto nos d uma segunda estratgia a e para demonstrar teoremas com enunciados da forma p implica q. Usamos o mtodo direto na sua contrapositiva. Em outras palavras, assumimos que e q verdadeira e provamos que p verdadeira. e e
Dizemos que uma funo ca f : A B injetora se para e todos elementos a e b A, com a = b, tivermos f (a) = f (b). Isto , a funo e ca transforma elementos diferentes de A em elementos diferentes em B. As funes f : R R co denidas por f (x) = ax + b, onde a e b so nmeros reais, a u so chamadas de funoes a c ans.

Vamos a um exemplo. Queremos provar o seguinte teorema. Teorema 3 A funo am f : R R, denida por f (x) = 3x 5, injetora. ca e Devemos provar que x = y implica 3x 5 = 3y 5. Usando o mtodo e da contrapositiva, vamos mostrar que 3x 5 = 3y 5 implica x = y. Ora, se a 3x 5 = 3y 5, somarmos 5 a ambos os lados da igualdade, obteremos 3x = 3y. Agora podemos multiplicar esta igualdade por 1 para obtermos 3 x = y. Isto conclui a prova. Experimente escrever o seguinte teorema na forma contrapositiva. Teorema 4 Se x + 2y = 0 ou x + 3y = 0, ento x2 + y 2 = 0. a Lembre-se de que (p1 p2 ) ( p1 ) ( p2 ). A estratgia, que exemplicaremos agora, chama-se mtodo da cone e tradio ou reduo ao absurdo (em latim, reductio ad absurdum) e se baseia ca ca

CEDERJ

40

Estratgias bsicas para demonstraes em Matemtica e a co a

MODULO 3 - AULA 29

no seguinte: a implicao p q falsa apenas no caso em que p verdadeira ca e e e q falsa. e Comeamos a prova assumindo que isto acontece e tentamos chegar a c uma contradio. Ao chegar a uma contradio, conclu ca ca mos que a possibilidade suposta no ocorre e, portanto, a implicao p q ca demonstrada. a ca Este mtodo poderoso, extremamente util. A diculdade que ele apree e senta, comparado com os mtodos vistos anteriormente, que nos outros e e casos sab amos exatamente onde comear e onde terminar. J no caso do c a mtodo da contradio, no sabemos, antecipadamente, qual ser a cone ca a a tradio. Mas, chega de conversa e vamos a um exemplo. ca Teorema 5 Se r R um n mero real tal que r 2 = 2, ento r no racional. e u a a e Lembre-se de que um n mero real r R dito racional se puder ser u e escrito da forma r = m , onde m e n so n meros inteiros. A hiptese p a u o n 2 a e a e a que r = 2 e a concluso q que r no racional. Ento consideremos e 2 p ( q). Isto , vamos assumir que r = 2 e que existem inteiros m e n e tais que r = m . Vamos agora mexer nosso caldo para ver se conseguimos um n bom piro. Ou seja, vamos navegar com estas informaes, acrescentando a co fatos conhecidos, para ver se chegamos a tal contradio. Quando lidamos ` ca com uma frao, a primeira coisa a fazer escrev-la da maneira mais simples ca e e 30 6 poss vel. Ningum vai usar 25 mas, sim, 5 . Isto , sempre que lidarmos com e e uma frao, conveniente usar como numerador e denominador, nmeros ca e u que no tenham divisores comuns. Vamos, portanto, supor que os divisores a comuns de m e n foram simplicados. Em termos cient cos podemos dizer m2 2 que m e n so primos entre si. Agora, r = n2 = 2 nos d que m2 = 2n2 e a a e e e conclu mos que m2 par, logo, m par. Isto , m = 2l para algum inteiro l. Mexendo mais um pouco na nossa panela, temos m2 = (2l)2 = 4l2 = 2n2 e, portanto, n2 = 2l2 . Novamente, n2 par implica n par. Bom, podemos e parar de mexer, pois o piro j est no ponto. Lembre-se de que comeamos a a a c com m e n primos entre si. Isto , m e n no tm divisores comuns. Mas e a e agora descobrimos que m e n so ambos pares e, portanto, ambos divis a veis por 2. Isto uma slida contradio e o teorema est demonstrado. e o ca a A demonstrao que acabamos de apresentar foi registrada em Primeica ros Anal ticos, uma das obras do Organum, de Aristteles. Este resultado o historicamente muito importante. Na antiga Grcia, houve um grupo de e e matemticos chamados pitagricos que, sob a liderana de Pitgoras, proa o c a duziram uma quantidade considervel de Matemtica. Eles acreditavam que a a
41 CEDERJ

Note que a contrapositiva do teorema 1 : Se n2 no e a e mpar, ento n no a a e mpar que pode ser escrita como Se n2 par, ento n par. e a e

Estratgias bsicas para demonstraes em Matemtica e a co a

Dizemos que os segmentos AB e CD so comensurveis a a se existe uma unidade de comprimento u tal que AB e CD podem ser ambos divididos justamente por u. Isto , existem inteiros m e n e tais que AB = m u e CD = n u.

Pitgoras de Samos a

Eudoxus de Cnido (408? 335? a.C.) foi aluno de Plato em sua Academia e a chegou a dirigi-la na ausncia do mestre. Foi e neste per odo que l chegou, a vindo da Macednia, o jovem o Aristteles. Eudoxus era de o origem humilde e, enquanto foi estudante, morava num bairro do subrbio de u Atenas. O que hoje chamamos de Axioma de Arquimedes, , na verdade, e devido a Eudoxus. Um de seus resultados diz que se a e A so as reas de dois a a c rculos c e C, de dimetros a d e D, respectivamente, d2 ento, A = D 2 . Este fato, a a se considerarmos que a rea a do c culo c dada pela e frmula a = ( d )2 , fcil de o e a 2 ser demonstrado. O caso e que esta informao no era ca a dispon vel no tempo de Eudoxus. Podemos dizer que o resultado de Eudoxus foi o primeiro passo importante na direo do entendimento ca da frmula para a rea do o a c rculo.

quaisquer dois segmentos de reta eram comensurveis. Isto corresponde, de a alguma maneira, a acreditar que todos os nmeros reais so racionais. O u a erro cometido por eles no grosseiro. H muitas sutilezas envolvidas nestes a e a racioc nios. Veja que a maioria da populao lida, apenas, com os nmeros ca u racionais e nem se d conta disto. Acontece que os Pitagricos acabaram pera o cebendo que o lado de um quadrado e sua diagonal no so comensurveis. a a a Veja que se tomamos um quadrado de lado 1, sua diagonal mede 2 . Tal descoberta teve um impacto muito profundo entre os pitagricos. A razo o a disso que um grande n mero de teoremas de Geometria havia sido proe u vado usando como verdadeiro o fato de que quaisquer dois segmentos so a comensurveis. Todas estas provas estavam erradas. Veja que os teoremas a continuaram sendo verdadeiros, mas era necessrio produzir novas provas. a A histria conta que Hippasus acabou sendo jogado no mar com um bom o n mero de pedras amarradas em seus ps, bem ao estilo maoso dos podeu e rosos chefes. A verdade que a comunidade precisou de um bom tempo o e para se recuperar deste episdio e aceitar este fato. Mais tarde, o grande o matemtico Eudoxos, contemporneo de Plato e Aristteles, produziu um a a a o mtodo capaz de prover as demonstraes que caram faltando. e co Uma das obras mais importantes na literatura matemtica, devido a a sua profunda inuncia, e que se tornou modelo para muitas outras, so os e a Elementos de Euclides. Quando mencionamos Euclides e seus Elementos, pensamos logo na Geometria. No entanto, Euclides tambm ocupou-se da e Teoria de N meros. Uma importante revelao da Teoria de N meros foi u ca u a seguinte: o conjunto dos n meros primos innito. E claro que a noo u e ca de conjunto no existia naquela poca, mas a demonstrao a mesma, e a e ca e e muito bonita. Vamos denotar por P o conjunto dos nmeros primos: u P = { p N | p primo }. e Teorema 6 Se A P nito, ento A um subconjunto prprio de P. e a e o Vamos provar este teorema usando o mtodo da contradio. Devemos e ca lembrar o seguinte: para provar que p implica q, consideramos p ( q) e isto deve gerar uma contradio. No nosso caso, p A P nito e q ca e e e A diferente de P. Note que p ( q) equivalente a dizer que P nito, e e e pois supomos A nito e A = P. Como A nito, podemos listar seus elementos: e A = { p1 , p2 , p3 , . . . , pn }.

CEDERJ

42

Estratgias bsicas para demonstraes em Matemtica e a co a

MODULO 3 - AULA 29

A contradio ocorrer quando produzirmos um n mero primo que no ca a u a est listado, isto , um elemento de P que no pertence a A. Aqui onde a e a e reside toda a genialidade e beleza da demonstrao. Consideremos o nmero ca u p = p1 p 2 p 3 p n + 1 e que maior do que qualquer um dos pi . Agora, ou p primo, e teremos o e nosso extra primo, ou ele tem fatores primos que so distintos dos pi , e, de a novo, temos novos primos que no esto listados. a a Vamos analisar a segunda possibilidade mais atentamente. Suponhamos ento que p no seja primo. Euclides havia demonstrado antes que, a a neste caso, p tem algum fator primo. Vamos cham-lo de q. Veremos que q a e a diferente de todos os pi . Realmente, vamos supor que q = p1 . Ento q divide p = p1 p2 p3 pn + 1 e divide p1 p2 p3 pn . Se um n mero u divide dois outros n meros, ento ele tambm divide a diferena entre eles. u a e c Ora, isto signica que q divide a diferena c (p1 p2 p3 pn + 1) (p1 p2 p3 pn ) = 1 Como q maior ou igual que 2, esta armao um absurdo e, portanto, e ca e q no igual a p1 . Analogamente, q = pi para todos os outros valores de i. a e Ento, q um n mero primo que no estava na lista. Vamos exemplicar. a e u a Caso a nossa lista inicial fosse A = { 2, 3, 5 }, ter amos p = 2 3 5 + 1 = 31, que um n mero primo. e u Caso a nossa lista fosse A = { 3, 5, 7 }, o valor de p seria 357+1 = 106, que no primo. No entanto, 106 = 253 a e e, ambos fatores, 2 e 53 servem para fazer o papel de q. A prxima estratgia de demonstrao que consideraremos chamada o e ca e de Mtodo de Induo Finita. Este mtodo baseia-se no chamado Princpio e ca e da Boa Ordem. Princ pio da Boa Ordem. Todo subconjunto no-vazio dos inteiros a positivos possui um elemento que o menor de todos eles. e

43

CEDERJ

Estratgias bsicas para demonstraes em Matemtica e a co a

O mtodo da induo nita util, quando queremos provar que uma e ca e funo proposicional p(n) verdadeira para todo inteiro n 1. ca e Para tanto, basta mostrar o seguinte: PIF-1. p(1) verdadeira. e PIF-2. p(n) p(n + 1). Para justicarmos este mtodo usaremos o Princ e pio da Boa Ordem e o mtodo da contradio. As nossas hipteses so PIF-1 e PIF-2 e a tese e ca o a p(n) verdadeira para todo inteiro n 1. Vamos ver que PIF-1, PIF-2 e e mais a negao da concluso geram uma contradio. A maneira pela qual ca a ca faremos isto a seguinte: consideremos B o conjunto dos n meros inteiros k e u tais que p(k) falsa. A concluso equivalente a dizer que B = . Vamos, e a e ento, supor que: a PIF-1 e PIF-2 so verdadeiras; a B = .
Esta demonstrao uma ca e prola da Matemtica. Estas e a idias podem ser melhor e expressas usando o Teorema da Fatorao Unica para ca inteiros ou Teorema Fundamental da Aritmtica. e Ele arma que todo nmero u inteiro, maior do que 1, pode ser representado de maneira unica como um produto de fatores primos (a menos de mudana na ordem, como c 6 = 2 3 = 3 2). Uma demonstrao do Teorema ca Fundamental da Algebra pode ser encontrada no livro de Jos Pl e nio [3]. Este assunto ser abordado, a propriamente, ao longo da sua graduao. Isto no ca a impede que voc queira dar e uma espiadinha no que vem por a . . .

e Pelo Princ pio da Boa Ordem, existe um n mero k0 tal que p(k0 ) u falsa e k0 o menor elemento de B com esta propriedade. De PIF-1, 1 B e / , e, portanto, k0 2. Da subtraindo 1 de ambos os lados da desigualdade, temos k0 1 1. Como k0 1 < k0 e k0 o menor elemento de B, podemos e / e concluir que k0 1 B e, portanto, p(k0 1) verdadeira. Agora, PIF-2 verdadeira nos diz que, como p(k0 1) verdadeira, ento p(k0 ) tambm e a e e / verdadeira. Contradio! Isto quer dizer que k0 B! ca Vamos agora usar o mtodo da induo nita para demonstrar o see ca guinte: Teorema 7 Para todo inteiro n 1,
n

j = 1 + 2 + 3 + + (n 2) + (n 1) + n =
j=1

n(n + 1) . 2

Note que este teorema um caso particular do clculo da soma dos e a termos de uma progresso aritmtica. Por exemplo, se n = 3, ento 1+2+3 = a e a 34 = 6, o que verdadeiro. e 2 Para demonstrar teoremas deste tipo, o mtodo de induo nita a e ca e ferramenta adequada.

CEDERJ

44

Estratgias bsicas para demonstraes em Matemtica e a co a

MODULO 3 - AULA 29

Comeamos com PIF-1. Fazendo n = 1 nos d 1 = 12 , que verdac a e 2 deiro. Vamos agora demonstrar que p(k) p(k + 1). Usaremos o mtodo e k(k+1) direto, assumindo que 1 + 2 + 3 + + k igual a 2 . Queremos mostrar e que (k + 1)(k + 2) . 1 + 2 + 3 + + k + (k + 1) = 2 Realmente, 1 + 2 + + k + (k + 1) = [1 + 2 + + k] + (k + 1) = Agora, [k(k + 1) + 2(k + 1)] (k + 2)(k + 1) (k + 1)(k + 2) k(k + 1) +k+1 = = = . 2 2 2 2 Isto completa a demonstrao. ca H uma histria a respeito desta frmula, envolvendo um dos maiores a o o matemticos que j houve, chamado Carl Friedrich Gauss. No tempo em a a que Gauss ia a escola, os alunos usavam uma pequena lousa e giz. Numa ` particular manh, os pequenos estavam mais agitados do que o normal e a o mestre resolveu dar uma tarefa maior para mant-los ocupados por mais e tempo. Ele mandou que somassem todos os n meros inteiros, de 1 at 100. u e Quando sentou-se em sua cadeira, esperando passar alguns minutos em paz, o pegueno Carl estendeu sua lousa com a resposta correta, 5050, dizendo: Aqui est! O mestre, muito surpreso, quis saber como ele chegara to rapidamente a a a `quela resposta. O pequeno gnio de dez anos explicou: tome duas vezes estes e n meros e arranje-os, uns debaixo dos outros, propriamente: u 1 + 2 + 100 + 99 + 101 + 101 + 3 + ... 98 + . . . 101 + . . . + 99 + + 2 + + 101 + 100 1 101 k(k + 1) + (k + 1). 2

Assim, temos 100 parcelas de 101 cada uma, que somam 10100. Agora, s temos que dividir este nmero por dois, pois iniciamos a conta dobrando o u o que quer amos originalmente somar!

Exerc cios
1. Usando o Mtodo da Induo Finita, prove que as seguintes igualdades e ca so verdfadeiras para todos os inteiros n > 1: a

Carl Friedrich Gauss (1777 1855) foi um dos maiores matemticos de que se tem a not cia. Suas contribuies co cobrem quase todas as reas a da Matemtica, como a Geometria, Teoria de Nmeros, Anlise Complexa. u a Foi tambm f e sico e astrnomo. O primeiro o problema importante que ele resolveu foi o seguinte: desde o per odo clssico da a Matemtica na Grcia a e antiga, os unicos pol gonos regulares (todos os lados de medidas iguais), com um nmero primo de lados, que u se sabia construir com rgua e e compasso, eram o tringulo a e o pentgono. Gauss, com a menos de 19 anos, descobriu como construir, com rgua e e compasso, um pol gono regular de 17 lados. Ao completar esta faanha, c estava avanando num c problema que permanecera parado por mais de 2000 anos!

45

CEDERJ

Estratgias bsicas para demonstraes em Matemtica e a co a

(a) 1 + 2 + 4 + + 2n = 2n+1 1. Soluo: (PIF-1.) Se n = 1, a armao verdadeira: 1 + 21 = ca ca e 2 2 1. (PIF-2.) Devemos supor que a igualdade 1+2+4+ +2n = 2n+1 1 seja verdadeira e provar que 1+2+4+ +2n +2n+1 = 2n+2 1. Realmente, 1 + 2 + 4 + + 2n+1 = (1 + 2 + 4 + + 2n ) + 2n+1 = (2n+1 1) + 2n+1 = 2n+1 + 2n+1 1 = 2 2n+1 1 = 2n+2 1. (b) 1 + 2 2! + 3 3! + + n n! = (n + 1)!1. (c)
1 12

1 23

1 34

++

1 n(n+1)

n . n+1

2. Mostre que para todo inteiro n > 4, 2n n!. 3. Prove que se n um n mero inteiro, ento e u a n(n + 1)(2n + 1) 6 um n mero inteiro. e u

Novamente podemos dizer que esta aula foi diferente das anteriores. Voc gostou? Matemtica deve ser uma fonte de satisfao. Voc poder e a ca e a rever esta aula de quando em quando, a medida que for avanando no curso. ` c

CEDERJ

46

Circuitos Lgicos o

MODULO 3 - AULA 30

Aula 30 Circuitos Lgicos o Objetivo


Na aula anterior vimos como a lgica usada na Matemtica. Nesta o e a aula veremos como ela desempenha um papel importante em outra rea a de atividade. Uma das caracter sticas mais marcantes de nossos dias o termo digie tal. O universo est tomado por computadores, telefonia digital, transmisso a a de dados via satlite, alm de uma variedade de aparatos como agendas e e eletrnicas, calculadoras, relgios digitais, aparelhos que tocam CDs, DVDs o o etc. Campos dos mais diversos como o da medicina, o da m dia, o da comunidade econmica tm como imprescind o uso destas mquinas maravilhoo e vel a sas. No corao de qualquer um destes equipamentos eletrnicos, onde sinais ca o devem ser selecionados ou combinados de maneira controlada, encontram-se os circuitos que so denominados circuitos lgicos ou circuitos digitais. a o

George Boole (1815 - 1864), matemtico ingls. a e Para ns, humanos, natural o e operar com dez d gitos. No entanto, isto no ocorre com a os computadores. Para uma mquina usar dez d a gitos e necessrio que ela opere com a dez n veis diferentes de voltagem - um para cada d gito - o que acarretaria em uma grande complexidade em projetar e construir os computadores. Para operar com apenas com dois d gitos necessrio reconhecer e a apenas dois tipos de sinais: presena ou ausncia de c e tenso eltrica (alta ou baixa a e voltagem). Este aspecto prtico da construo dos a ca computadores encontrou sua alma-gmea terica no e o trabalho de Boole.

O que so e para que servem os circuitos lgicos? a o


Eles so usados para produzir decises do tipo verdadeiro ou falso, a o baseados nas m ltiplas entradas de sinais do tipo verdadeiro ou falso. u Os sinais num circuito lgico so de dois tipos: tenso eltrica alta o a a e (ligado) ou tenso eltrica baixa (desligado). Eles so formados por linhas a e a condutoras, chamadas de entradas, que recebero os sinais iniciais e que a esto ligadas umas as outras por conectores diversos, chamados de portas, e a ` terminam em uma sa que emitir o sinal resultante. Na verdade, as portas da a so os tipos mais bsicos, mais elementares, de circuitos lgicos. O n de a a o vel voltagem na sa de cada um deles depende dos sinais dados nas entradas, da de acordo com as leis da lgica. A voltagem (tenso eltrica) alta corresponde o a e ao valor-verdade verdadeiro, enquanto que a voltagem baixa corresponde ao valor-verdade falso. As trs portas bsicas esto listadas, abaixo, com os seus respectivos e a a diagramas: 1. Porta de inverso ou porta NAO a
p

~p

47

CEDERJ

Circuitos Lgicos o

2. Porta E
p q p

^q

3. Porta OU
p

Eles so chamados de circuitos lgicos, pois a cada um deles corresa o ponde uma funo proposicional e vice-versa. A cada entrada corresponde ca uma varivel proposicional. Estas entradas esto ligadas pelas portas, que a a correspondem aos conectores. Vamos a um exemplo. Exemplo 17 Vamos construir o circuito lgico correspondente ` funo proposicional (p o a ca q) r. Note que esta funo proposicional tem trs proposies bsicas, as ca e co a variveis proposicionais p, q e r. Isto signica que nosso circuito contar com a a trs entradas, correspondentes a cada uma delas. Note tambm que p q e e e r fazem parte da nossa funo proposicional. Comearemos a construo ca c ca do circuito montando estas partes:

q r

~r

Agora, para completar o circuito, fazemos a conexo destas duas partes a com uma porta E:
p q r (p

q)

CEDERJ

48

^~r

Circuitos Lgicos o

MODULO 3 - AULA 30

A tabela-verdade desta proposio nos d informao sobre o funcioca a ca namento do circuito. Por exemplo, suponhamos que queremos saber sob que circunstncias teremos como sa um sinal de alta voltagem. Isto a da e equivalente a querer saber quando (p q) r verdadeira. e A tabela-verdade : e p V V V V F F F F q V V F F V V F F r V F V F V F V F pq V V V V V V F F r F V F V F V F V (p q) r F V F V F V F F

A tabela indica que a sa estar ligada, isto , teremos um sinal de da a e alta voltagem, quando a entrada r estiver desligada e pelo menos uma das fontes p ou q estiver ligada. E muito usado construir uma tabela usando apenas os d gitos 0 e 1 no lugar das letras F e V. A vantagem disto que podemos operar com os e n meros, usando a seguinte regra: (ou) funciona como soma enquanto que u (e) funciona como produto. Temos apenas que considerar uma pequena excentricidade. Como estamos operando apenas com os d gitos 0 e 1, a soma de 1 com 1 resulta 1 (1 1 = 1). p 1 1 0 0 q 1 0 1 0 pq 1 1 1 0 p 1 1 0 0 q 1 0 1 0 pq 1 0 0 0

O comutador apenas reverte de um d gito para o outro. p 1 0 p 0 1

49

CEDERJ

Circuitos Lgicos o

Exemplo 18 A tabela do circuito lgico equivalente a funo proposicional (p q) r o ` ca pode ser escrita usando o sistema binrio: a p 1 1 1 1 0 0 0 0 q 1 1 0 0 1 1 0 0 r 1 0 1 0 1 0 1 0 pq 1 1 1 1 1 1 0 0 r 0 1 0 1 0 1 0 1 (p q) r 0 1 0 1 0 1 0 0

A sa emitir sinal de alta voltagem (ligada) nos casos onde o nmero da a u 1 aparece. Isto ocorrer em trs situaes: sempre que a entrada r estiver a e co ligada aparecer o d a gito 0 na coluna r e, pelo menos, uma das entradas p ou q estiver ligada. Situaes Prticas co a Vamos agora considerar duas situaes prticas que requerem consco a truo de circuitos lgicos. ca o Exemplo 19 Queremos instalar uma campainha num carro (sa da) que soar caso o moa torista desligue a chave de ignio (entrada) com os faris acesos (entrada). ca o Vamos construir a tabela-verdade associada a esta situao. Note que a camca painha deve soar apenas quando os faris estiverem acesos e a ignio estiver o ca desligada. Ignio ca 1 1 0 0 Faris o 1 0 1 0 Campainha 0 0 1 0

Esta a tabela-verdade da funo proposicional i f : e ca


CEDERJ 50

Circuitos Lgicos o

MODULO 3 - AULA 30

i 1 1 0 0

f 1 0 1 0

i 0 0 1 1

if 0 0 1 0

Este circuito formado de uma porta de inverso no sinal, que vem da e a chave de ignio, e uma porta E unindo os dois sinais resultantes: i e f : ca

i f
Exemplo 20

~ i^ f

Mostre que o circuito de um sistema de alarme contra incndio com dois sene sores de fumaa (entradas) e uma campainha (sa c da) corresponde ao circuito da porta OU. No nosso prximo exemplo, veremos como construir o circuito e fazer a o tabela-verdade correspondente a uma dada funo proposicional. Alm disso, ca e veremos como poss usar as leis da lgica bem como suas equivalncias e vel o e para redesenhar certos circuitos, tornando-os mais compactos. Isto , sob o e ponto de vista terico, eles so equivalentes, mas do ponto de vista prtico o a a os circuitos mais compactos evitam desperd de material e energia. Isto cio e uma porta para uma area muito importante da teoria de circuitos, chamada de otimizao. Mas isto assunto para outra ocasio. Vamos ao exemplo. ca e a Exemplo 21 Vamos desenhar o circuito correspondente ` funo proposicional ( p q) a ca (p q). Numa primeira etapa desenhamos os trechos correspondentes a p q e p q.

p q

~p

~ p^ q
p^ ~ q

~q

51

CEDERJ

Circuitos Lgicos o

Agora fazemos a conexo nal: ( p q) (p q). a


p q

(~ p ^ q) (p ^ ~ q)

Agora vamos construir a tabela-verdade. Teremos duas entradas e vrias combinaes delas: a co p 1 1 0 0 q 1 0 1 0 p 0 0 1 1 q 0 1 0 1 pq 0 0 1 0 pq 0 1 0 0 ( p q) ( p q) 0 1 1 0

Conclu mos que este circuito produzir sinal ligado, quando uma e soa mente uma das duas entradas p e q estiver ligada. Este circuito pode ser substitu por uma unica porta, chamada de OU Exclusivo, que repredo e sentada da seguinte maneira:

Ateno! Vejamos mais um exemplo em que as leis da lgica ajudam ca o a otimizar um dado circuito lgico. o Exemplo 22 O dono de uma casa quer instalar um sistema de alarme que dever ser a acionado (uma campainha C soar), caso qualquer uma de duas janelas, J1 a ou J2 , seja forada, e caso a energia eltrica E esteja ligada. c e Uma primeira companhia apresentou o seguinte projeto:
J1 E J2

CEDERJ

52

Circuitos Lgicos o

MODULO 3 - AULA 30

Este circuito corresponde a seguinte funo proposicional: ` ca (E J1 ) (E J2 ) que tem a seguinte tabela-verdade: E 1 1 1 1 0 0 0 0 J1 1 1 0 0 1 1 0 0 J2 1 0 1 0 1 0 1 0 E J1 1 1 0 0 0 0 0 0 E J2 1 0 1 0 0 0 0 0 (E J1 ) (E J2 ) 1 1 1 0 0 0 0 0

A tabela deixa claro que o fornecimento de energia fundamental para e o funcionamento do sistema. O dono da casa achou que o projeto estava super faturado e solicitou a outra companhia um sistema mais econmico. o A pessoa encarregada do caso, na segunda companhia, analisou a proposio ca (E J1 ) (E J2 ) e lembrou-se das suas aulas de lgica: Leis de Distribuio! o ca p (q r) (p q) (p r). Ele escreveu ento a proposio a ca E (J1 J2 ) que corrresponde ao circuito
C

J1 J2 E

que tem a seguinte tabela-verdade:


53 CEDERJ

Circuitos Lgicos o

E 1 1 1 1 0 0 0 0

J1 1 1 0 0 1 1 0 0

J2 1 0 1 0 1 0 1 0

J1 J2 1 1 1 0 1 1 1 0

E (J1 J2 ) 1 1 1 0 0 0 0 0

As duas tabelas-verdade mostram que os sistemas so equivalentes, a sendo que o segundo sistema utiliza uma porta a menos. Neste sentido ele e melhor que o primeiro.

Exerc cios
1. Desenhe o circuito lgico correspondente ` proposio o a ca (p q) (p r) (q ( r)). Construa sua tabela-verdade e mostre que ele equivalente ao circuito e correspondente a proposio ` ca (p r) (q ( r)). Desenhe o circuito lgico correspondente a esta ultima proposio. o ca 2. Desenhe um circuito lgico com apenas quatro portas e que seja equio valente ao circuito lgico abaixo. Para isto, escreva a proposio coro ca respondente e use as leis da lgica para simplic-la. o a

CEDERJ

54

Circuitos Lgicos o

MODULO 3 - AULA 30

Auto-avaliao ca
Parabns! Voc chegou ao m do mdulo. Nesta ultima aula voc e e o e viu que podemos usar idias matemticas para diversos ns. Em particular, e a deve ter notado que em vez das letras V e F, poss preencher as tabelase vel verdade com os n meros 1 e 0, respectivamente. A vantagem disto que u e podemos usar a algebra descrita logo aps o exemplo 17. o

Sugestes para leitura complementar: o


[1] Aristteles de Estagira - Aristteles, Volume 3 da Coleo Os Peno o ca sadores, Editora Nova Cultural, 2000 [2] Durant, W. - A Histria da Filosoa, Editora Nova Cultural, 2000 o [3] Santos, Jos Pl e nio de Oliveira - Introduo ` Teoria de Nmeros, ca a u Coleo Matemtica Universitria, IMPA, 1998 ca a a

55

CEDERJ