Pontifícia Universidade Católica de Goiás

Departamento de Ciência da Computação

CMP 1045 – Fundamentos da Computação I

Nome: _______________________________________________________
Obs.: Só serão aceitas respostas a caneta escritas no quadro final da prova,
com exceção da questão 03.

Prova4

A lógica de predicados expressa d) Apenas II está correto.

adequadamente o significado das
proposições em linguagem natural. Para isto
ela define predicados e quantificadores,
sendo o quantificador universal e  o
quantificador existencial. Utilizando a lógica
de predicados responda as questões
abaixo:
Questão 03) Determine o valor verdade de
cada uma das proposições a seguir se o
domínio para as variáveis são todos os
números inteiros.
__V___ x y (x2 = y)

Questão 01) Considere os predicados P(x)= __F___ x y (x+y ≠ y+x)

“x é perfeito” e A(x)= “x é seu amigo”. Se __F___ x (x≠0  y (xy=1))
domínio for todas as pessoas, a proposição
“Nem todos são seus amigos ou alguém __F___ x y (x+y=2 ^ 2x-y=1)
não é perfeito” pode ser traduzida para a __F___ x y (y≠0  xy=1)
seguinte expressão lógica:

I. x ¬(A(x) v P(x)) Questão 04) Dada a proposição

II.  x ¬(A(x) ^ P(x)) ¬x y (P(x)  (z ¬(Q(y,z) ^ Q(y,z)))
III. ¬x (A(x) ^ P(x)) podemos afirmar que ela é equivalente a:

a) I e II estão corretas I. x y z ¬ (P(x)  (¬(Q(y,z) ^ Q(y,z)))

b) II e III estão corretas II. xy ¬ (¬P(x) v (z (¬Q(y,z) v ¬Q(y,z)))
c) I e III estão corretas III. xy ¬ (¬P(x) v (¬z (Q(y,z)) v
d) I, II e III estão corretas ¬z(Q(y,z))))

Questão 02) Considere os predicados P(x)= a) I e II estão corretas

“x é perfeito” e A(x)= “x é seu amigo”. Se b) II e III estão corretas
domínio for todas as pessoas, a proposição c) I e III estão corretas
x (A(x)  P(x)) pode ser traduzida para a d) I, II e III estão corretas
seguinte forma:
Questão 05) Dado os predicados T(x) = “x
I. Todos os seus é tautologia” e C(x) = “X é contradição” e
amigos são perfeitos. domínio igual a todas as proposições. A
II. Todas as pessoas sentença “A negação de uma contradição é
se são seus amigos então são perfeitos. uma tautologia” pode ser escrita na lógica
III. Todos são seus como:
amigos e são perfeitos
I. x(C(x)  T(~x))
a)I e II estão corretas II. x(~C(x)  T(x))
b) II e III estão corretas III. x(~C(x) v T(~x))
c)I e III estão corretas
Estão corretas apenas as traduções:
a) I e II
b) I e III
c) II e III
d) Somente II
Questão 06) Seja o conjunto U={1,10,15} e
N o conjunto dos números naturais. Com
base no conhecimento sobre a lógica de
predicados, avalie as afirmações a seguir.
I. (y N )(x  U) (x ≥ y) é válida
II. (x U )(y  N) (x < y) é válida
III. (x  N)(y U )(x ≥ y) é válida
Questão 09) Seja proposição xy Q(x,y)
verdadeira. Com base no conhecimento
sobre a lógica de predicados, avalie as
afirmações a seguir.
I. yx Q(x,y) é verdadeira
II. xy Q(x,y) é verdadeira
III. xy Q(x,y) é verdadeira
É correto o que se afirma em:
a) I e II
b) II e III
c) I e III
d) Somente II

É correto o que se afirma em: Questão 10) Dizer que a afirmação “todos
os economistas são médicos” é falsa, do
a) I e II ponto de vista lógico, equivale a dizer que a
b) II e III seguinte afirmação é verdadeira:
c) I e III
d) I, II e III a) pelo menos
um economista não é médico;
b) nenhum
Questão 07) Em uma comunidade, todo economista é médico;
trabalhador é responsável. Todo artista, se c) nenhum
não for filósofo, ou é trabalhador ou é poeta. médico é economista
Ora, não há filosofo e não há poeta que não d) pelo menos
seja responsável. Portanto, tem-se que, um médico é economista;
necessariamente: e) todos os
a) todo responsável é artista; não médicos são não economistas.
b) todo responsável é filósofo ou poeta;
c) todo artista é responsável; Questão Resposta Questão Resposta
d) algum filósofo é poeta; 01 B 06 A
e) algum trabalhador é filósofo. 02 A 07 C
03 questão 08 A
Questão 08) Considere os conjuntos 04 B 09 D
A={1,4,7,8} e B={5,3,7,10}. Sabe se que 05 B 10 A
C  (A  B) e que (A  B)  C. Analise as
afirmações sobre o conjunto C dadas
abaixo.

I. A ∩ B ∩ C = { }
II. O elemento 7  C
III. (A B)  C
IV. A  C

Estão corretas apenas as afirmações:

a) I e III
b) II e III
c) III e IV
d) I e IV