Você está na página 1de 11

UFMG/ICEx/DCC

Matemtica Discreta

LISTA DE EXERCCIOS 1: SOLUES


Graduao em Cincia da Computao 1o Semestre de 2011

1. Construa a tabela da verdade para a seguinte proposio: E = (p (p q )) (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 (p (p q )) V V V V V V V V (q r) V F V V V F V V E V F V V V F V V

2. Mostre se as expresses E1 e E2 so equivalentes logicamente: E1 = (s (p r)) ((p (r q )) s) E2 = (p q r s) (p s)


p V V V V V V V V F F F F F F F F q V V V V F F F F V V V V F F F F r V V F F V V F F V V F F V V F F s V F V F V F V F V F V F V F V F (s (p r)) F V V V F V V V F V F V F V F V ((p (r q )) s) V F V F V F F F V F V F V F V F E1 F F V F F F F F F F F F F F F F (p q r s) F F V F F F F F F F F F F F F F (p s) F F F F V V V V V V V V V V V V E2 F F V F V V V V V V V V V V V V

Como as duas tabelas da verdade no so idnticas, as expresses E1 e E2 no so equivalentes logicamente. 3. Faa a simplicao lgica da seguinte expresso usando apenas as leis da lgica: (p ((p q ))) (p q )

(p ((p q ))) (p q ) (p (p q )) (p q ) ((p p) q ) (p q ) (p q ) (p q ) p (q q ) pt p

De Morgan sobre (p q ). Associatividade sobre p (p q ). Idempotncia sobre p p. Distributividade sobre a expresso. Negao sobre q q . Identidade com a tautologia t.

4. Mostre se o seguinte argumento1 vlido ou no usando as formas vlidas de argumentos. Em cada passo, identique a razo para se obter a concluso: (a) (b) (c) (d) (e) . p r s ts u p w uw

(f) . . t w Dedues: (i) uw w . .. u u p u . . . p p r s p . . . r s r s . . . s ts s . . . t t . . . t w


(e) (d) Silogismo Disjuntivo (c) (i) Modus Ponens (a) (ii) Modus Ponens (iii) Simplicao Conjuntiva (b) (iv) Modus Tollens (v) Adio Disjuntiva

(ii)

(iii)

(iv)

(v)

(vi)

5. O famoso detetive Percule Hoirot foi chamado para resolver um assassinato misterioso. Ele determinou os seguintes fatos: (a) Lord Charles, o homem assassinado, foi morto com uma pancada na cabea com um castial. (b) Ou Lady Camila ou a empregada Sara estavam na sala de jantar no momento do assassinato. (c) Se o cozinheiro estava na cozinha no momento do assassinato, ento o aougueiro matou Lord Charles com uma dose fatal de arsnico. (d) Se Lady Camila estava na sala de jantar no momento do assassinato, ento o motorista matou Lord Charles. (e) Se o cozinheiro no estava na cozinha no momento do assassinato, ento Sara no estava na sala de jantar quando o assassinato ocorreu.
1 Na

verso anterior, haviam alguns erros nas premissas que foram corrigidos.

(f) Se Sara estava na sala de jantar no momento do assassinato, ento o ajudante pessoal de Lord Charles o matou. possvel para o detetive Percule Hoirot deduzir quem matou Lorde Charles? Se sim, quem o assassino? Sejam os seguintes argumentos: p = Lord Charles foi morto com uma pancada na cabea com um castial. q = Lady Camila estava na sala de jantar no momento do assassinato. r = Sara estava na sala de jantar no momento do assassinato. s = Cozinheiro estava na cozinha no momento do assassinato. t = Aougueiro matou Lord Charles com uma dose fatal de arsnico. u = Motorista matou Lord Charles. v = Ajudante pessoal de Lord Charles o matou. Traduo dos fatos para as proposies: (a) (b) (c) (d) (e) (f) p qr st qu s r rv

Dedues: (i) Suponha que s seja V, i.e., o cozinheiro estava na cozinha no momento do assassinato. st (c) s (Suposio) . .. t Modus Ponens (ii) No entanto, t contradio, j que Lord Charles no foi morto com arsnico e sim por uma pancada na cabea (a). Logo, a suposio que o cozinheiro estava na cozinha falsa. Assim, temos s. st (c) t contradio (i) . . . s Silogismo Hipottico e Contradio (iii) s r s . . . r qr r . .. q qu q . .. u
(e) (ii) Modus Ponens (b) (iii) Silogismo Disjuntivo (d) (iv) Modus Ponens

(iv)

(v)

De onde se conclui que o motorista matou Lord Charles. 6. Construa a tabela da verdade para a seguinte proposio: E = (p q ) (p q )
p V V F F q V F V F (p q ) F V V F (p q ) V F F V E F F F F

7. Construa a tabela da verdade para a seguinte proposio: E = (p q ) (p 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 p F F F F V V V V q F F V V F F V V r F V F V F V F V (p q ) V V F F F F V V (p r ) F V F V V V V V E F V V V V V V V

8. Seja a tabela da verdade do operador

: p V V F F q V F V F p V F F V y) z x
?

(a) O operador

segue a lei da associatividade com o operador , i.e., (x x V V V V F F F F y V V F F V V F F z V F V F V F V F (x y) z V F F F F F V F x (y z ) V F F F F V V V

(y z ).

Como as duas colunas da direita no so idnticas, o operador com o operador . (b) O operador

no segue a lei da associatividade (y z ) (x z)


?

segue a lei da distributividade com o operador , i.e., x x V V V V F F F F y V V F F V V F F z V F V F V F V F x (y z ) V F F F F V V V (x y ) (x V F F F F F F V

y ) (x

z ).

Como as duas colunas da direita no so idnticas, o operador com o operador .

no segue a lei da distributividade

9. Mostre a equivalncia lgica da seguinte proposio usando apenas as leis da lgica: (p r) (q r) (p q ) r

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

10. Mostre se os seguintes requisitos so consistentes ou no. Caso sejam, para que valores esses requisitos so consistentes. Se o sistema de arquivos no est travado, ento novas mensagens sero enleiradas. Se o sistema de arquivos no est travado, ento o sistema est funcionando normalmente e vice-versa. Se novas mensagens no so enleiradas, ento elas sero enviadas para o buer de mensagens. Se o sistema de arquivos no est travado, ento novas mensagens sero enviadas para o buer de mensagens. Novas mensagens no sero enviadas para o buer de mensagens. Sejam os seguintes argumentos: p= q= r= s= O sistema de arquivos no est travado. Novas mensagens sero enleiradas. O sistema est funcionando normalmente. Mensagens sero enviadas para o buer de mensagens.

Traduo dos fatos para as proposies: (a) p q (b) p r (c) r p (d) q s (e) p s (f) s Dedues:
(i) . .. (ii) . .. (iii) . .. (iv) . .. q s s q ps s p rp p r pr r p (d) (f) Modus Tollens (e) (f) Modus Tollens (c) (ii) Modus Tollens (b) (iii) Modus Tollens

Pelas dedues acima temos que os requisitos so consistentes para os valores: p = V : O sistema de arquivos est travado. q = V : Novas mensagens sero enleiradas. 5

r = V : O sistema no est funcionando normalmente. s = V : Mensagens no sero enviadas para o buer de mensagens. 11. Mostre se o seguinte argumento vlido ou no: p q r pq qp . .. r
Variveis p 1. 2. 3. 4. 5. 6. 7. 8. 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 Aux p q F F V V F F F F V V V F V V V V Premissas p q r pq V V V V V V F F qp V V V V F F V V Concluso r V F V F V F V F

A concluso verdadeira para as linhas 1 e 3 e falsa para a linha 2. Ou seja, a concluso no verdadeira para todas as linhas crticas. Logo, o argumento invlido. 12. Mostre se o seguinte argumento vlido ou no usando as formas vlidas de argumentos. Em cada passo, identique a razo para se obter a concluso: (a) (b) (c) (d) (e) (f) (g) . pq rs s t q s s p r u wt

(h) . . u w (i) rs s . .. r q s s . . . q pq q . . . p p r u p r . .. u s t s . . . t
(b) (e) Silogismo disjuntivo (d) (e) Silogismo disjuntivo (a) (ii) Modus Tollens (f) Adio conjuntiva de (iii) e (i) Modus Ponens (c) (e) Modus Ponens

(ii)

(iii)

(iv)

(v)

(vi)

wt t . .. w u w . . . uw

(g) (v) Silogismo disjuntivo (iv) (vi) Adio conjuntiva

(vii)

O argumento vlido. 13. Sejam duas variveis lgicas x e y , ou seja variveis que podem assumir o valor verdadeiro (V ) ou falso (F ). Seja o comando de atribuio existente em linguagens de programao como C. Qual o valor dessas variveis ao nal da execuo seqencial dos trs comandos abaixo. Apresente a sua resposta independente dos valores iniciais de x e y . x (x y ) y (x x (x y) y)

Reescrevendo os comandos acima com o operador ou exclusivo temos (veja exerccio 8): x (x y ) y (x y ) x (x y ) Executando os comandos e lembrando que o operador ou exclusivo segue a lei da associatividade e que 0 o elemento neutro, temos: x (x y ) y (x y ) ((x y ) y ) (x (y y )) (x 0) x x (x y ) ((x y ) y ) ((x y ) x) ((x x) y ) (0 y ) y Ou seja, aps a execuo desses trs comandos a varivel x tem o valor inicial de y e a varivel y tem o valor inicial de x. O texto, a seguir, foi retirado do livro texto, pgina 19: Lgicas Fuzzy so utilizadas em inteligncia articial. Na lgica fuzzy, a proposio tem um valor-verdade que um nmero entre 0 e 1 inclusive. Uma proposio com valor-verdade 0 falsa e uma com valor-verdade 1 verdadeira. Valores entre 0 e 1 indicam variantes de grau de verdade. Por exemplo, o valor-verdade 0,8 pode ser indicado para uma proposio "Fred feliz", porque ele feliz na maior parte do tempo; e o valor-verdade 0,4 pode ser indicado para a proposio "John feliz", porque ele feliz menos que a metade do tempo. 14. O valor-verdade da negao de uma proposio em lgica fuzzy 1 menos o valor-verdade da proposio. Quais so os valores-verdade das proposies "Fred no feliz" e "John no feliz"? pf = 0, 8: "Fred feliz"; pj = 0, 4: "John feliz". pf = 1 pf = 1 0, 8 = 0, 2: "Fred no feliz"; pj = 1 pj = 1 0, 4 = 0, 6: "John no feliz"; 15. O valor-verdade da disjuno de duas proposies em lgica fuzzy o mximo dos valores-verdade de duas proposies. Quais so os valores-verdade das proposies "Fred feliz ou John feliz" e "Fred no feliz ou John no feliz"? Sejam p e q variveis da Lgica Fuzzy. A disjuno p q = max(p ; q ). (a) "Fred feliz ou John feliz". pf pj = max(0, 8; 0, 4) = 0, 8. 7

(b) "Fred no feliz ou John no feliz" pf pj = max(0, 2; 0, 6) = 0, 6. 16. Cada habitante de uma vila longnqua sempre diz a verdade ou sempre mente. Um habitante dela dar apenas como resposta um sim ou um no para a pergunta que um turista zer. Suponha que voc seja um turista que visita essa rea e que chegue a uma bifurcao na estrada. Um lado leva at s runas que voc quer visitar; o outro, s profundezas de uma oresta. Um habitante dessa vila est parado nessa bifurcao. Que pergunta voc pode fazer ao habitante para determinar qual lado seguir? Se for perguntado simplesmente qual estrada leva s runas e o turista no souber se um habitante que fala a verdade ou mente, ento no possvel determinar se a resposta correta ou no. A pergunta no pode depender do tipo de habitante e, para isso, necessrio formular uma pergunta que envolva duas questes. Assim, ao invs de perguntar a bifurcao da direita leva s runas? (pergunta P1), que no resolve o problema, deve-se perguntar algo similar a se eu fosse lhe perguntar se a bifurcao da direita me leva s runas, voc responderia sim? (pergunta P2). Naturalmente a mesma estratgia pode ser feita para a bifurcao da esquerda. Veja que a pergunta P2 pode ser vista como: se eu fosse lhe perguntar se P1, voc responderia sim?, o que claramente mostra que a pergunta P2 trata de duas questes. O habitante que fala a verdade responde corretamente. O habitante que fala mentira deve mentir duas vezes no sentido que se a pergunta fosse simplesmente a bifurcao da direita leva s runas?, isto , P1, ele teria que mentir. No entanto, como h uma segunda questo envolvida se eu fosse lhe perguntar se P1, voc responderia sim? ento esse habitante deve mentir novamente. Esse raciocnio est representado na tabela abaixo. P1: A bifurcao da direita leva s runas? P2: Se eu fosse lhe perguntar se a bifurcao da direita me leva s runas, voc responderia sim? Tipo de habitante Fala verdade Fala mentira Bifurcao da direita leva s runas? Sim No Sim No P1 Sim No No Sim P2 Sim No Sim No

Se o habitante sempre fala a verdade, ele ir dizer ao turista se deve seguir pela bifurcao da direita ou esquerda. Se o habitante sempre fala mentira, ao responder a P2 ele sabe que mentiu ao responder P1 (parte dessa pergunta). No entanto, ele mente novamente e, no nal, ele responde corretamente a bifurcao a ser seguida. A estratgia usar uma dupla negativa. 17. Este sistema de especicaes consistente? O sistema est em um estado de multiuso se e somente se estiver operando normalmente. Se o sistema est operando normalmente, o ncleo do sistema operacional (kernel ) est funcionando. O kernel no est funcionando ou o sistema est no modo de interrupo. Se o sistema no est em um estado de multiuso, ento est em um modo de interrupo. O sistema no est no modo de interrupo. Sejam os seguintes argumentos: p= q= r= s= O sistema est em um estado de multiuso. O sistema est operando normalmente. O ncleo do sistema operacional (kernel ) est funcionando. O sistema est no modo de interrupo.

Traduo dos fatos para as proposies: (a) p q (p q ) (q p) (b) q r (c) r s 8

(d) p s (e) s Dedues:


(i) . .. (ii) . .. (iii) . .. (iv) r s s r qr r q p s s p (p q ) (q p) pq pq q p (c) (e) Silogismo Disjuntivo (b) (i) Modus Tollens (d) (e) Modus Tollens (a) Simplicao Conjuntiva (iv) (ii) Modus Tollens

. ..

(v) . ..

As concluses (iii) e (v) dizem que p e p devem ser verdadeiros, o que claramente inconsistente. 18. Este sistema de especicaes consistente? O roteador pode enviar mensagens para o sistema principal apenas se ele tratar um novo espao de endereo. Para o roteador tratar o novo espao de endereo, necessrio que a ltima verso do software seja instalada. O roteador pode enviar mensagens ao sistema principal se a ltima verso do software estiver instalada. O roteador no trata o novo espao. Sejam os seguintes argumentos: p = O roteador pode enviar mensagens para o sistema principal. q = O roteador trata um novo espao de endereo. r = A ltima verso do software seja instalada. Traduo dos fatos para as proposies: (a) p se q q p p q (b) q necessrio para r r q (c) p se r r p p r (d) q Deduo:
(i) . .. rq q r (b) (d) Modus Tollens

A proposio (d) e a concluso (i) indicam que devem ser verdadeiros q e r, respectivamente. As proposies (a) e (c) tm como concluses q e r, respectivamente, e so verdadeiras independentes do valor de p que aparece como hiptese de ambas. Assim, esse conjunto de especicaes consistente. Pelas dedues acima temos que os requisitos so consistentes para os valores: p p: O roteador pode/no pode enviar mensagens para o sistema principal. q = V : O roteador no trata um novo espao de endereo. r = V : A ltima verso do software no ser instalada.

19. Um detetive entrevistou quatro testemunhas de um crime. A partir das histrias das testemunhas, o detetive concluiu que, se o mordomo est dizendo a verdade, ento o cozinheiro tambm est; o cozinheiro e o jardineiro, ambos, no podem estar dizendo a verdade; o jardineiro e o zelador, ambos, no esto mentindo; e se o zelador est dizendo a verdade, ento o cozinheiro est mentindo. Para cada uma das quatro testemunhas, o detetive pode determinar se a pessoa est mentindo ou dizendo a verdade? As quatro testemunhas podem ser identicadas pelas variveis C (cozinheiro), J (jardineiro), M (mordomo) e Z (zelador), que sero usadas para indicar que esto falando a verdade. Sejam os seguintes argumentos: (a) M C (b) C J (c) J Z (d) Z C
[se o mordomo est dizendo a verdade, ento o cozinheiro tambm est] [o cozinheiro e o jardineiro, ambos, no podem estar dizendo a verdade] [o cozinheiro e o jardineiro, ambos, no podem estar dizendo a verdade] [se o zelador est dizendo a verdade, ento o cozinheiro est mentindo]

Pelos quatro argumentos acima, no possvel aplicar uma regra de inferncia. Se zermos uma tabela da verdade, podemos identicar o cenrio no qual as quatro premissas supostamente so verdadeiras, conforme mostrado a seguir.
Variveis C 1. 2. 3. 4. 5. 6. 7. 8. 9. 10. 11. 12. 13. 14. 15. 16. V V V V V V V V F F F F F F F F J V V V V F F F F V V V V F F F F M V V F F V V F F V V F F V V F F Z V F V F V F V F V F V F V F V F (a) V V V V V V V V F F V V F F V V Premissas (b) F F F F V V V V V V V V V F F F (c) F V F V V F V F F V F V V F V F (d) F V F V F V F V V V V V V V V V

As premissas so verdadeiras para a linha 12, ou seja, o jardineiro fala a verdade e as outras testemunhas no. O texto, a seguir, foi retirado do livro texto, pgina 29: O dual de uma proposio composta que contm apenas os operadores lgicos , e a proposio composta obtida pela troca de cada por , cada por , cada V por F e cada F por V . O dual de s representado por s . 20. Encontre o dual de cada uma das seguintes proposies compostas: (a) s1 : p q r s 1 : p q r (b) s2 : (p q r) s s 2 : (p q r ) s (c) s3 : (p F ) (q V ) s 3 : (p V ) (q F ) (d) Apresente um exemplo de proposio composta formada por pelo menos duas variveis tal que s s .

10

s4 : (p F ) (q V ) pV p s4 : (p V ) (q F ) pF p

11