Exercicios 6 Quantificadores E Predicados

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).

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