TRABALHO EM EQUIPE 6 Em DUPLA

Matemtica Computacional
Nome: _________________________________________________ Crdito Profa.: Diana de Barros Teles Data: ____ / ____ / ________ Curso: ___________________________________

Professor: Fernando Hadad Zaidan

Quantificadores e Predicados

1-Usando smbolos predicados E(x) para x um estudante, I(x) para x inteligente e M(x) para x gosta de msica, escreva fbfs que expressem as proposies a seguir. (o domnio consiste em todas as pessoas) a. b. c. d. Todos os estudantes so inteligentes. Alguns estudantes inteligentes gostam de msica. Todo o mundo que gosta de msica um estudante burro. Apenas estudantes inteligentes gostam de msica.

2-Usando os smbolos predicados F(x) para x uma fruta, L(x) para x um legume e D(x,y) para x mais doce do que Y, escreva fbfs que expressem as afirmaes a seguir.(o domnio o mundo inteiro) a. Alguns legumes so mais doces do que todas as frutas. b. Todas as frutas so mais doces do que todos os legumes. c. Todas as frutas so mais doces do que alguns legumes. d. Apenas frutas so mais doces do que legumes. 3- Determine o valor lgico de cada uma das fbfs a seguir com a interpretao de que o conjunto universo consiste em todos os nmeros inteiros, I(x) significa que x mpar, L(x) que x < 0 e G(x) que x > 9. a. b. c. d.
( ) I ( x ) x ( )[ L( x ) I ( x )] x ( )[ L( x ) G ( x )] x ( )[ L( x ) G ( x )] x

4-Determine o valor lgico, em que o conjunto universo consiste em todos os estados do Brasil, Q(x,y) significa que x est a norte de y, P(x) que x comea com a letra M e a simboliza Mato Grosso do Sul. x a. ( ) P ( x ) x y z b. ( )( )( )[Q ( x , y ) Q ( y , z ) Q ( x , z )] y x c. ( )( )Q ( y , x ) x y d. ( )( )[ P ( y ) Q ( x , y )] y e. ( )Q (a , y )

5-Usando os smbolos predicados indicados e quantificadores apropriados escreva como uma fbf predicada. (O conjunto universo o mundo inteiro). D(x) x um dia S(x) x ensolarado C(x) x chuvoso M segunda-feira a. b. c. d. e. f. g. Todos os dias so ensolarados. Alguns dias no so chuvosos. Todo dia ensolarado no chuvoso. Alguns dias so ensolarados e chuvosos. Se algum dia ensolarado, ento todos os dias sero ensolarados. A segunda-feira foi ensolarada; portanto, todos os dias sero ensolarados. Se algum dia for ensolarado, ento todos os dias sero ensolarados.

6- (IDEM 5) J(x) x um juiz F(x) x um farmacutico L(x) x um advogado M(x) x uma mulher A(x,y) x admira y a. b. c. d. Existem algumas mulheres advogadas que so farmacuticas. Alguns advogados s admiram juzes. Todos os juzes admiram apenas juzes. Todas as mulheres advogadas admiram algum juiz.

7- (IDEM 5) B(x) x bola R(x) x redondo S(x) x uma bola de futebol a) b) c) d) e) f) Todas as bolas so redondas. Nem todas as bolas so bolas de futebol. (nem todas = Algumas) Todas as bolas de futebol so redondas. Algumas bolas no so redondas. Toda bola redonda uma bola de futebol. S bolas de futebol so redondas.

8- (IDEM 5) C(x) x um Corvette P(x) X um Porsche F(x) x uma Ferrari D(x,y) x anda mais devagar do que y a) b) c) d) Alguns Porsches s andam mais devagar do que Ferraris. Apenas Corvettes andam mais devagar do que Porsches. Todas as ferraris andam mais devagar do que algum Corvette. Alguns Porsches no andam mais devagar do que todos os Corvetes. 2

9- Escreva a negao de cada uma das proposies a seguir. a. Algumas pginas na rede tm som. b.Todas as pginas na rede tm som e vdeo. c. Todas as pginas na rede tm som ou vdeo. d. Algumas pginas na rede no tm som nem vdeo. e. Toda pgina da rede ou tem texto, ou tem som e vdeo. 10-Qual das sentenas a seguir expressa a negao de Todo o mundo ama algum alguma vez? a. b. c. d. Todo o mundo odeia algum alguma vez. Algum ama todo o mundo todo o tempo. Todo o mundo odeia todo o mundo todo o tempo. Algum odeia todo o mundo todo o tempo.

11-Sendo A = { 1, 2, 3 ..., 9, 10}, determine o valor lgico de cada uma das seguintes proposies: a. ( x A) ( y A) ( x + y < 14) b. ( x A) ( y A) ( x + y < 14) 12- Sendo R o conjunto dos nmeros reais, determine o valor lgico de cada uma das seguintes proposies: a. ( y b. ( x c. ( x d. ( y R) ( x R) ( x + y = y) R) ( y R) ( x + y = 0) R) ( y R) ( x . y = 1) R) ( x R)