Respostas da 1ª Avaliação Parcial de Matemática Discreta

1).
a) p ⇒ p ˅ q
p q pvq p→pvq
V V V V
V F V V
F V V V
F F F V

b) p ˄ q ⇒ p
 p q p˄q p˄q→p
V V V V
V F F V
F V F V
F F F V
2).
a) p ˄ p ⇔ p
p p˄p p˄p↔p
V V V
F F V

b) p ˅ q ⇔ p
p p˅p p˅p↔p
V V V
F F V

c) p ˄ q ⇔ q ˄ p
p q p˄q q˄p p˄q↔q˄p
V V V V V
V F F F V
F V F F V
F F F F V

d) p ˅ q ⇔ q ˅ p
 p q p˅q q˅p p˅q↔q˅p
V V V V V
V F V V V
F V V V V
F F F F V

e) p ˄ (p ˅ q) ⇔ p
p q p˅q p ˄ (p ˅ q) p ˄ (p ˅ q) ↔ p
V V V V V
V F V V V
F V V F V
F F F F V

f) p ˅ (p ˄ q) ⇔ p
p q p˄q p ˅ (p ˄ q) p ˅ (p ˄ q) ↔ p
V V V V V
V F F V V
F V F F V
F F F F V

g) ¬(p ˄ q) ⇔ ¬p ˅ ¬q
p q p˄q ¬(p ˄ q) ¬p ¬q ¬p ˅ ¬q ¬(p ˄ q) ↔ ¬p ˅ ¬q
V V V F F F F V
V F F V F V V V
F V F V V F V V
F F F V V V V V

h) ¬(p ˅ q) ⇔ ¬p ˄ ¬q
p q p˅q ¬(p ˅ q) ¬p ¬q ¬p ˄ ¬q ¬(p ˅ q) ↔ ¬p ˄ ¬q
V V V F F F F V
V F V F F V F V
F V V F V F F V
F F F V V V V V

3).
a) p ˄ (q ˄ r) ⇔ (p ˄ q) ˄ r
p q r q˄r p ˄ (q ˄ r) p˄q (p ˄ q) ˄ r p ˄ (q ˄ r) ↔ (p ˄ q) ˄ r
V V V V V V V V
V V F F F V F V
V F V F F F F V
V F F F F F F V
F V V V F F F V
F V F F F F F V
 F F V F F F F V
F F F F F F F V

b) p ˅ (q ˅ r) ⇔ (p ˅ q) ˅ r
p q r q˅r p ˅ (q ˅ r) p˅q (p ˅ q) ˅ r p ˅ (q ˅ r) ↔ (p ˅ q) ˅ r
V V V V V V V V
V V F V V V V V
V F V V V V V V
V F F F V V V V
F V V V V V V V
F V F V V V V V
F F V V V F V V
F F F F F F F V

c) p ˅ (q ˄ r) ⇔ (p ˅ q) ˄ (p ˅ r)
p q r q ˄ r p ˅ (q ˄ r) p˅q p˅r (p ˅ q) ˄ (p ˅ r) p ˅ (q ˄ r) ↔ (p ˅ q) ˄ (p ˅ r)
V V V V V V V V V
V V F F V V V V V
V F V F V V V V V
V F F F V V V V V
F V V V V V V V V
F V F F F V F F V
F F V F F F V F V
F F F F F F F F V
d) p ˄ (q ˅ r) ⇔ (p ˄ q) ˅ (p ˄ r)
p q r q˅r p ˄ (q ˅ r) p˄q p˄r (p ˄ q) ˅ (p ˄ r) p ˄ (q ˅ r) ↔ (p ˄ q) ˅ (p ˄ r)
V V V V V V V V V
V V F V V V F V V
V F V V V F V V V
V F F F F F F F V
F V V V F F F F V
F V F V F F F F V
F F V V F F F F V
F F F F F F F F V

4). A ∩ (B ∩ C) = (A ∩ B) ∩ C 5). A ∪ (B ∩ C) = (A ∪ B) ∩ (A ∪ C)
x ∈ A ∩ (B ∩ C) x ∈ A ∪ (B ∩ C)
x ∈ A ˄ x ∈ (B ∩ C) x ∈ A ˅ x ∈ (B ∩ C)
x ∈ A ˄ (x ∈ B ˄ x ∈ C) x ∈ A ˅ (x ∈ B ˄ x ∈ C)
(x ∈ A ˅ x ∈ B) ˄ (x ∈ A ˅ x ∈ C)
(x ∈ A ˄ x ∈ B) ˄ x ∈ C
x ∈ (A ∪ B) ˄ x ∈ (A ∪ C)
x ∈ (A ∩ B) ˄ x ∈ C
x ∈ (A ∪ B) ∩ (A ∪ C)
x ∈ (A ∩ B) ∩ C
Logo: A ∪ (B ∩ C) = (A ∪ B) ∩ (A ∪ C)
Logo: A ∩ (B ∩ C) = (A ∩ B) ∩ C

6). ~((A ∩ B) ∪ (~A ∩ ~B)) = (~A ∩ B) ∪ (A ∩ ~B)

x ∈ ~((A ∩ B) ∪ (~A ∩ ~B))

x ∈ ~(x ∈ (A ∩ B) ˅ x ∈ (~A ∩ ~B))
~((x ∈ A ˄ x ∈ B) ˅ (x ∉ ~A ˄ x ∉ ~B))
(x ∉ ~A ˄ x ∈ B) ˅ (A ˄ ~B)
x ∈ (~A ∩ B) ˅ x ∈ (A ∩ ~B)
x ∈ (~A ∩ B) ∪ (A ∩ ~B)
Logo: ~((A ∩ B) ∪ (~A ∩ ~B)) = (~A ∩ B) ∪ (A ∩ ~B)

7).
10). (A ∩ ~B) ∪ B = A ∪ B A – B é o mesmo que A ∩ ~B
x ∈ (A ∩ ~B) ∪ B
x ∈ (A ∩ ~B) ˅ x ∈ B
(x ∈ A ˄ x ∉ ~B) ˅ x ∈ B
x∈A˅x∈ B
x∈A∪ B
Logo: A ∩ (B ∩ C) = (A ∩ B) ∩ C