2011/2 Matemtica Discreta AD1 a Resolues co

Caro aluno de MD, esta AD1 trata da aplicao dos conhecimentos ca de linguagem e lgica na interpretao de textos matemticos e o ca a resoluo de problemas. ca Antes de iniciar a resoluo das questes e a redao das suas resca o ca postas, voc deve estudar detalhademente os contedos das aulas e u 1, 2 e 3 do Mdulo 0. L voc encontrar os conceitos, os resultao a e a dos e as notaes que voc pode e deve usar na redao das suas co e ca resolues. co Lembre-se que em nossa disciplina a justicativa das resolues co e to importante quanto a soluo das questes. Assim, em tudo o a ca o que se pede, justique as suas respostas.

1. Considere o seguinte texto sobre equaes do primeiro grau, frequentemente encontrado nos co livros de matemtica: a Equao do primeiro grau toda expresso em uma varivel real x que (aps uma ca e a a o srie de aplicaes das leis aritmticas bsicas) pode ser reduzida ` forma ax + b = 0, e co e a a onde a e b so nmeros reais e a = 0. a u Para determinar a soluo de uma equao do primeiro grau ax + b = 0, note que, ca ca como a = 0, temos: ax + b = 0 ax = b x = Assim, a soluo de ax + b = 0 ca e b x= . a Baseado no texto acima: (a) Diga se, na sua opinio, a expresso a a 4x 6 = 2(2x 3) ou no uma equao do primeiro grau. e a ca (b) Determine se cada uma das expresses o (1) (2) (3) (4) o conjunto soluo de uma equao do primeiro grau ax + b = 0 ca ca b x= a ax + b = 0 ax = b a e b so nmeros reais e a = 0 a u b . a

ou no uma proposio. e a ca Alm disso, para cada expresso que for uma proposio, classique-a como atmica ou e a ca o molecular. Se ela for atmica, determine se ela da forma sujeito e propriedade ou da o e forma relao entre vrios sujeitos, especicando os sujeitos, propriedades e relaes, ca a co de acrodo com o caso. E se ela for molecular, classique-a como negao, conjuno, ca ca disjuno, implicao ou biimplicao, especicando as proposies atmicas a partir ca ca ca co o das quais ela foi formada.

Resoluo da Questo 1: ca a (a) Aplicando as leis aritmticas bsicas, temos: e a 4x 6 = 2(2x 3) 4x 6 = 4x 6 0 = 0 A expresso 0 = 0 no da forma ax + b = 0, onde a = 0. Assim, na minha opinio, a a a e a expresso 4x 6 = 2(2x 3) no uma equao do primeiro grau. a a e ca (b) A expresso (1) a o conjunto soluo de uma equao do primeiro grau ax + b = 0 ca ca no uma proposio pois no possui ocorrncia de verbo. a e ca a e A expresso (2) a b a uma proposio atmica, da forma relao entre dois sujeitos. O primeiro sujeito x e o e ca o ca e b segundo sujeito . e a x= A expresso (3) a ax + b = 0 ax = b uma proposio molecular, que uma biimplicao. Sua primeira componente a proposie ca e ca e o atmica ax + b = 0 e sua segunda componente a proposio atmica ax = b. ca o e ca o Assim, as proposies atmicas que formam a proposio co o ca ax + b = 0 ax = b so ax + b = 0 e ax = b. a A expresso (4) a a e b so nmeros reais e a = 0 a u uma proposio molecular, que uma conjuno. Sua primeira componente a proposio e ca e ca e ca a e b so nmeros reais e sua segunda componente a proposio a = 0. a u e ca Observe que a proposio a e b so nmeros reais uma proposio molecular que uma ca a u e ca e conjuno. Sua primeira componente a proposio atmica a nmero real e sua segunda ca e ca o e u componente a proposio atmica b nmero real. e ca o e u Alm disso, observe que a proposio a = 0 uma proposio molecular que uma negao. e ca e ca e ca Sua proposio negada a proposio atmica a = 0. ca e ca o Assim, as proposies atmicas que formam a proposio co o ca a e b so nmeros reais e a = 0 a u so a nmero real, b nmero real e a = 0. a e u e u

2. Na linguagem matemtica, h vrias maneiras alternativas de se escrever a implicao a a a ca se , ento . a Duas das mais usadas so: a condio suciente para e ca e condio necessria para . e ca a Alm disso, como a biimplicao e ca se, e somente se, equivalente a conjuno (de duas implicaes): e ca co (se , ento ) e (se , ento ) a a ela tambm , usualmente, escrita como: e e condio necessria e suciente para . e ca a Baseado no que foi dito, classique as proposies abaixo como V ou F . co (a) 2 ser natural condio suciente, para 2 ser e ca mpar. (b) 2 ser mpar no condio necessria para 2 ser primo. a e ca a (c) 2 ser natural condio necessria, mas no suciente para 2 ser par. e ca a a (d) 2 ser natural no condio suciente, e nem necessria para 2 ser quadrado perfeito. a e ca a (e) 2 ser natural condio necessria e suciente para 2 ser inteiro e no negativo. e ca a a

Resoluo da Questo 2: ca a (a) A proposio ca 2 ser natural condio suciente, para 2 ser e ca mpar pode ser reescrita como se 2 natural, ento 2 e a e mpar. Avaliando esta proposio temos: ca se 2 natural, ento 2 e a e mpar .
V F F

Assim, a proposio F . ca e (b) A proposio ca 2 ser mpar no condio necessria para 2 ser primo a e ca a pode ser reescrita como no o caso que: 2 ser a e mpar condio necessria para 2 ser primo, e ca a

que por sua vez pode ser rescrita como no o caso que: se 2 primo, ento 2 a e e a e mpar. Avaliando esta proposio temos: ca no o caso que: se 2 primo, ento 2 a e e a e mpar .
V F V F

Assim, a proposio V . ca e (c) A proposio ca 2 ser natural condio necessria, mas no suciente para 2 ser par e ca a a pode ser reescrita como 2 ser natural condio necessria para 2 ser par e ca a e no o caso que: 2 ser natural condio suciente para 2 ser par, a e e ca que por sua vez pode ser reescrita como se 2 ser par, ento 2 natural a e e no o caso que: se 2 natural, ento 2 par. a e e a e Avaliando a segunda componente da conjuno, temos: ca no o caso que: se 2 natural, ento 2 par . a e e a e
V V F V

Assim, de acordo com a tabela verdade do e, a proposio F . ca e (d) A proposio ca 2 ser natural no condio suciente, e nem necessria para 2 ser quadrado perfeito a e ca a pode ser reescrita como no o caso que: 2 ser natural condio suciente para 2 ser quadrado perfeito a e e ca e no o caso que: 2 ser natural condio necessria para 2 ser quadrado perfeito, a e e ca a que por sua vez pode ser reescrita como no o caso que: se 2 natural, ento 2 quadrado perfeito a e e a e e no o caso que: se 2 quadrado perfeito, ento 2 natural. a e e a e Avaliando a segunda componente da conjuno, temos: ca a e no o caso que: se 2 quadrado perfeito, ento 2 par . a e e
F V F V

Assim, de acordo com a tabela verdade do e, a proposio F . ca e (e) A proposio ca 2 ser natural condio necessria e suciente para 2 ser inteiro e no-negativo e ca a a pode ser reescrita como 2 ser natural condio necessria e suciente para: 2 ser inteiro e 2 ser no-negativo, e ca a a que por sua vez pode ser reescrita como 2 natural se, e somente se: 2 inteiro e 2 no-negativo e e e a Avaliando esta biimplicao, temos: ca 2 natural, se, e somente se: 2 inteiro e 2 no-negativo . e e e a
V V V V V

Assim, de acordo com a tabela verdade do e, a proposio V . ca e

3. Quando perguntado sobre o seu mtodo de trabalho, o famoso detetive Sherlock Holmes e disse o seguinte: Para resolver um mistrio, eu simplemente elimino tudo o que imposs e e vel. Aquilo que resta, mesmo improvvel, a soluo. a e ca O mtodo de Holmes pode ser adaptado, em conjunto com algumas noes da lgica mateme co o a tica, para a resoluo de forma puramente mecnica de alguns mistrios. ca a e Por exemplo, considere o mistrio para o qual sabemos ser verdadeiro que: e Ele culpado ou ela culpada, e ele no culpado. e e a e De acordo com o esquema de simbolizao: ca p q : ele culpado e : ela culpada, e

a proposio pode ser simbolizada como: ca : (p q) ( p) Considere agora a tabela verdade de : p V V F F q V F V F pq V V V F p F F F F V V V F 1 2 3 4

Observe que cada interpretao de representa uma das possibilidades para ele ou ela ser ca culpado. A tabela verdade mostra que as interpretaes 1, 2 e 4 contradizem pois, por co hiptese, sabemos que verdadeira e nestes casos ela avaliada como falsa. Assim, as o e e interpretaes 1, 2 e 4 so imposs co a veis e a unica possibilidade que resta a representada na e interpretao 3 que, de acordo com o mtodo de Holmes, a soluo do mistrio: ele no ca e e ca e a e culpado e ela culpada. e Agora, considere o mistrio para o qual sabemos ser verdadeiro que: e : Se ele culpado, ento ela no culpada. e a a e : Ele culpado ou ela culpada. e e : Se ela culpada, ento ele culpado. e a e Resolva este mistrio de forma puramente mecnica, adaptando o mtodo de Holmes, em e a e conjunto com noes da lgica matemtica, de acordo com o modelo acima, isto : co o a e (a) Simbolize , e . (b) Faa a tabela verdade de e elimine as interpretaes que contradizem . c co (c) Avalie considerando apenas as interpretaoes restantes em (b) e elimine as que conc tradizem . (d) Avalie considerando apenas as interpretaes restantes em (c), elimine as que conco tradizem e descubra quem o culpado. e

 E importante notar que o mtodo de Holmes tem a seguinte proe priedade: (1) Quando uma interpretao numa tabela verdade tem valor F , ca podemos concluir que ela imposs e vel, pois contradiz algo que sabemos. Assim, ela pode ser eliminada de considerao. ca (2) Entretanto, quando uma interpretao tem valor V , no poca a demos concluir que ela a verdade; mas apenas que ela poss e e vel. (3) S podemos resolver um mistrio por este mtodo se, aps a o e e o anlise da(s) tabela(s), chegarmos a exatamente uma possibilidade a V . Neste caso, a unica interpretao restante a soluo. ca e ca

Resoluo da Questo 3: ca a De acordo com o esquema de simbolizao: ca p q : ele culpado e : ela culpada, e

as proposies podem ser simbolizada como: co Agora, considere a tabela verdade de : p V V F F q V F V F q F V F V F V V V 1 2 3 4 : p ( q) : pq : qp

A tabela verdade de mostra que a interpretao 1 imposs ca e vel. Assim, as unicas possibi lidades que restam so as representadas nas interpretaes 2, 3, e 4. a co Avaliando nestas interpretaes, temos: co p V F F q F V F V V F 2 3 4

Esta tabela mostra que a interpretao 4 imposs ca e vel. Assim, as unicas possibilidades que restam so as representadas nas interpretaes 2 e 3. a co Avaliando nestas interpretaes, temos: co p V F q F V V F 2 3

Esta tabela mostra que a interpretao 3 imposs ca e vel. Assim, a unica possibilidade que resta a representada na interpretao 2 que, de acordo com o mtodo de Holmes, a soluo do e ca e e ca mistrio: ele culpado e ela no culpada. e e a e

c 2011 Mrcia Cerioli e Petrucio Viana a Coordenao da Disciplina MD/CEDERJ-UAB ca