Matemática Discreta Profa. Kely D. V.

Villacorta
Depto. de Computação Cientı́fica kelydvv@ci.ufpb.br
Centro de Informática Prof. Felipe A. G. Moreno
Universidade Federal da Paraı́ba fgarcia@ci.ufpb.br

Lista de Exercı́cios: Logica Proposicional

Exercı́cio 1. Sabendo que os valores-verdade das proposições p e q são respectivamente V e
F, determine o valor lógico de cada uma das seguintes proposições:

(a) p ∧ ¬q (b) ¬p ∨ q (c) ¬p ∧ ¬q (d) p ∧ (¬p ∨ q)

Exercı́cio 2. Determine V (p) em cada um dos seguintes casos, sabendo que:

(a) V (q) = V e V (p ∧ q) = F (c) V (q) = F e V (q → p) = V

(b) V (q) = F e V (p → q) = F (d) V (q) = V e V (p ↔ q) = F

Exercı́cio 3. Determine V (p) e V (q) em cada um dos seguintes casos, sabendo que:

(a) V (p → q) = V e V (p ∧ q) = F (c) V (p ↔ q) = V e V (p ∧ q) = V

(b) V (p → q) = V e V (p ∨ q) = F (d) V (p ↔ q) = F e V (¬p ∨ q) = V

Exercı́cio 4. Construa as tabelas-verdade das seguintes fórmulas e identifique as que são tau-
tologias, contradições, ou contingências:

(a) ¬(p ∨ q)
(f) ¬(p → (¬p → q))
(b) p ∧ ¬p
(g) ¬p ∧ r → q ∨ ¬r
(c) p ∧ q → p ∨ q
(h) p → r ↔ q ∨ ¬r
(d) (p → q) → p ∧ q
(i) p → (p → ¬r) ↔ q ∨ r
(e) p → (q → (q → p))
Exercı́cio 5. Sabendo que as proposições x = 0 e x = y são verdadeiras e que as proposições
y = z e y = t são falsas, determine o valor-verdade de cada uma das seguintes proposições:

(a) x = 0 ∧ x = y → y 6= z
(d) x 6= 0 ∨ x 6= y → y 6= z
(b) x 6= 0 ∨ y = t → y = z
(e) x = 0 → (x 6= y ∨ y 6= t)
(c) x 6= y ∨ y 6= z → y = t
Exercı́cio 6. Determine quais das seguintes fórmulas são Implicações.

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

1
Exercı́cio 7. Determine quais das seguintes fórmulas são Equivalências.

(a) ¬p ∧ q ↔ q → p (c) p ↔ p ∨ q

(b) (p → q) ↔ (¬q → ¬p) (d) (p → q) ↔ (¬p ∨ q)

Exercı́cio 8. Prove, usando tabelas-verdade, que qualquer dos conectivos estudados pode ser
expresso usando-se somente ¬ e ∧.
Exercı́cio 9. Prove, usando tabelas-verdade, as seguintes equivalências:

(a) Idempotência: (e) Distributiva:

p∧p⇔p p ∨ (q ∧ r) ⇔ (p ∨ q) ∧ (p ∨ r)
p∨p⇔p p ∧ (q ∨ r) ⇔ (p ∧ q) ∨ (p ∧ r)

(b) Comutativa: (f) De Morgan:

p∧q ⇔q∧p ¬(p ∧ q) ⇔ ¬p ∨ ¬q

p∨q ⇔q∨p ¬(p ∨ q) ⇔ ¬p ∧ ¬q

(c) Associativa: (g) Absorção:

p ∧ (q ∧ r) ⇔ (p ∧ q) ∧ r p ∧ (p ∨ q) ⇔ p
p ∨ (q ∨ r) ⇔ (p ∨ q) ∨ r p ∨ (p ∧ q) ⇔ p

(d) Dupla negação: ¬¬p ⇔ p