Universidade Federal Rural de Pernambuco

Departamento de Matemática
Disciplina: Elementos de Lógica Matemática
Profª Eudes Mendes Barboza
[Link]@[Link]

2ª Lista de Exercícios

1. (Esaf ) Dadas as proposições compostas, a que tem valor lógico FALSO é:

(a) 3 + 4 = 7 ↔ 53 = 125.
(b) 3 + 2 = 6 → 4 + 4 = 9.
√
(c) 3 > 1 ∨ (π não é um número real).
√
(d) 2 > 1 → 20 = 2.
(e) −2 > 0 ↔ π 2 < 0.

2. (Esaf ) Duas pessoas que sabiam lógica, um estudante e um garçom, tiveram o seguinte diálogo
numa lanchonete:

Garçom: "O que deseja?"

Estudante: "Se eu comer um sanduíche então não comerei salada, mas tomarei sorvete."

A situação que torna a declaração do estudante FALSA é:

(a) O estudante não comeu salada, mas tomou sorvete.

(b) O estudante comeu sanduíche, não comeu salada e tomou sorvete.

(c) O estudante não comeu sanduíche.

(d) O estudante comeu sanduíche, mas não tomou sorvete.

(e) O estudante não comeu sanduíche, mas comeu salada.

3. (Esaf ) Assinale a opção verdadeira:

(a) 3=4 e 3+4=9.

(b) Se 3=3, então 3+4=9.

(c) Se 3=4, então 3+4=9.

(d) 3=4 ou 3+4=9.

(e) 3=3 se e somente se 3+4=9.

4. (Esaf ) Observe o argumento a seguir e a partir das premissas dadas o que podemos concluir?

Surfo ou estudo. Fumo ou não surfo. Velejo ou não estudo. Ora, não velejo. Assim:

(a) estudo e fumo.

(b) não fumo e surfo.

(c) não velejo e não fumo.

(d) estudo e não fumo.

(e) fumo e surfo.

5. (Fiscal do Trabalho) Observe o argumento a seguir e a partir das premissas dadas o que podemos
concluir?

Se Frederico é francês, então Alberto não é alemão. Ou Alberto é alemão, ou Egídio é espanhol.
Se Pedro não é português, então Frederico é francês. Ora nem Egídio é espanhol e nem Isaura
é italiana. Logo:

(a) Pedro é português e Frederico é francês.

(b) Pedro é português e Alberto é alemão.

(c) Pedro não é português e Alberto é alemão.

(d) Egídio é espanhol ou Frederico é francês.

(e) Se Alberto é alemão então Frederico é francês.

6. (Agente Fiscal de Rendas) O paciente não pode, estar bem e ainda ter febre. O paciente está
bem. Logo, o paciente:

(a) Tem febre e não está bem.

(b) Tem febre ou não está bem.

(c) Tem febre.

(d) Não tem febre.

(e) Não está bem.

7. (Esaf ) André é inocente ou Beto é inocente. Se Beto é inocente, então Caio é culpado. Caio é
inocente se e somente se Denis é culpado. Denis é culpado. Logo:

(a) Caio e Beto são inocentes.

(b) André e Caio são inocentes.

(c) André e Beto são inocentes.

(d) Caio e Denis são culpados.

(e) André e Denis são culpados.

8. (Polícia Civil) A sentença "Penso, logo existo"é logicamente equivalente a:

(a) Penso e existo.

(b) Nem penso, nem existo.

(c) Não penso ou existo.

(d) Penso ou não existo.

(e) Existo, logo penso.

Justique sua resposta.

9. (Serpro) Uma sentença logicamente equivalente equivalente a "Se Pedro é economista, então
Luísa é solteira"é:

(a) Pedro é economista ou Luísa é solteira.

(b) Pedro é economista ou Luísa não é solteira.

(c) Se Luísa é solteira, Pedro é economista.

(d) Se Pedro não é economista, então Luísa não é solteira.

2
 (e) Se Luísa não é solteira, então Pedro não é economista.

Justique sua resposta.

10. (MPOG) Dizer que "André é artista ou Bernardo não é engenheiro"é logicamente equivalente
a dizer que:

(a) André é artista se e somente se Bernardo não é engenheiro.

(b) Se André é artista, então Bernardo não é engenheiro.

(c) Se André não é artista, então Bernardo é engenheiro.

(d) Se Bernardo é engenheiro, então André é artista.

(e) André não é artista e Bernardo é engenheiro.

11. (AFC) Dizer que não é verdade que Pedro é pobre e Alberto é alto é logicamente equivalente
a dizer que é verdade que:

(a) Pedro não é pobre ou Alberto não é alto.

(b) Pedro não é pobre e Alberto não é alto.

(c) Pedro é pobre ou Alberto não é alto.

(d) Se Pedro não é pobre, então Alberto é alto.

(e) Se Pedro não é pobre, então Alberto não é alto.

Justique sua resposta.

12. (Anpad) Para que a armativa "Todo matemático é louco"seja falsa, basta que:

(a) Todo matemático seja louco.

(b) Todo louco seja matemático.

(c) Algum louco não seja matemático.

(d) Algum matemático seja louco.

(e) Algum matemático não seja louco.

13. (CVM) Dizer que a armação "Todos os economistas são médicos"é falsa, do ponto de vista
lógico, equivale a dizer que a seguinte armação é verdadeira:

(a) Pelo menos um economista não é médico.

(b) Nenhum economista é médico.

(c) Nenhum médico é economista.

(d) Pelo menos um médico não é economista.

(e) Todos os não médicos são não economistas.

14. Dar a negação em linguagem corrente de cada uma das seguintes proposições:

(a) É falso que está frio ou que está chovendo.

(b) Não é verdade que o pai de Marcos é pernambucano ou que a mãe é gaúcha.

(c) Não é verdade que as vendas estão diminuindo e que os preços estão aumentando.

(d) Não é verdade que Jorge estuda Física, mas não, Química.

15. Demonstrar as seguintes Regras de DE Morgan para três componentes.

3
 (a) ∼ (p ∧ q ∧ r) ↔∼ p∨ ∼ q∨ ∼ r
(b) ∼ (p ∨ q ∨ r) ↔∼ p∧ ∼ q∧ ∼ r

16. Verique se as armações abaixo são verdadeiras, justicando sua resposta.

(a) 1 + 3 = 4 ⇔ (1 + 3)2 = 16.

(b) 20 = 1 ⇔ π > 4.
(c) p ∧ (p ∨ q) ⇔ p.
(d) p ↔ p ∧ q ⇔ p → q.
(e) (p → q) ∧ (p → r) ⇔ p → q ∧ r.
(f ) (p → q) ∨ (p → r) ⇔ p → q ∨ r.

17. Mostre que (x ̸= 0 ⊻ x = y) ↔ x = y ⇔ x = 0.

18. Determine:

(a) a recíproca de ∼ p → ∼ q.
(b) a contrária de ∼ p → ∼ q.
(c) a contrapositiva de ∼ p → ∼ q.
(d) a contrapositiva da recíproca de p → ∼ q.
(e) a recíproca da contrapositiva de p → ∼ q.
(f ) a contrária da recíproca de p → ∼ q.

19. Considerando a proposição Se x é par, então x2 é par, determine:

(a) a recíproca.

(b) a contrária.

(c) a contrapositiva.

(d) a contrapositiva da recíproca.

(e) a recíproca da contrapositiva.

20. Considerando a proposição Se f é diferenciável, então é contínua, determine:

(a) a recíproca.

(b) a contrária.

(c) a contrapositiva.

21. Mostre que o conectivo ⊻ exprime-se em função dos três conectivos ∼, ∨ e ∧ da seguinte forma:
p ⊻ q ⇔ (p ∨ q) ∧ ∼ (p ∧ q).

22. Utilizando o resultado da questão anterior, escreva uma proposição equivalente à negação da
proposição p ⊻ q.

23. Mostre que o conectivo ∨ exprime-se em função unicamente do conectivo → pela equivalência:
p ∨ q ⇔ (p → q) → q.

24. Demonstre as seguintes propriedades, comutativa e associativa, da bicondicional:

(a) p ↔ q ⇔ q ↔ p.
(b) (p ↔ q) ↔ r ⇔ p ↔ (q ↔ r).

4
25. Escreva, em linguagem corrente, uma proposição equivalente à:

(a) Não é verdade que o sapo é verde e a abelha é amarela.

(b) É falso que não está frio ou que está chovendo.

(c) Não é verdade que o pai de Marcos é Pernambucano ou que a mãe é gaúcha.

(d) Não é verdade que as vendas estão diminuindo e que os preços estão aumentando.

(e) É falso que Jorge estuda física, mas não química.

26. Demonstre as Regras de De Morgan para três componentes:

(a) ∼ (p ∧ q ∧ r) ⇔∼ p ∨ ∼ q ∨ ∼ r.
(b) ∼ (p ∨ q ∨ r) ⇔∼ p ∧ ∼ q ∧ ∼ r.

27. Construa a condicional associada a cada um dos seguintes argumentos:

(a) ∼ p, ∼ q → p ⊢ q.
(b) p → q ⊢ ∼ (p ∧ ∼ q).
(c) p, p → q, ∼ q ∨ (r ∧ s) ⊢ r ∧ s.
(d) x = y → x = 5, x = 5 → x < z ⊢ x = y → x < z.

28. Construa o argumento correspondente a cada uma das seguintes condicionais.

(a) p ∧ (q ∨ ∼ p) → q.
(b) ∼ (x < 0 ∧ y ̸= x) → x ≮ 0 ∨ y = x.

29. Utilizando os métodos de demonstração vistos em sala de aula prove que:

(a) Para todos inteiros a, b e c, se a|b e b|c, então a|c.

A notação d|n deve ser lida como "d divide n". Simbolicamente, se d e n são inteiros e
d ̸= 0,
d|n ⇔ existe um inteiro k tal que n = d.k
(b) Sejam a, b, c ∈ Z. Se a|(b + c) e a|b, então a|c.
(c) Prove que a soma de um número par com um número ímpar resulta em um número ímpar.

(d) Seja n∈N e n2 for divisível por dois, então n é divisível por dois.

30. Prove que a soma e o produto de dois números pares é um número par. O que podemos armar
sobre a soma e o produto de números ímpares? É um número par ou um número ímpar?
Enuncie esses resultados e justique suas respostas em forma de demonstração.

31. Prove o seguinte resultado, bastante simples, usando as três técnicas de demonstração vistas
em sala de aula:

Se 2x2 + x − 1 = 0, então x < 1.

32. Observe a seguinte demonstração:

Temos 16 − 36 = 25 − 45.
 
81
Somamos nos dois lados, o que não altera a igualdade.
4
81 81
Assim, 16 − 36 + = 25 − 45 + .
4 4
 2  2
9 9
Isso pode ser escrito da seguinte forma : 4− = 5− .
2 2
 9 9
Tirando a raiz quadrada em ambos os lados temos: 4− =5− .
2 2
 
9
Somando em ambos os lados da igualdade temos: 4 = 5.
2
Concluímos que: A) Desde criança fomos enganados e de fato 4 = 5:
B) Existe algo errado nessa demonstração. Caso a sua resposta seja a A), ou seja, você foi
enganado, o que resta é chorar. Se sua resposta foi a B), ou seja, deve haver algum erro nisto.
Justique em que consiste o erro.