FUNDAÇÃO EDUCACIONAL SERRA DOS ÓRGÃOS

FACULDADES UNIFICADAS
Centro de Ciências Humanas e Sociais
Curso de Graduação em Tecnologia em Processamento de Dados

Lógica Matemática – Profa. Valéria Iorio

Solução do 3º Teste - 13/10/05

1ª Questão (Valor: 1 ponto) Determine o valor lógico de cada uma das expressões a
seguir, onde o conjunto universo é o conjunto ℕ dos números naturais, isto é, ℕ =
{0, 1, 2, 3, 4, }.
a. (x)(y)[xy > 0]. F: x = 0 pertence a ℕ.
b. (y) (x) [x + y = x]. V: y = 0 satisfaz a equação x + y = x qualquer que seja x  ℕ.

2ª Questão (Valor: 1 ponto e ½) Considere a proposição

(x) {A(x)  (y)[B(x, y)  C(y)] }.
a. Encontre o valor lógico da proposição dada com a interpretação de que o
conjunto universo é ℕ, A(x) significa “x  0”, B(x, y) significa “x < y ” e C(y)
significa “y > 0”. V: todos os elementos de ℕ são maiores ou iguais a 0; além disso,
se x < y, como 0  x, y > 0.
b. Encontre uma interpretação onde a proposição dada tem valor lógico contrário
ao que você encontrou no item a. Basta mudar o conjunto universo: no conjunto ℤ,
se A(x) significa “x  0”, B(x, y) significa “x < y ” e C(y) significa “y > 0”, então a
proposição é falsa, pois nem todo inteiro é maior ou igual a 0.

3ª Questão (Valor: 2 pontos) Dê uma interpretação que torne a proposição

predicada a seguir falsa e outra que a torne verdadeira.
(x) (y)A(x, y)  (y)(x)A(x, y).
Falsa: Conjunto universo := ℤ, A(x,y) := “x < y”.
Verdadeira: Conjunto universo := ℤ, A(x,y) := “xy = 0”.

4ª Questão (Valor: 1 ponto e ½) Coloque em português cada uma das proposições

predicadas a seguir, usando as seguintes convenções: M(x) significa “x é mulher”;
A(x, y) significa “x ama y”; H(x) significa “x é homem”; R(x) significa “x é rico(a)”; c
simboliza Carlos e d simboliza Denise.
a. (x) [M(x)  A(c, x)  x = d]. Uma frase intermediária seria: Qualquer que seja a
mulher, se Carlos ama essa mulher, então essa mulher é Denise. Resposta: Carlos
ama só a Denise. Outra resposta possível: A única mulher amada por Carlos é a
Denise.
b. (x) [H(x)  R(x)  A(d, x)]. Frase intermediária: Dado qualquer homem rico, Denise
ama esse homem. Resposta: Denise ama todos os homens ricos.
c. (x) {H(x)  R(x)  (y) [M(y)  A(y, x)] }. Frase intermediária: Existe um homem
rico tal que, qualquer que seja a mulher, ela ama esse homem. Resposta: Algum
homem rico é amado por todas as mulheres.
5ª Questão (Valor: 1 ponto) São dadas diversas formas de negação para cada uma
das proposições a seguir. Qual delas está correta?
a. Alguns alunos não gostam de programação ou de matemática.
i. Todos os alunos gostam de programação e de matemática.
ii. Alguns alunos gostam de programação e de matemática.
iii. Todos os alunos gostam de programação ou de matemática.
iv. Alguns alunos gostam de programação ou de matemática.
b. Algumas pessoas não gostam de samba, embora não sejam ruins da cabeça nem
doentes do pé.
i. Algumas pessoas gostam de samba, mas são ruins da cabeça ou doentes do
pé.
ii. Quem não gosta de samba é ruim da cabeça ou doente do pé.
iii. Quem não gosta de samba é ruim da cabeça e doente do pé.
iv. Algumas pessoas não gostam de samba, mas são ruins da cabeça ou doentes
do pé.

6ª Questão (Valor: 1 ponto) São dadas diversas formas de simbolizar cada uma das
proposições a seguir. Qual delas está correta? (Estamos usando as seguintes
convenções: M(x) significa “x é mulher”; C(x, y) significa “x vai casar com y ”; H(x)
significa “x é homem”; R(x) significa “x é rico(a)”; a simboliza Alice e b simboliza
Bruno.)
a. Bruno só vai casar com uma mulher rica.
i. (x) [C(b, x)  M(x)  R(x)]. iii. (x) [M(x)  R(x)  C(b, x)].
ii. (x) [M(x)  R(x)  C(b, x)]. iv. (x) [M(x)  R(x)  C(b, x)].
b. Alice não vai casar com homem algum.
i. (x) [H(x)  (C(a, x))´]. iii. (x) [H(x)  (C(a, x))´].
ii. (x) [H(x)  (C(a, x))´]. iv. (x) [H(x)  (C(a, x))´].

7ª Questão (Valor: 2 pontos) Considere a proposição predicada

(x)[P(x)  Q(x)]  (x)P(x)  (y)Q(y).
a. A proposição dada é válida? Justifique sua resposta.
Sim. Suponha que o antecedente é verdadeiro, isto é, que todos os elementos
do conjunto universo têm a propriedade P ou têm a propriedade Q. Temos duas
possibilidades: todos têm a propriedade P ou nem todos têm a propriedade P. Se
todos têm a propriedade P, então (x)P(x) é verdadeiro e o conseqüente é
verdadeiro. Se nem todos têm a propriedade P, então existe algum y que não
tem a propriedade P; como y tem a propriedade P ou tem a propriedade Q, ele
tem que ter a propriedade Q, logo (y)Q(y) é verdadeira e o conseqüente é
verdadeiro. Portanto, sempre que o antecedente é verdadeiro, o conseqüente
também é, ou seja, a proposição é válida.
b. A recíproca da proposição dada é válida? Justifique sua resposta.
A recíproca da proposição dada é
(x)P(x)  (y)Q(y)  (x)[P(x)  Q(x)].
Esta proposição não é válida. Considere a seguinte interpretação: conjunto
universo := ℤ, P(x) := “x  0”, Q(x) := “x é par”. Com esta interpretação o
antecedente é verdadeiro e o conseqüente é falso, pois existe um inteiro par,
mas nem todo inteiro é  0 ou par. Portanto a recíproca não é válida.