You are on page 1of 3

UEMG- FEIT Sistemas de Informao Lgica e Matemtica Discreta Lista de Exerccios: Lgica de Predicados 1.

Simbolize as sentenas abaixo na Lgica de Predicados. Considere o conjunto universo dado. A) Conjunto Universo: pessoas. a) Joo no foi aula, ou algum faltou. b) Se Arnaldo bom artista, todos os moos so bons artistas. c) Ana e Mrcio ouviam o professor, mas houve quem no o ouvisse. d) Ele ama a si mesmo. e) Se verdade que alguns educadores so bons, no verdade que todos sejam bons. B) Conjunto Universo: Conjunto dos nmero inteiros. a. x um nmero menor que 5. b. 12 um nmero par que tem x como divisor. c. se x menor do que 5, ento x+y menor do que 8 ou y no menor do que 5. d. nenhum nmero par mpar. e. Todo nmero divisvel por 2 e por 3 divisvel por 6. f. Dados dois nmero distintos quaisquer, um maior do que o outo. C) Conjunto Universo: seres humanos. P(x,y): x pai de y. M(x,y): x me de y. I(x,y): x irmo de y. E(x,y): x esposo(a) de y. a. b. c. d. e. f. g. h. i. h: Helena. p: Pedro. c: Clia. r: Regina.

Pedro irmo de Clia. Clia solteira. Regina tia de Pedro. Todos tm me. Nenhuma tia solteira av. Alguns maridos so pais. Alguns pais no so avs. Algumas mulheres casadas no tm filhos. Helena filha nica.

2. Traduza as frmulas abaixo para sentenas em portugus: H(x): x homem. G(x): x genuno. P(x): x paciente. N(x,y): x necessita de y. S(x): x sbio. d: Deus. R(x): x resistente. a: Antnio. A(x,y): x amigo de y. a. b. c. d. e. (x) ((H(x) P(x)) A(x,d)) (x) (((H(x) S(x)) (y) (I(y) R(x,y))) (x) ((Hx) (y) ((H(y) A(x,y) N(x,y)) (G(y) (A(x,y))) (x) (((H(x) A(x,a)) S(x)) (x) ((H(x) S(x) P(x) A(x,a) ) (y) (I(y) R(x,y)) N(x): x novidade. B(x): x bom. a) b) c) d) e) (x) (N(x) B(x)) (x) (N(x) B(x)) (x) ((B(x) N(x)) (x) (N(x) B(x)) (x) B(x) (x) (N(x) B(x))

3. Determine o valor lgico de cada uma das fbfs a seguir: 3.1 com a interpretao no qual o conjunto universo consiste em todos os estados do Brasil, Q(x,y) significa que x est ao norte de y, P(x) que x comea com a letra M e a simboliza Mato Grosso do Sul. a. ( x) P( x) b. ( x)( y )( z )[Q ( x, y ) Q ( y , z ) Q ( x, z )] c. ( y )( x )Q ( y , x ) d. ( x)( y )[ P( y) Q ( x, y )] e. ( y ) Q (a , y ) 3.2 com a interpretao na qual o conjunto universo consiste em todos os inteiros, I(x) significa que x mpar, L(x) que x<10 e G(x) que x > 9. a. ( x ) I ( x) b. ( x)[ L( x) I ( x )] c. ( x )[ L ( x) G ( x )] d. ( x)[ L( x ) G ( x)] 4. Usando os smbolos predicados indicados e quantificadores apropriados, escreva cada declarao em portugus como uma fbf predicada. (O conjunto universo o mundo inteiro.) D(x) x um dia. m segunda-feira S(x) x est fazendo sol. t tera-feira C(x) x est chovendo. a. b. c. d. e. f. g. h. i. Todos os dias est fazendo sol. Alguns dias no est chovendo. Todo dia que no est fazendo sol est chovendo. Alguns dias est fazendo sol e chovendo. Nenhum dia est fazendo sol e chovendo ao mesmo tempo. Nenhum dia faz sol. Segunda-feira fez sol; portanto, vai fazer sol todos os dias. Choveu na segunda e tera-feira. Se chover algum dia, ento vai fazer sol todos os dias.

5. Usando os smbolos predicados indicados e quantificadores apropriados, escreva cada declarao em portugus como uma fbf predicada. (O conjunto universo o mundo inteiro.) P(x) x uma pessoa T(x) x um perodo de tempo E(x,y) x enganado por y a. Voc pode enganar algumas pessoas todo o tempo. b. Voc pode enganar todas as pessoas durante algum tempo. c. Voc no pode enganar todas as pessoas todo o tempo. 6. Usando os smbolos predicados indicados e quantificadores apropriados, escreva cada declarao em portugus como uma fbf predicada. (O conjunto universo o mundo inteiro.) E(x) x um romance de espionagem. L(x) x longo. P(x) x um romance policial. M(x,y) x melhor do que y. a. b. c. d. e. f. g. Todos os romances de espionagem so longos. Nem todo romance policial de espionagem. Apenas romances policiais so longos. Alguns romances de espionagem so policiais. Romances de espionagem so melhores do que romances policiais. Alguns romances policiais so melhores do que todos os de espionagem. Apenas romances de espionagem so melhores do que romances policiais.

7. Escreva em portugus as fbfs a seguir, onde: A(x,y) x ama y. j Joo. V(x) x vistoso. c Ctia. H(x) x homem. M(x) x mulher. B(x) x bonita. a. V ( j ) A( c, j ) b. ( x)[ H ( x ) V ( x)] c. ( x)( M ( x) (y )[ A( x , y ) H ( y ) v( y )]) d. ( x )[ H ( x) V ( x ) A( x , c)] e. ( x )( M ( x) B( x) (y )[ A( x, y) V ( y ) H ( y )]) f. ( x)[ M ( x ) B( x ) A( j , x)] 8. Escreva em portugus a negao para as proposies a seguir: a. Algumas pessoas gostam de matemtica. b. Todo mundo gosta de sorvete. c. Todas as pessoas so altas e magras. d. Algumas fotos so velhas ou esto apagadas. e. Apenas estudantes comem pizza. f. Todo estudante come pizza. g. Alguns estudantes comem apenas pizza. 9. Justifique cada passo na seqncia de demonstrao a seguir para a fbf

( x )[ P ( x ) Q ( x )] [( x) P ( x ) ( x )Q ( x)] ( x )[ P ( x ) Q ( x )] P ( a ) Q ( a) ( x) P( x) P(a) Q (a) ( x)Q ( x)

1. 2. 3. 4. 5. 6.

10. Prove que cada uma das fbfs um argumento vlido: a. ( x) P ( x) (x )[ P( x) Q ( x)] b. ( x) P ( x) (x) Q ( x) (x)[ P( x) Q ( x )] c. ( x )( y ) P ( x, y ) (y )(x ) P( x , y ) d. ( x) P ( x ) ( x )( P( x )) (x) Q ( x ) 11. Prove que a fbf vlida ou encontre uma interpretao na qual ela falsa: a. ( x )( A( x) B ( x)) (x ) A( x) ( x ) B( x) b. ( x )( y)Q ( x, y ) ( y)( x) Q ( x, y ) c. ( y)( Q ( x , y ) P( x )) (( y )Q ( x , y) P( x )) 12. Usando a lgica de predicados, prove que cada argumento abaixo vlido. Escreva os smbolos de predicados. a. Algumas plantas so flores. Todas as flores tm um cheiro doce. Portanto, algumas plantas tm um cheiro doce. b. Todo crocodilo maior do que qualquer jacar. Samuca um crocodilo. Mas existe uma serpente e Samuca no maior do que essa serpente. Portanto, alguma coisa no um jacar. c. Existe um astrnomo que no mope. Todo mundo que usa culos mope. Alm disso, todo mundo ou usa culos ou usa lentes de contato. Portanto existe um astrnomo que usa lentes de contato.

You might also like