UFMG/ICEx/DCC

Matemtica Discreta

LISTA DE EXERCCIOS 1
Graduao em Cincia da Computao 2o Semestre de 2011

A lista abaixo apresenta alguns exerccios sobre Fundamentos da Lgica Lgica Proposicional. Procure fazer outros exerccios do livro-texto e de outros livros de Matemtica Discreta. 1. Construa a tabela da verdade para a seguinte proposio: E = (p (p q)) (q r) 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) 3. Faa a simplicao lgica da seguinte expresso usando apenas as leis da lgica: (p ((p q))) (p q) 4. 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) . p r s ts u p w uw

(f) . . t w 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. (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? 6. Construa a tabela da verdade para a seguinte proposio: E = (p q) (p q) 7. Construa a tabela da verdade para a seguinte proposio: E = (p q) (p r) 8. Seja a tabela da verdade do operador :

p V V F F (a) O operador (b) O operador

q V F V F

p V F F V

segue a lei da associatividade com o operador , i.e., (x segue a lei da distributividade com o operador , i.e., x

y) z x (y z) (x
?

(y z). y) (x z).

9. Mostre a equivalncia lgica da seguinte proposio usando apenas as leis da lgica: (p r) (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. 11. Mostre se o seguinte argumento vlido ou no: p q r pq qp .. r 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 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 y) x (x y)

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"? 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"? 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? 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. 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. 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? 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 (b) s2 : (p q r) s (c) s3 : (p F ) (q V ) (d) Apresente um exemplo de proposio composta formada por pelo menos duas variveis tal que s s .