Universidade Estadual do Maranhão – UEMA

Disciplina: Matemática Discreta

Professor: Antonio Fhillipi
Aluno(a):_____________________________________
Matrícula:______________

Prova

1)(1.0) Dados os valores lógicos: A é verdade, B é falso e C é Verdade. Qual o valor

lógico de cada uma das fbfs a seguir:
a) ~A ∨ ~ ( ~ B ∧ C)
b) ~ ( A ∧ B ) ∨ C

2)(1.0) Qual o valor lógico de cada uma das proposições a seguir?

a) Se 8 for impar e 6 for par, então 8 < 6.

b) Se 6 não for par, então 8 é impar.
c) Se 8 for par, então 6 é par e 4 é impar.
d) 5 é impar e não é verdade que 8 e 6 são números pares.

3)(1.0) Construa as proposições compostas a seguir:

a) Se os preços subirem, então haverá muitas casas para vender e elas

serão caras; mas se as casas não forem caras, então, ainda assim, haverá
muitas casas para vender.
A: Os preços subirem;
B: Haverá muitas casas;
C: Casas serão caras.

b) Tanto ir dormir como ir nadar é uma condição suficiente para a

troca de roupa; no entanto, mudar a roupa não significa que vai nadar.
A: Ir dormir;
B: Ir nadar;
C: Trocar de roupa.
4)(2.0) Qual a sequência de demonstração utilizada para provar a validade
dos argumentos a seguir?
Expecifique a hipótese utilizada e a respectiva regra (inferência ou
equivalência).

a) ( A→B) ∧ ( ~C ∨ A) ∧ C →B
b) C ∧ (~D→ ~C) →D
c) ( ~A ∨ B) ∧ ( B→C)→( A→C)
d)( J→I) ∧ ( F ∨ ~I) ∧ J →F

5)(1.0) Sabendo que o conjunto universo é constituído por todas as coisas.

A partir da sentença “Todas as frutas são mais doces que alguns
legumes”. Especifique os predicados usados e formalise a representação
da sentença através de uma fbf predicada.

6)(2.0) Sabendo que o conjunto universo é constituído por todas as

pessoas. Utilize os predicados: E(x) para “x é um estudante”, I(x) para “x é
inteligente” e M(x) para “x gosta de música”. Formalise a representação
das sentenças a seguir através de uma fbf predicada.

a) Todo o mundo que gosta de música é um estudante que não é

inteligente.
b) Alguns estudantes inteligentes gostam de músicas.
c) Apenas estudantes inteligentes gostam de músicas.
d) Todos os inteligentes são estudantes.

7)(2.0) Sabendo que o conjunto universo é constituído por todas as coisas.

Utilize os predicados B(x) para “x é uma abelha”, F(x) para “x é uma flor”
e A(x,y) para “x gosta de y”. Formalise a representação das sentenças a
seguir através de uma fbf predicada.

a) Todas as abelhas gostam de todos os flores.

b) Algumas abelhas não gostam algumas flores.
c) Apenas abelhas não gostam de algumas flores.
d) Algumas abelhas gostam de todos os flores.