Escolar Documentos
Profissional Documentos
Cultura Documentos
3. Indique quais das proposições em pares seguintes são negações uma da outra (explique,
porquê):
1
5. Determine os valores de verdade das variáveis proposicionais a, b, . . . , sabendo o valor
de verdade das proposições a seguir:
(a) a ∧ (2 · 2 = 4), V
(b) b ∨ (2 · 2 = 5), F
(c) c ∧ (2 · 2 = 5), F
(d) d → (2 · 2 = 5), F
(e) e ↔ (2 · 2 = 5), V
(f) f ↔ (2 < 3), V
(g) g ↔ (2 < 3), F
(h) se 4 é numero par então h, V
(i) se i, então 4 é numero par, V
(j) se j, então 4 é numero par, F
6. Determine se for possível o valor de verdade das expressões seguintes (seja λ(P ) o valor
de verdade da P )
(a) (a → b) → c, λ(c) = V ,
(b) a ∧ (b → c), λ(b → c) = F ,
(c) a ∨ (b → c), λ(b) = F ,
(d) ¬(a ∨ b) ↔ (¬a → ¬b), λ(a) = V ,
(e) (a ∧ b) → (a ∨ c), λ(a) = F .
(a) P ∧ ¬Q
(b) ¬(P → Q)
(c) P → (Q ∨ R)
(d) (P → Q) ∨ (P → R)
2
(a) P ↔ q ≡∼ p ↔∼ q
(b) [(p → q)∧ ∼ p] ↔∼ q ≡ (p → q) → (∼ p ↔∼ q)
(c) ∼ p → (q ∧ r) ≡∼ (q ∧ r) → p
(d) [(p ∧ r) → s] →∼ q ≡ q →∼ (p ∧ r) → s