Matemática Discreta

Exercı́cios de Lógica

6 de março de 2023

Exercı́cio 1 Quais dessas sentenças são proposições? Quais são os valores-verdade das que
são proposições? (Proposição)

(a) Curitiba é a capital do Paraná.

(b) Palmas é a capital de Tocantins.
(c) 2 + 3 = 5.
(d) 5 + 7 = 11.
(e) x + 2 = 10.
(f) Responda esta questão.

Exercı́cio 2 Quais dessas sentenças são proposições? Quais são os valores-verdade das que
são proposições? (Proposição)

(a) Não ultrapasse.

(b) Que horas são?
(c) Não há moscas pretas em Brası́lia.
(d) x + 5 = 4.A
(e) A lua é feita de queijo verde.
(f) 2n ≤ 100.

Exercı́cio 3 Qual das frases a seguir são sentenças? (Proposição)

(a) Dois é um número primo.

(b) As taxas do ano que vem serão maiores.
(c) Ele é um homem magro.
(d) O Jogo terminará logo?.
(e) As taxas do ano que vem serão menores.

1
 (f) x + 5 = 20.

Exercı́cio 4 Qual das frases a seguir são sentenças?(Proposição)

(a) O Acre é um estado da Região Nordeste.

(b) Você viu o cometa Halley?
(c) Há vida no planeta Marte.
(d) Se x < 2, então x + 3 > 1.

Exercı́cio 5 Qual das frases a seguir são sentenças?(Proposição)

(a) A prova foi cancelada.

(b) Bom dia!
(c) O triplo de 15 é maior do que 10.
(d) x é um planeta.
(e) Se x = 2, então x + 5 = 3

Exercı́cio 6 Qual os valores-verdade das seguintes sentenças? (valores-verdade)

1. 8 é par ou 6 é ı́mpar. 5. Se 8 é ı́mpar, então 6 é ı́mpar.

2. 8 é par e 6 é ı́mpar. 6. Se 8é par, então 6 é ı́mpar.
3. 8 é ı́mpar ou 6 é ı́mpar 7. Se 8 é ı́mpar, então 6 é par.
4. 8 é ı́mpar e 6 é ı́mpar 8. Se 8 é ı́mpar e 6 é par, então 8 < 6.

Exercı́cio 7 Construa as tabelas-verdade das seguintes fórmulas e identifique as que são tau-
tologias ou contradição ou contingência. (valores-verdade)

1. ¬(p ∨ ¬q) 8. ¬(p → (¬p → q))

2. ¬(p → ¬q) 9. (p ∧ q) → (p ↔ (q ∨ r))
3. (p ∧ q) → (p ∨ q)
10. ¬p ∧ r → q ∨ ¬r
4. ¬p → (q → p)
11. p → r ↔ q ∨ ¬r
5. (p → q) → (q ∧ p)
6. q ↔ (¬q ∧ p) 12. p → (p → ¬r) ↔ q ∨ r

7. p → (q → (q → p)) 13. (p ∧ q → r) ∨ (¬p ↔ q ∨ ¬r)

Exercı́cio 8 Use tabelas verdade para estabelecer as seguintes equivalências. (Equivalência

lógica)

(a) Mostre que ¬¬p é logicamente equivalente a p.

2
 (b) Mostre que p ∧ p é logicamente equivalente a p.
(c) Mostre que p ∨ p é logicamente equivalente a p.
(d) Mostre que p ∧ q é logicamente equivalente a q ∧ p.
(e) Mostre que p ∨ q é logicamente equivalente a q ∨ p.
(f) Mostre que ¬(p ∨ q) é logicamente equivalente a ¬p ∧ ¬q.
(g) Mostre que ¬(p ∧ q) é logicamente equivalente a ¬p ∨ ¬q.

O item (a) é conhecida como dupla negação, os itens (b) e (c) é a propriedade idem-
potência, as propriedades (d) e (e) são conhecidas como comutativa e as equivalências
(f ) e (g) ficaram conhecidas como as leis de De Morgan, alusão a Augustus De Morgan,
lógico do século XIX.

Exercı́cio 9 Use tabelas verdade para provar as seguintes propriedades distributivas para
lógica proposicional (Equivalência lógica):

(a) p ∧ (q ∨ r) é logicamente equivalente a (p ∧ q) ∨ (p ∧ r)

(b) p ∨ (q ∧ r) é logicamente equivalente a (p ∨ q) ∧ (p ∨ r)

Exercı́cio 10 Use tabelas verdade para provar as propriedades associativas para lógica pro-
posicional (Equivalência lógica):

(a) p ∨ (q ∨ r) é logicamente equivalente a (p ∨ q) ∨ r

(b) p ∧ (q ∧ r) é logicamente equivalente a (p ∧ q) ∧ r

Exercı́cio 11 Use tabelas verdade para provar as propriedades de absorção para lógica pro-
posicional (Equivalência lógica):

(a) p ∧ (p ∨ q) é logicamente equivalente a p

(b) p ∨ (p ∧ q) é logicamente equivalente a p

Exercı́cio 12 Prove, usando tabela-verdade, as seguintes equivalências:

(a) p ↔ p ∧ q ⇔ p → q
(b) q ↔ p ∨ q ⇔ p → q
(c) (p → q) ∧ (p → r) ⇔ p → q ∧ r
(d) (p → q) ∨ (p → r) ⇔ p → q ∨ r

Exercı́cio 13 determinar o valores-verdade das seguintes proposições. (Predicados)

1. Seja P (x) o predicado “x < 10”. Qual é o valor-verdade das proposições P (11),
P (10) e P (9)?

3
 2. Seja R(x) o predicado “x2 + 1 = 10”. Qual é o valor-verdade das proposições R(3),
R(3) ∨ R(5) e R(2) ∧ R(3)?
3. Seja S(x, y) o predicado “x2 + y 2 = 13”. Qual é o valor-verdade das proposições
S(3, 2), S(3, 3) e S(2, 3)?
4. Seja Q(x, y) o predicado “x = y +4”. Qual é o valor-verdade das proposições Q(5, 1),
Q(5, 1) ∨ Q(5, 5) e Q(6, 2) ∧ Q(2, 5)?
5. Seja P (x, y, z) o predicado “x + y = z”. Qual é o valor-verdade das proposições
P (3, 1, 4), P (3, 3, 6) e P (2, 3, 4)?
6. Seja Q(x, y, z) o predicado “x2 + y 2 = z 2 ”. Qual é o valor-verdade das proposições
Q(4, 3, 5), Q(3, 4, 5) ∨ Q(1, 2, 3) e Q(6, 8, 10) ∧ Q(4, 3, 5)?

Exercı́cio 14 No domı́nio todos os pinguins, seja D(x) o predicado “x é perigoso”. Traduza

as seguintes sentenças quantificadas para o português cotidiano. (Quantificadores)

(a) (∀x)D(x)
(b) (∃x)D(x)
(c) ¬(∃x)D(x)
(d) (∃x)¬D(x)

Exercı́cio 15 No domı́nio todos os alunos da UFT, seja P (x) o predicado “x é flamenguista”.

Traduza as seguintes sentenças quantificadas para o português cotidiano. (Quantifica-
dores)

(a) (∀x)P (x)

(b) (∃x)P (x)
(c) ¬(∃x)P (x)
(d) (∃x)¬P (x)

Exercı́cio 16 No domı́nio de todos os filmes, seja V (x) o predicado “x é violento”. Escreva

as sentenças seguintes usando sı́mbolos de lógica de predicados : (Quantificadores)

(a) Alguns filmes são violentos.

(b) Alguns filmes não são violentos.
(c) Nenhum filme é violento.
(d) Todos os filmes são violentos.

Exercı́cio 17 No domı́nio de todos os gatos de Palmas, seja P (x) o predicado “x é preto”.

Escreva as sentenças seguintes usando sı́mbolos de lógica de predicados : (Quantifica-
dores)

4
 (a) Alguns gatos são pretos.
(b) Alguns gatos não são pretos.
(c) Nenhum gato é preto.
(d) Todos os gatos são pretos.

Exercı́cio 18 Suponha que o domı́nio seja o conjunto dos números R. Então, determine o
valor-verdade (V ou F ) de cada uma das seguintes proposições: (Valor de Verdade de
Quantificadores)

(a) (∀x ∈ R)(x2 > x) (d) (∀x ∈ R)(∃y ∈ R)(x2 + y = 4)

(b) (∃x ∈ R)(x2 − 2 = 1) (e) (∃y ∈ R)(∀x ∈ R)(x2 + y = 4)
(c) (∃x ∈ R)(x2 + 2 = 1)

Exercı́cio 19 Suponha que o domı́nio seja o conjunto dos números R. Então, determine o
valor-verdade (V ou F ) de cada uma das seguintes proposições: (Valor de Verdade de
Quantificadores)

(a) (∀x ∈ R)(|x| = x) (f) (∀x ∈ R)(x2 = x)

(b) (∃x ∈ R)(x2 = x) (g) (∃x ∈ R)(2x = x)
(c) (∃x ∈ R)(|x| = 0) (h) (∃x ∈ R)(x2 + 3x = −2)
(d) (∃y ∈ R)(x + 2 = x) (i) (∃x ∈ R)(x2 + 5 = 2x)
(e) (∀x ∈ R)(x + 1 > x) (j) (∃x ∈ R)(2x + 5x = 7x)

Exercı́cio 20 Suponha que o domı́nio D = {2, 3, 4, 5, 6, 7, 8, 9}. Então, determine o valor-

verdade (V ou F ) de cada uma das seguintes proposições: (Valor de Verdade de
Quantificadores)

(a) (∀x ∈ D)(∀y ∈ D)(x + 5 < y + 12) (f) (∃x ∈ D)(∀x ∈ D)(x2 > y)
(b) (∀x ∈ D)(∃y ∈ D)(xy não é primo)
(g) (∃x ∈ D)(∃x ∈ D)(x + y é par)
(c) (∃y ∈ D)(∀x ∈ D)(xy não é primo)
(h) (∀x ∈ D)(∃x ∈ D)(x + y é par)
(d) (∃x ∈ D)(∃x ∈ D)(x2 > y)
(e) (∀x ∈ D)(∃x ∈ D)(x2 > y) (i) (∃x ∈ D)(∀x ∈ D)(x + y é par)

Exercı́cio 21 Negue cada uma das seguintes proposições. (Negação de Proposições Quan-
tificadas)

(a) (∀n ∈ N)(n < 1) (c) (∀n ∈ N)(n! < 10)

(b) (∃n ∈ N)(n < 1) (d) (∃n ∈ N)(n! < 10)

5
 (e) (∀n ∈ N)(n + 1 > n) (g) (∀n ∈ N)(2n é par)
(f) (∃n ∈ N)(n + 1 > n) (g) (∃x ∈ N)(2n é par)

Exercı́cio 22 Negue cada uma das seguintes proposições. (Negação de Proposições Quan-
tificadas)

(a) (∀x ∈ R)(|x| = x) (f) (∀x ∈ R)(x2 = x)

(b) (∃x ∈ R)(x2 = x) (g) (∃x ∈ R)(2x = x)
(c) (∃x ∈ R)(|x| = 0) (h) (∃x ∈ R)(x2 + 3x = −2)
(d) (∃y ∈ R)(x + 2 = x) (i) (∃x ∈ R)(x2 + 5 = 2x)
(e) (∀x ∈ R)(x + 1 > x) (j) (∃x ∈ R)(2x + 5x = 7x)