TRABALHO EM EQUIPE 6 – Em DUPLA Matemática Computacional

Nome: _________________________________________________

Crédito Profa.: Diana de Barros Teles Curso: ___________________________________

Data: ____ / ____ / ________ Professor: Fernando Hadad Zaidan

Quantificadores e Predicados

1-Usando símbolos predicados E(x) para “x é um estudante”, I(x) para “x é inteligente” e M(x) para “x gosta de música”, escreva fbfs que expressem as proposições a seguir. (o domínio consiste em todas as pessoas)

a. Todos os estudantes são inteligentes.b. Alguns estudantes inteligentes gostam de música.c. Todo o mundo que gosta de música é um estudante burro.d. Apenas estudantes inteligentes gostam de música.

2-Usando os símbolos 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 afirmações a seguir.(o domínio é o mundo inteiro)

a. Alguns legumes são mais doces do que todas as frutas. b. Todas as frutas são mais doces do que todos os legumes. c. Todas as frutas são mais doces do que alguns legumes. d. Apenas frutas são mais doces do que legumes.

3- Determine o valor lógico de cada uma das fbfs a seguir com a interpretação de que o conjunto universo consiste em todos os números inteiros, I(x) significa que “x é ímpar”, L(x) que “x < 0” e G(x) que “x > 9”.

a. b. c. d.

4-Determine o valor lógico, 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 começa com a letra M” e a simboliza “Mato Grosso do Sul”.

a. b. c.d. e.

5-Usando os símbolos predicados indicados e quantificadores apropriados escreva como uma fbf predicada. (O conjunto universo é o mundo inteiro).

1

D(x) é “x é um dia”S(x) é “x é ensolarado”C(x) é “x é chuvoso”M é “segunda-feira”

a. Todos os dias são ensolarados.b. Alguns dias não são chuvosos.c. Todo dia ensolarado não é chuvoso.d. Alguns dias são ensolarados e chuvosos.e. Se algum dia é ensolarado, então todos os dias serão ensolarados.f. A segunda-feira foi ensolarada; portanto, todos os dias serão ensolarados.g. Se algum dia for ensolarado, então todos os dias serão ensolarados.

6- (IDEM 5)

J(x) é “x é um juiz”F(x) é “x é um farmacêutico”L(x) é “x é um advogado”M(x) é “x é uma mulher”A(x,y) é “x admira y”

a. Existem algumas mulheres advogadas que são farmacêuticas.b. Alguns advogados só admiram juízes.c. Todos os juízes admiram apenas juízes.d. 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) Todas as bolas são redondas.b) Nem todas as bolas são bolas de futebol. (nem todas = Algumas)c) Todas as bolas de futebol são redondas.d) Algumas bolas não são redondas.e) Toda bola redonda é uma bola de futebol.f) Só bolas de futebol são 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) Alguns Porsches só andam mais devagar do que Ferraris.b) Apenas Corvettes andam mais devagar do que Porsches.c) Todas as ferraris andam mais devagar do que algum Corvette.d) Alguns Porsches não andam mais devagar do que todos os Corvetes.

9- Escreva a negação de cada uma das proposições a seguir.

2

a. Algumas páginas na rede têm som.b.Todas as páginas na rede têm som e vídeo.c. Todas as páginas na rede têm som ou vídeo.d. Algumas páginas na rede não têm som nem vídeo.e. Toda página da rede ou tem texto, ou tem som e vídeo.

10-Qual das sentenças a seguir expressa a negação de “Todo o mundo ama alguém alguma vez?”

a. Todo o mundo odeia alguém alguma vez.b. Alguém ama todo o mundo todo o tempo.c. Todo o mundo odeia todo o mundo todo o tempo.d. Alguém odeia todo o mundo todo o tempo.

11-Sendo A = { 1, 2, 3 ..., 9, 10}, determine o valor lógico de cada uma das seguintes proposições:

a. ( x A) ( y A) ( x + y < 14)b. ( x A) ( y A) ( x + y < 14)

12- Sendo R o conjunto dos números reais, determine o valor lógico de cada uma das seguintes proposições:

a. ( y R) ( x R) ( x + y = y)b. ( x R) ( y R) ( x + y = 0)c. ( x R) ( y R) ( x . y = 1)d. ( y R) ( x R)

3