Proposioes e Conectivos c

MODULO 3 - AULA 26

Aula 26 Proposioes e Conectivos c

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

Objetivos
Depois de estudar o contedo 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 demonstraoes. Mais a e c 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 abstraao, a a c a preciso, o rigor lgico e a diversidade de suas aplicaoes. a o c 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 tuaoes. c 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 a esquerda de Plato, ` 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 informaao sobre eles, c veja a coleao Os Pensadores c [1]. Voc pode ver, tambm, e e o cap tulo sobre Aristteles o do livro de Will Durant [2].

Proposioes c
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
7 CEDERJ As sentenas declarativas c podem ser armativas ou negativas.

Proposioes e Conectivos c

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, as quais podemos atribuir um valor-verdade, isto , cada sentena ` 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 estaao mais fria do ano. a e c 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 8 3 2

, so verdaa

Proposioes e Conectivos c

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 situaao parecida pode surgir no contexto matemtico. A c 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 geraoes futuras pela sua c modstia e amor pelo e conhecimento.

Funoes Proposicionais c Expresses que contm uma ou mais variveis, so chamadas de funoes o e a a c proposicionais. Quando as variveis so substitu a a das por constantes, a expresso torna-se uma proposiao (verdadeira ou falsa, conforme as a c constantes atribu das).

Por exemplo, x homem. Essa funao proposicional torna-se uma e c proposiao verdadeira se x = Scrates e falsa se x = Argos. Estas expresses c 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 demonstraao de novos teoremas. E desta e c 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 proposioes. c a c Usamos letras minsculas, como p ou q, para representar proposioes. u c

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

CEDERJ

Proposioes e Conectivos c

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

Conectivos e proposioes compostas c

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 negaao, podemos construir novas proposioes a partir de e c c outras proposioes dadas inicialmente. Estas novas proposioes so chamadas c c a de proposioes compostas. c Usando duas proposioes p e q podemos construir uma nova proposiao, c c p e q, chamada de conjunao de p e q. Usamos o s c 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 situaao ela ser falsa. c 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 nmero primo. e e u

Uma vez que 187 = 11 17, a proposiao 187 um nmero primo c e u e falsa e, apesar de 16 igual a 4 ser verdadeira, a proposiao composta e c 16 igual a 4 e 187 um nmero primo falsa. e e u e
CEDERJ 10

Proposioes e Conectivos c

MODULO 3 - AULA 26

A partir de duas proposioes p e q tambm podemos construir a proc e posiao composta p ou q, chamada de disjunao de p e q. Usamos o c c s mbolo pq para represent-la. A proposiao p q verdadeira caso alguma das a c e proposioes p ou q seja verdadeira. Ela ser falsa apenas quando ambas c a proposioes p e q forem falsas. c
l-se p ou q e

Exemplo 3

e e u e A proposiao composta 16 igual a 4 ou 187 um nmero primo c verdadeira. Outro exemplo: podemos armar que a proposiao: c um nmero irracional ou e u
1 3

>

1 2

verdadeira, baseando-se apenas no fato de que um nmero 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 proposiao a partir de uma inic cial, simplesmente negando-a. Usamos a notaao c p, para indicar a negaao da proposiao p. As proposioes p e p tm c c c e valores-verdade opostos. Este fato conhecido como o Princ e pio da Contradiao. c 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 proposioes contraditrias c o uma verdadeira e a outra falsa. e e
11 CEDERJ l-se no p e a

Proposioes e Conectivos c

Duas proposioes so contraditrias quando uma a negaao da outra. c a o e c 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 proposiao cuja veracidade no requer demonstraao, como no Princ c a c pio da Identidade, da Contradiao e do Terceiro Exclu c do, enunciados anteriormente.
Aristteles (384 - 322 a.C.) o Os princ pios de identidade, da contradiao e do terceiro c exclu do, apesar de sua simplicidade, so a fundamentais. Aristteles o formulou o Princ pio da Contradiao de, pelo menos, c duas maneiras: Nada pode ser e no ser a simultaneamente e E necessrio que toda asserao a c seja armativa ou negativa. O Princ pio do Terceiro Exclu foi derivado do do Princ pio da Contradiao c muito mais tarde, no sculo e XVIII. Eles se completam para determinar que as proposioes simples so, ou c a verdadeiras, ou falsas. Por esta razo, diz-se que a a lgica clssica bivalente. o a e

Nota
A F sica tambm usa esta palavra neste sentido, como em Princ e pio da Indeterminaao de Heisenberg, proposto em 1927 por Werner Heisenberg c e faz parte da teoria quntica. Esta teoria bastante complicada, mas ela a e explica o comportamento dos atomos. O Princ da Indeterminaao diz que pio c a posiao e a velocidade das part c 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 armaao que deve ser demonstrada. c

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 funao indicar o universo cio a c e sobre o qual ser feita a armaao. Exemplos: para todo, cada, existe a c um, existe uma, no existe algum, no existe alguma, nenhum, a a nenhuma, qualquer um, qualquer uma ... Exemplo 4 As seguintes proposioes tm o mesmo signicado: c 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

12

Proposioes e Conectivos c

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 proposiao verdadeira. c e

O seguinte exemplo apresenta o quanticador existencial. Mais uma vez, todas as proposioes abaixo tm o mesmo signicado. c 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 armaao verdadeira? c e A resposta sim. O seno do ngulo reto, por exemplo, 1. Isto pode e a e ser expresso da seguinte maneira: sen 2 = 1. Os quanticadores universal e existencial so trocados um pelo outro a quando fazemos a negaao de uma proposiao iniciada por um deles. Veja c c como funciona num exemplo: Exemplo 8 A negaao da proposiao c c p: e p: Existe aluno no estudioso. a
13 CEDERJ

Todo aluno estudioso. e

Proposioes e Conectivos c

Uma outra maneira de enunciar a proposiao p seria: h aluno que c a no estudioso. Numa maneira tipicamente matemtica seria: existe pelo a e a menos um aluno no estudioso. a Ateno! A proposiao q: Nenhum aluno estudioso no a ca c e a e negaao de p. c Note a importncia do quanticador usado na formaao da proposiao. a c c As proposioes: c 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 negaao de uma a c proposiao. c 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 proposiao. c Por exemplo, uma proposiao do tipo p q pode ser verdadeira ao mesmo c 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 14

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

Proposioes e Conectivos c

MODULO 3 - AULA 26

Exerc cios
1. Determine quais das frases abaixo so proposioes: a c 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 negaao de cada uma das seguintes proposioes: c c 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
15 CEDERJ

Proposioes e Conectivos c

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

Soluao: Existe um nmero natural x tal que 2 divide x ou 3 divide c u x. Soluao alternativa: Existe um nmero natural x divis por c u vel 2 ou divis por 3. vel x R | sen x = x Q | x2 =
9 . 25 1 n 3 2

x Q, p, q Z | x = p . q r R, r > 0, K N | n > K = < r.

Resumo da Opera
Nesta aula voc aprendeu que: e 1. em lgica, lidamos com proposioes que so sentenas declarativas, cada o c a c uma delas possuindo um valor-verdade, verdadeiro ou falso. A representaao das proposioes se faz por letras minsculas como p, q etc.; c c u 2. para cada proposiao p corresponde a sua negaao: p. As proposioes c c c p e p tm valores-verdade opostos; e 3. dadas duas proposioes p e q, podemos construir duas outras proc posioes: c pq pq (conjunao, p e q ) c (disjunao, p ou q) c

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

Estes quanticadores trocam de papis quando fazemos a negaao de e c uma proposiao. c

CEDERJ

16

Proposioes e Conectivos c

MODULO 3 - AULA 26

Auto-avaliao ca
E muito bom que voc tenha chegado at aqui. Esta primeira aula e e sobre lgica contm informaoes novas e natural que voc tenha dvidas. o e c e e u Lembre-se, s no tem dvidas 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 avaliaao da seguinte maneira: c c 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 proposiao verdadeira ou no, construindo as c e a tabelas-verdade. At l! e a

17

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 posioes compostas. c Aprender tambm as principais leis da lgica e as implicaoes ou a e o c proposioes condicionais. c

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 proposiao sempre, ou verdadeiro (V), ou c e falso (F). O valor-verdade de uma proposiao composta determinado pelos c e valores-verdade de cada uma das proposioes que a compem. Na tabelac o verdade apresentamos todas as possibilidades. Por exemplo, considere a conjunao das proposioes p e q, que denotamos por p q. Lembre-se de que c c p q verdadeira apenas quando ambas proposioes, p e q, so verdadeiras. e c 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 as proposioes p (no p) e p q ` c a (p ou q) so: a

19 CEDERJ

Tabelas-verdade e leis da lgica o

p p V F p F V

pq V V V F

V V V F F V F F

Equivalncia lgica e leis da lgica e o o

E poss expressar uma proposiao de diferentes maneiras. Por exemvel c plo, podemos negar a proposiao Marcos pintor e gosta de pescar c 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 armaoes so ditas logicamente equivalentes. c a Logicamente equivalentes: Duas proposioes so ditas logicamente c a equivalentes quando tm os mesmos valores-verdade em todos os casos e poss veis. Quando duas proposioes, p e q, so equivalentes, usamos a c a seguinte notaao: c p q.

A importncia prtica deste a a conceito a seguinte duas e proposioes logicamente c 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 proposioes so a c a logicamente equivalentes. O exemplo No verdade que Marcos pintor a e e e gosta de pescar um caso particular da situaao (p q) equivalente a e c 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 proposioes (p q) e c 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 proposioes bsicas, p e q. a c a p V V F F
CEDERJ 20

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 negaao. c Comece preenchendo, na tabela, os valores-verdade das proposioes c 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 as proposioes (p q) e p q. ` c p V V F F q V F V F pq V F F F (p q) F V V V p q F F V V F V F V pq F V V V

Veja que na tabela completa podemos comparar as duas colunas correspondentes as proposioes (p q) e p q. Como as duas colunas ` c so iguais, as proposioes so logicamente equivalentes. a c a Resumindo, (p q) p q. Antes de prosseguirmos, tente voc construir a tabela-verdade de e p (q r). A proposiao p (q r) composta por trs proposioes: p, q e r. Sua c e e c 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 proposioes conectadas? c Quantas para n proposioes c conectadas?

21

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 proposioes p q e p q: c 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 proposioes de maneiras diferentes, porm equivalentes, do ponto de c e vista lgico. o A mais simples a lei de idempotncia. e e Lei de Idempotncia: Para qualquer proposiao p, e c

Expressando as Leis da Lgica... o

ppp

p p p.

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

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

CEDERJ

22

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 proposioes: c p: q: r: a: 2 um nmero inteiro; e u 2 maior do que 3; e 2 um nmero primo. e u Conectando-as podemos montar as seguintes proposioes: c 2 um nmero inteiro, ou 2 maior do que 3 e primo. e u e b: 2 um nmero inteiro ou maior do que 3, e 2 um nmero inteiro ou e u e u primo. As proposioes a p (q r) e b (p q) (p r) so logicamente c a equivalentes. Este um caso particular da lei de distributividade. Para e completar o exemplo, vamos determinar o valor-verdade das proposioes. A c proposiao a a proposiao p (q r). E claro que p verdadeira, q falsa c e c e e e r verdadeira. Como q falsa, q r falsa. Mas, sendo p verdadeira, e e e a proposiao nal p (q r) verdadeira. Por sua vez, a proposiao b c e c e a proposiao (p q) (p r). Ento, p q e p r so ambas verdadeiras. c a a Portanto, b uma proposiao verdadeira. e c

Leis de Distributividade: Dadas trs proposioes quaisquer, p, q e r, e c 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
23 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 proposioes e a c 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 proposioes, p e q, c (p q) p q; (p q) p q.

Lembre-se que no exemplo 9 a construao da tabela-verdade mostrou c que as proposioes (pq) e p q so equivalentes. A tabela-verdade c a abaixo mostrar que as proposioes (p q) e p q tambm so a c 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 q F F V V 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 armaao x A ou e c x B. O seu complementar caracterizado pela negaao desta armaao: e c c (x A x B). Pela lei de De Morgan (que acabamos de mostrar) esta armaao equivalente a x A x B, que caracteriza o conjunto c e / / c c A B . Logo, os conjuntos so iguais. a
CEDERJ 24

Tabelas-verdade e leis da lgica o

MODULO 3 - AULA 27

Agora, a demonstraao do segundo caso. Para provar que (A B)c = c 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 negaoes de proa c posioes. Considere a seguinte proposiao: c c Todo nmero par divis por 2 e existe um nmero inteiro n tal que u e vel u 2n = 3. Sua negaao : c e Existe um nmero par que no divis por 2 u a e vel n tal que 2n = 3. e ou todo nmero inteiro u

Finalmente veremos como, em certas situaoes, podemos compactar c uma proposiao. c Leis de Absoro: Para quaisquer duas proposioes, p e q, ca c 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 as proposioes p e p q ` c 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 proposioes a c so logicamente equivalentes: p (p q) p. a

25 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 proposioes c 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)

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

CEDERJ 26

Tabelas-verdade e leis da lgica o

MODULO 3 - AULA 27

Implicaoes ou Proposioes Condicionais c 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 a sua festa. a ` Frases deste tipo interessam particularmente aos matemticos. Aqui a esto alguns exemplos: a e mpar. Se n um inteiro e mpar, ento n2 a a e Se r um nmero 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 a circunferncia do c ` e rculo, ento o tringulo ABC issceles. a a e o
Um tringulo dito issceles a e o se tem dois lados de medidas iguais, ou dois ngulos a internos de medidas iguais.

Sejam p e q duas proposioes. Chamamos a proposiao c c Se p, ento q a de uma implicaao. O conectivo Se . . . , ento . . . caracteriza uma c a condiao. A notaao desta proposiao c c c e p = q A proposiao p chamada de hiptese e a proposiao q de concluso c e o c a ou tese. O valor-verdade da proposiao p = q depende dos valoresc verdade da hiptese e da concluso. Ela falsa apenas quando p o a e e verdade e q falsa. e Na verdade, a proposiao p = q logicamente equivalente a proc e ` posiao p q. Aqui est a tabela-verdade de p q. c 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

Observemos, num exemplo, as diferentes possibilidades de valor-verdade de uma proposiao do tipo p = q. c

27 CEDERJ

Tabelas-verdade e leis da lgica o

Exemplo 12 Vamos considerar o seguinte: Se eu ganhar na loteria, ento ns viajaremos para Fortaleza. a o
Lembre-se da tabela-verdade da proposiao p q: c p V V F F q V F V F pq V F V V

A primeira possibilidade corresponde ` situaao (ideal) p e q verdadeia c 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 armaao p = q no pode ser contestada. Isto corresponde ao c 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 implicaao p = q verdadeira. ue c e Portanto, a unica chance de p = q ser falsa quando temos uma e situaao em que a hiptese verdadeira e a conseqncia falsa. c o e ue e Faa uma anlise semelhante considerando a proposiao c a c 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 proposiao p = q. a c 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 Reescreva a proposiao abaixo de diferente maneiras. c Se recebermos uma boa oferta, venderemos o terreno.

CEDERJ

28

Tabelas-verdade e leis da lgica o

MODULO 3 - AULA 27

Quando trocamos a hiptese pela conseqncia de uma proposiao o ue c p = q, estamos criando uma nova proposiao: c 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 paraao das duas proposioes: c c p V V F F Vamos a um exemplo. Exemplo 13 Tomemos a proposiao do tipo p = q: c Se Linda brasileira, ento ela gosta de samba. e a A converso desta proposiao outra proposiao: a c e c Se Linda gosta de samba, ento ela brasileira. a e Considere as diferentes possibilidades. Especialmente a situaao em c 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 proposiao Se Linda brasileira, ento ela gosta e c 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 proposiao: c Se Linda no gosta de samba, ento ela no brasileira. a a a e Esta proposiao da forma q = p. Vamos calcular a sua tabelac e verdade e compar-la com p = q. a
29 CEDERJ

q V F V F

pq V F V V

qp V V F V

Tabelas-verdade e leis da lgica o

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 proposioes p = q e q = p so logicamente equivalentes. c a

Dada a proposiao p = q, chamamos de contrapositiva a proposiao c c q = p. Elas so logicamente equivalentes. a E util olhar para a contrapositiva pois permite um diferente ponto de vista da mesma proposiao, uma vez que elas so logicamente equivalentes. c a H um tipo de proposiao composta por duas proposioes iniciais p e q a c c 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 proposiao. c

O conectivo se, e somente se dito conectivo bicondicional e denotado e e pelo s mbolo . A proposiao c p q equivalente a proposiao (p q) (q p). A proposiao p q e ` c c tambm pode ser lida como p necessrio e suciente para q e e e a e verdadeira, quando ambas proposioes tm o mesmo valor-verdade. c 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

30

Tabelas-verdade e leis da lgica o

MODULO 3 - AULA 27

Tautologias
Uma tautologia uma proposiao composta que verdadeira qualquer e c e que seja o valor-verdade das proposioes que a compem. Para averiguarmos c o se uma proposiao composta uma tautologia, necessrio fazer sua tabelac e e a verdade. Um exemplo bem simples a proposiao e c p p Sua tabela-verdade e p V F p pp F V 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 proposioes so tautologias: c 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 informaao e para que voc possa familiarizare c 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!
31 CEDERJ

Argumentos e Provas

MODULO 3 - AULA 28

Aula 28 Argumentos e Provas

Objetivo
Nessa aula voc aprender as estratgias bsicas de argumentaao e e a e a c demonstraao. c

Denindo Argumentao ca
Uma argumentaao constitui-se de uma coleao de proposioes (premisc c c sas) e uma proposiao nal (concluso). Do ponto de vista da lgica, para c a o que uma argumentaao seja vlida, necessrio que a concluso seja uma c 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

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

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: Todos os cariocas gostam de feijoada. a Vamos a deniao do que um argumento vlido. ` c e a Um argumento consiste de uma srie de proposioes chamadas premise c sas e uma proposiao chamada concluso. Dizemos que o argumento c a e vlido se, sempre que todas as premissas forem verdadeiras, isto , se a a e conjunao delas for verdadeira, ento, a concluso ser verdadeira. Em c a a a a outras palavras, um argumento com premissas p1 , p2 , . . . , pn e concluso c valido se: e sempre que p1 p2 pn for verdadeira, ento a implicaao a c 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
33 CEDERJ

Argumentos e Provas

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 condiao suciente para passar no teste estudar. c 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 situaao. Temos apenas duas c proposioes bsicas: c a p: Voc estuda. e q: Voc passa no teste. e Devemos vericar que, quando p q e q so verdadeiras, a implicaao a c ((p q) p) q ser verdadeira. a Vamos usar uma tabela-verdade. p
Esta tabela apresenta uma situaao interessante. Note c que, independente de qual seja o valor-verdade das proposioes p e q, a c proposiao ((p q) p) q c ser verdadeira. Ela um a e exemplo de uma tautologia.

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

V V F F

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

Concluso: q a so vlidos. a a O argumento que acabamos de exemplicar chamado de mtodo direto e e ou modus ponens.
CEDERJ 34

Argumentos e Provas

MODULO 3 - AULA 28

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 proposioes bsicas: a c a p: No chover. a q: Mateus vai ao parque. r: Mateus brinca com seus amigos. A estrutura deste argumento e Premissas: pq qr

Concluso: p r a Este argumento vlido. Veja a tabela-verdade: e a 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 Premissas: pq qr

Concluso: p r a so vlidos. a a
35 CEDERJ

Argumentos e Provas

Exemplo 16 Vamos agora considerar a seguinte situaao: c Premissas: p1 : p2 : Se eu ganhar o prmio de m de ano da companhia, ns passaremos e o um m de semana em Bzios. u Passamos um (timo) m de semana em Bzios. o u

Concluso: a c: Ganhei o (cobiado) prmio da companhia. c e Este argumento formado por apenas duas proposioes simples: e c p: Eu ganho o prmio da companhia e e q: Ns passamos um m de semana em Bzios. o u A estrutura deste argumento e Premissas: pq q

Concluso: p 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 situaao onde p1 = (p q) e p2 = q so c 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.

CEDERJ

36

Argumentos e Provas

MODULO 3 - AULA 28

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: pq p

Concluso: q a 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: pq qr

Concluso: p r a

Exerc cios
Em cada um dos argumentos abaixo, destaque as proposioes simples c que compem as premissas e as concluses. Construa uma tabela-verdade o o com base nas proposioes simples e nas premissas, concluindo com a coluna c (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 soluao. D a sua prpria a c e o soluao e ento compare com a soluao dada. V em frente! c a c 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 proposioes bsicas ca e c a p: q: r: O cachorro escapa. O cachorro pega o gato. Eu estou em apuros. 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.

O argumento est estruturado da seguinte forma: a p1 = p q: p2 = q r: c = p r:

Este tipo de argumento vlido. A construao da tabela-verdade est e a c a feita no exemplo 15. Este um argumento validado pela Lei dos Siloe gismos.

37

CEDERJ

Argumentos e Provas

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 proposioes bsicas para anac 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 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 implicaao (p1 p2 ) p3 verdadeira. Ou seja, c e vamos fazer a tabela-verdade da proposiao ((p q) ( q r)) ( c c c p r). Vamos chamar de p1 a proposiao p q e de p2 a proposiao 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 p 1 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 c ambas verdadeiras. A concluso p3 , bem como a proposiao (p1 p2 ) a p3 , so verdadeiras. Isto quer dizer que o argumento vlido. a e a
CEDERJ 38

Argumentos e Provas

MODULO 3 - AULA 28

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. 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 informaoes, mas estas requerem um tipo diferente de atenao. e c c E necessrio um tempo maior de reexo. Leia os exemplos vagarosamente. a a Dedique atenao aos exerc c cios propostos. Aproveite!

39

CEDERJ

Estratgias bsicas para demonstraoes em Matemtica e a c a

MODULO 3 - AULA 29

Aula 29 Estratgias bsicas para e a demonstraoes em Matemtica c a Objetivo

Esta ser uma aula prtica. Nela voc poder vericar, pelo menos em a a e a algumas situaoes simples, como o matemtico faz uso da lgica. c a o A maioria das proposioes (ou das funoes proposicionais) com que c c lidamos em Matemtica so da forma p q ou p q. Isto , implicaoes e a a e c bicondicionais. Como a bicondicional p q equivalente a (p q)(q p), e ` consideraremos apenas o caso de implicaoes. c Aqui est um exemplo: a Teorema 1 e mpar. Se n e mpar ento n2 a e mpar). Este teorema tem a forma p q com (p: n e mpar) e (q: n2 A proposiao p a hiptese e q a concluso ou tese. c e o e a H trs situaoes onde a proposiao p q verdadeira: a e c c 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 proposiao p q ser verdadeira. Conseqentemente devemos nos preocupar c a u apenas com a situaao em que p verdadeira. Neste caso, p q ser c 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 condiao, mostrar e c 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.
41 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 demonstraoes em Matemtica e a c 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 2 = 81 = 8 10 + 1 9 2 11 = 121 = 8 15 + 1 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 proposiao p q equivalente a proposiao c e ` c 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 funao c f : A B injetora se para e todos elementos a e b A, com a = b, tivermos f (a) = f (b). Isto , a funao e c transforma elementos diferentes de A em elementos diferentes em B. As funoes f : R R c 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 funao am f : R R, denida por f (x) = 3x 5, injetora. c 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 1 3x = 3y. Agora podemos multiplicar esta igualdade por 3 para obtermos 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

CEDERJ

42

Estratgias bsicas para demonstraoes em Matemtica e a c a

MODULO 3 - AULA 29

Lembre-se de que (p1 p2 ) ( p1 ) ( p2 ). A estratgia, que exemplicaremos agora, chama-se mtodo da cone e tradiao ou reduao ao absurdo (em latim, reductio ad absurdum) e se baseia c c no seguinte: a implicaao p q falsa apenas no caso em que p verdadeira c e e e q falsa. e Comeamos a prova assumindo que isto acontece e tentamos chegar a c uma contradiao. Ao chegar a uma contradiao, conclu c c mos que a possibilidade suposta no ocorre e, portanto, a implicaao p q ca demonstrada. a c 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 contradiao, no sabemos, antecipadamente, qual ser a cone c a a tradiao. Mas, chega de conversa e vamos a um exemplo. c

Teorema 5 Se r R um nmero real tal que r 2 = 2, ento r no racional. e u a a e Lembre-se de que um nmero real r R dito racional se puder ser u e m a u o escrito da forma r = n , onde m e n so nmeros inteiros. A hiptese p 2 a e a e a que r = 2 e a concluso q que r no racional. Ento consideremos e p ( q). Isto , vamos assumir que r 2 = 2 e que existem inteiros m e n e m tais que r = n . Vamos agora mexer nosso caldo para ver se conseguimos um bom piro. Ou seja, vamos navegar com estas informaoes, acrescentando a c fatos conhecidos, para ver se chegamos a tal contradiao. Quando lidamos ` c com uma fraao, a primeira coisa a fazer escrev-la da maneira mais simples c e e 30 6 e poss vel. Ningum vai usar 25 mas, sim, 5 . Isto , sempre que lidarmos com e uma fraao, conveniente usar como numerador e denominador, nmeros c 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 2 que m e n so primos entre si. Agora, r 2 = m2 = 2 nos d que m2 = 2n2 e a a n 2 e e e conclu mos que m 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 contradiao e o teorema est demonstrado. e o c a

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 e a e Se n2 par, ento n par.

43

CEDERJ

Estratgias bsicas para demonstraoes em Matemtica e a c 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 = D2 . Este fato, a a se considerarmos que a rea a do c culo c dada pela e e a frmula a = ( d )2 , fcil de o 2 ser demonstrado. O caso e que esta informaao no era c a dispon vel no tempo de Eudoxus. Podemos dizer que o resultado de Eudoxus foi o primeiro passo importante na direao do entendimento c da frmula para a rea do o a c rculo.

A demonstraao que acabamos de apresentar foi registrada em Primeic ros Analticos, 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 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 populaao lida, apenas, com os nmeros c 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 nmero 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 nmero 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 demonstraoes que caram faltando. e c 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 Nmeros. Uma importante revelaao da Teoria de Nmeros foi u c u claro que a noao a seguinte: o conjunto dos nmeros primos innito. E u e c de conjunto no existia naquela poca, mas a demonstraao a mesma, e a e c 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 contradiao. Devemos e c lembrar o seguinte: para provar que p implica q, consideramos p ( q) e

CEDERJ

44

Estratgias bsicas para demonstraoes em Matemtica e a c a

MODULO 3 - AULA 29

isto deve gerar uma contradiao. No nosso caso, p A P nito e q c 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 }. A contradiao ocorrer quando produzirmos um nmero primo que no c 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 demonstraao. Consideremos o nmero c u p = p1 p2 p3 p n + 1 que maior do que qualquer um dos pi . Agora, ou p primo, e teremos o e e nosso extra primo, ou ele tem fatores primos que so distintos dos p i , 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 diferente de todos os pi . Realmente, vamos supor que q = p1 . Ento q divide a p = p1 p2 p3 pn + 1 e divide p1 p2 p3 pn . Se um nmero u divide dois outros nmeros, 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 armaao um absurdo e, portanto, e c e q no igual a p1 . Analogamente, q = pi para todos os outros valores de i. a e Ento, q um nmero 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 nmero 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 demonstraao que consideraremos chamada o e c e de Mtodo de Induao Finita. Este mtodo baseia-se no chamado Princpio e c e da Boa Ordem.
Esta demonstraao uma c e prola da Matemtica. Estas e a idias podem ser melhor e expressas usando o Teorema da Fatoraao Unica para c 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 demonstraao do Teorema c Fundamental da Algebra pode ser encontrada no livro de Jos Pl e nio [3]. Este assunto ser abordado, a propriamente, ao longo da sua graduaao. Isto no c a impede que voc queira dar e uma espiadinha no que vem por a . . .

45

CEDERJ

Estratgias bsicas para demonstraoes em Matemtica e a c a

Princ pio da Boa Ordem. Todo subconjunto no-vazio dos inteiros a positivos possui um elemento que o menor de todos eles. e O mtodo da induao nita util, quando queremos provar que uma e c e funao proposicional p(n) verdadeira para todo inteiro n 1. c 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 contradiao. As nossas hipteses so PIF-1 e PIF-2 e a tese e c o a p(n) verdadeira para todo inteiro n 1. Vamos ver que PIF-1, PIF-2 e e mais a negaao da concluso geram uma contradiao. A maneira pela qual c a c faremos isto a seguinte: consideremos B o conjunto dos nmeros 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 = . Pelo Princ pio da Boa Ordem, existe um nmero k0 tal que p(k0 ) u e 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, e temos k0 1 1. Como k0 1 < k0 e k0 o menor elemento de B, podemos concluir que k0 1 B e, portanto, p(k0 1) verdadeira. Agora, PIF-2 / e e a e e verdadeira nos diz que, como p(k0 1) verdadeira, ento p(k0 ) tambm verdadeira. Contradiao! Isto quer dizer que k0 B! c / Vamos agora usar o mtodo da induao nita para demonstrar o see c guinte: Teorema 7 Para todo inteiro n 1,
n

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

n(n + 1) . 2

CEDERJ

46

Estratgias bsicas para demonstraoes em Matemtica e a c a

MODULO 3 - AULA 29

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 induao nita a e c e ferramenta adequada. e Comeamos com PIF-1. Fazendo n = 1 nos d 1 = 12 , que verdac a 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) [k(k + 1) + 2(k + 1)] (k + 2)(k + 1) (k + 1)(k + 2) +k+1 = = = . 2 2 2 2 Isto completa a demonstraao. c 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 nmeros 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 aquela resposta. O pequeno gnio de dez anos explicou: tome duas vezes estes ` e nmeros e arranje-os, uns debaixo dos outros, propriamente: u 1 + 100 101 + 2 + 99 + 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!

Carl Friedrich Gauss (1777 1855) foi um dos maiores matemticos de que se tem a not cia. Suas contribuioes c 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!

47

CEDERJ

Estratgias bsicas para demonstraoes em Matemtica e a c a

Exerc cios
1. Usando o Mtodo da Induao Finita, prove que as seguintes igualdades e c so verdfadeiras para todos os inteiros n > 1: a (a) 1 + 2 + 4 + + 2n = 2n+1 1. Soluao: (PIF-1.) Se n = 1, a armaao verdadeira: 1 + 21 = c c 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 nmero inteiro, ento e u a n(n + 1)(2n + 1) 6 um nmero inteiro. e u

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

CEDERJ

48

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 area 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 coraao de qualquer um destes equipamentos eletrnicos, onde sinais c 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 construao dos a c 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 mltiplas 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 sada que emitir o sinal resultante. Na verdade, as portas 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:

49

CEDERJ

Circuitos Lgicos o

1. Porta de inverso ou porta NAO a

p

~p

2. Porta E
p q p

^q

3. Porta OU
q p

Eles so chamados de circuitos lgicos, pois a cada um deles corresa o ponde uma funao proposicional e vice-versa. A cada entrada corresponde c 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 a funao proposicional (p o ` c q) r. Note que esta funao proposicional tem trs proposioes bsicas, as c e c 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 funao proposicional. Comearemos a construao c c c 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

50

^~r

Circuitos Lgicos o

MODULO 3 - AULA 30

A tabela-verdade desta proposiao nos d informaao sobre o funcioc a c 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 nmeros, 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

51

CEDERJ

Circuitos Lgicos o

Exemplo 18 A tabela do circuito lgico equivalente a funao proposicional (p q) r o ` c 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 situaoes: sempre que a entrada r estiver a e c ligada aparecer o d a gito 0 na coluna r e, pelo menos, uma das entradas p ou q estiver ligada. Situaoes Prticas c a Vamos agora considerar duas situaoes prticas que requerem consc a truao de circuitos lgicos. c o Exemplo 19 Queremos instalar uma campainha num carro (sa da) que soar caso o moa torista desligue a chave de igniao (entrada) com os faris acesos (entrada). c o Vamos construir a tabela-verdade associada a esta situaao. Note que a camc painha deve soar apenas quando os faris estiverem acesos e a igniao estiver o c desligada. Igniao c 1 1 0 0 Faris o 1 0 1 0 Campainha 0 0 1 0

CEDERJ

52

Circuitos Lgicos o

MODULO 3 - AULA 30

Esta a tabela-verdade da funao proposicional i f : e c 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 igniao, e uma porta E unindo os dois sinais resultantes: i e f : c

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 funao proposicional. Alm disso, c 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 otimizaao. Mas isto assunto para outra ocasio. Vamos ao exemplo. c e a Exemplo 21 Vamos desenhar o circuito correspondente a funao proposicional ( p q) ` c (p q). Numa primeira etapa desenhamos os trechos correspondentes a p q e p q.

p q

~p

~ p^ q
p^ ~ q

~q

53

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 combinaoes delas: a c p 1 1 0 0 q 1 0 1 0 p q 0 0 1 1 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, J 1 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

54

Circuitos Lgicos o

MODULO 3 - AULA 30

Este circuito corresponde a seguinte funao proposicional: ` c (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 proposiao c (E J1 ) (E J2 ) e lembrou-se das suas aulas de lgica: Leis de Distribuiao! o c p (q r) (p q) (p r). Ele escreveu ento a proposiao a c E (J1 J2 ) que corrresponde ao circuito
C

J1 J2 E

que tem a seguinte tabela-verdade:

55 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 a proposiao o ` c (p q) (p r) (q ( r)). Construa sua tabela-verdade e mostre que ele equivalente ao circuito e correspondente a proposiao ` c (p r) (q ( r)). Desenhe o circuito lgico correspondente a esta ultima proposiao. o c 2. Desenhe um circuito lgico com apenas quatro portas e que seja equio valente ao circuito lgico abaixo. Para isto, escreva a proposiao coro c respondente e use as leis da lgica para simplic-la. o a

CEDERJ

56

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 nmeros 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 Coleao Os Peno o c 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 - Introduao a Teoria de Nmeros, c ` u Coleao Matemtica Universitria, IMPA, 1998 c a a

57

CEDERJ