Introdução à Lógica

Lista de Exercı́cios II
Prof. Rodrigo Veras
19 de dezembro de 2022

Tema: Relações de Implicação e Equivalência e Argumento Válido

1. Dizer se entre as seguintes proposições há implicação ou equivalência quando tomada aos pares.
(a) ¬p
(b) q → ¬p
(c) p → q
(d) ¬q ∨ p
(e) p ∧ q
2. Mostrar que:
(a) q  p → q
(b) q 2 p ∧ q ↔ p
(c) p ↔ ¬q 2 ¬p → ¬q
(d) p 2 p ∧ q
(e) p ∨ q 2 p
3. Verificar mediante tabelas-verdade as seguintes equivalências:
(a) ¬(¬(p ∨ r)) ≡ p ∨ r
(b) ¬(¬(p ∧ ¬q)) ≡ p ∧ ¬q
(c) ¬r ∧ ¬r ≡ ¬r
(d) p ∧ ¬q ∨ p ∧ ¬q ≡ p ∧ ¬q
(e) ¬(¬p ∨ q) ≡ ¬(q ∨ ¬p)
(f) p ∨ ¬q ∧ r ≡ ¬q ∧ r ∨ p
(g) p ∧ (q ∨ p) ≡ p
4. Dadas as proposições abaixo, escrever as proposições equivalentes usando as equivalências notáveis
indicadas.
(a) Dupla negação:
• ¬(¬(p ∨ q))
• ¬(¬(¬p ∧ ¬q))
• p∧q
(b) Leis idempotentes:
• ¬p ∨ ¬q
• (p → q) ∨ (p → q)
• ¬(¬(p → q) ∧ ¬(p → q))
(c) Leis comutativas:
• (¬p ∧ ¬q) ∨ r
• (s ∧ r) ∧ ¬(p → s)
1
 • (p → s) ∧ (p ∨ r)
(d) Leis de De Morgan:
• ¬(¬p ∨ ¬q)
• ((p ∨ q) ∧ ¬(r → s))
• (p → q) ∧ ¬r
(e) Leis Associativas:
• r ∨ (¬p ∨ ¬q)
• p ∧ ((r → s) ∧ (s ∨ r))
• ((p ∨ q) ∧ (p → r)) ∧ (p ∨ s)
(f) Leis Distributivas:
• ¬s ∧ (¬p ∨ q)
• p ∨ (¬(q ∧ r) ∧ (r → s))
(g) Contrapositivo:
• ¬p → ¬(q ∧ r)
• (p ∨ q) → ¬r
• (p → q) → ¬(r → s)
(h) Condicional:
• ¬p → ¬(q ∧ r)
• p ∨ (q → r)
• ¬(¬p ∨ q)
(i) Bicondicional:
• ((¬p → ¬q) ∧ (¬q → ¬p))
• ((p ∧ q) → ¬r) ∧ (¬r → (p ∧ q))
• (p ↔ ¬q)
5. Teste a validade dos seguintes argumentos:
(a) p → ¬q, p ∨ ¬q, q, ¬p
(b) t → r, ¬r, t ∨ s, s
6. Dados os conjuntos de valores lógicos:

(A) (B) (C) (D)

1 0 1 1
0 1 1 0
0 1 1 1
0 1 0 0

Qual deles torna o seguinte argumento válido?

p q premissa premissa conclusão

0 0 ? 1 1
0 1 ? 0 1
1 0 ? 1 1
1 1 ? 0 0

7. Dado o argumento:

p q premissa premissa conclusão

0 0 0 0 ?
0 1 1 1 ?
1 0 1 1 ?
1 1 1 0 ?
2
 Qual dos conjuntos de valores lógicos abaixo torna esse argumento válido?

(A) (B) (C) (D)

1 1 1 1
1 0 1 0
0 1 1 0
0 0 0 1

8. Mediante o uso de tabelas-verdade, testar a validade dos argumentos:

q → ¬p
(a) ¬(¬p)
q
p → ¬q
(b) p∨q
p↔q
¬r → ¬p
(c) ¬(¬p ∨ q)
¬q
(d) ¬(p ∨ q), q → r, p ∨ (p → q), q ∨ r
9. Dê os nomes de cada um das seguintes regras de inferência:
¬(c ∨ d) → e
(a) ¬(c ∨ d)
e
f → (b ∨ d)
(b) ¬(b ∨ d)
¬f
(p ∧ ¬q) ∨ (q ∧ ¬r)
(c) ¬(p ∧ ¬q)
q ∧ ¬r
d ∧ (a ∨ ¬b)
(d)
a ∨ ¬b
¬(a ∧ b)
(e) c→a
¬(a ∧ b) ∧ (c → a)
b→c
(f)
(b → c) ∨ ¬d
a → ¬b
(g) ¬b → c
a→c
¬s → (t ∧ r)
(h) ¬(t ∧ r)
s
10. Complete cada um dos seguintes argumentos válidos:
(r ∧ p) → ¬q
(a) ¬(¬q)
?
a → (b → c)
(b) ?
¬a

3
 (a ∧ ¬b) ∨ (b ∧ ¬c)
(c) ?
a ∧ ¬b
(¬a → ¬b) ∨ c
(d) ¬c
?
a → (b ∧ c)
(e) ?
a → ¬d