AULA 6 – RESPOSTAS

1) Dar a negação da proposição: “Rosas são vermelhas e violetas são azuis”.

p: rosas são vermelhas
q: violetas são azuis ~(p  q)  ~ p v ~q
Logo:
A negação de “Rosas são vermelhas e violetas são azuis” é ”Rosas não são vermelhas ou violetas
não são azuis”

2) Simplificar as proposições abaixo utilizando as leis de equivalência

a) ~ ( ~ p  ~ q)
~ (p  ~q)
~pq

b) ~ (p v q) v ( ~ p  q)
(~ p  ~q) ˅ (~p  q)
~ p  ( ~q ˅ q)
~pt
~p

c) ~ (p v ~ q)
~pq

d) ~ (~ p  q)
p ˅ ~q

e) ~ ( ~ p v ~ q)
pq

f) ( p v q)  ~ p
(p  ~p) ˅ (q  ~p)
c ˅ (q  ~p)
(q  ~p)

g) (p  q)  (~ p  q)
(~p ˅ q)  (p ˅ q)
q ˅ (~p  p)
q˅c
q

h) p  ( p  q)  (p  ~ q)
p  (~p ˅ q)  (~p ˅ ~q)
p  (~p ˅ (q  ~q))
p  (~p ˅ c)
p  ~p
c
i) (p  q)  r
~ (~p ˅q) ˅r
( p  ~ q) ˅r

9
 j) (p  q)  (~ r  ~ q)
~ (p  q) ˅( r ˅~ q)
~ p ˅~ q ˅r ˅ ~ q
~ p ˅~ q ˅r

k) p  (p  q)
~ p ˅~ p ˅q
~ p ˅q

l) p  q
( p  q)  (q  p)
(~ p ˅q)  (~ q ˅ p)
((~ p ˅q)  ~ q) ˅((~ p ˅q)  p)
((~ p ~ q) ˅ (q  ~q)) ˅((~ p  p) ˅ (q  p))
((~ p ~ q) ˅ c) ˅(c ˅ (q  p))
(~ p ~ q) ˅(q  p)

3) Usar o método dedutivo para demonstrar:

a) p  ~ p  p
(p  ~p)  p
~(p  ~p) ˅ p
~p ˅ p ˅ p
t˅p
t
b) ~ p  p  p
p˅pp
pp

c) p  p  q p  q
~p ˅ (p  q)  ~p ˅ q
(~p ˅ p)  ( ~p ˅ q)  ~p ˅ q
t  (~p ˅ q)  ~p ˅ q
~p ˅ q  ~p ˅ q

d) (p  q) q  p v q
~(~p ˅ q) ˅ q  p ˅ q
(p  ~q) ˅ q  p ˅ q
(p ˅ q)  ( ~q ˅ q)  p ˅ q
(p ˅ q)  t  p ˅ q
p˅qp˅q

e) (p r) v (q  r)  p  q  r
(~p ˅ r) ˅ (~q ˅ r)  ~(p  q) ˅ r
r ˅ (~p ˅ ~q)  r ˅ (~p ˅ ~q)

f) (p  q)  ( p  r)  p  q  r
(~p ˅ q)  (~p ˅ r)  ~p ˅ (q  r)
~p ˅ (q  r)  ~p ˅ (q  r)

10
g) p  (p v q)  p
(p ˅ c)  ( p ˅ q)  p
p ˅ (c  q)  p
p˅cp
pp

h) p v ( p  q)  p
(p  t) ˅ (p  q)  p
p  (t ˅ q)  p
ptp
pp

i) p  q ((p  p)  (p  p))  (q  q)
~ p ˅ q  ~ (~ (~ p ˅ ~ p) ˅ ~ (~ p ˅ ~ p)) ˅ ~ (~ q ˅ ~ q)
~ p ˅ q  ~ (~ ~p) ˅ ~~q
~p˅q~p˅q

j) p  q  ((p  p)  (q  q))  ((p  p)  (q  q))

~p ˅ ~q  ~(~(~p  ~p) ~(~q  ~q))  ~(~(~p  ~p)  ~(~q  ~q))
~p ˅ ~q  ~(~~p  ~~q)  ~(~~p  ~~q)
~p ˅ ~q  ~(p  q)
~p ˅ ~q  ~p ˅ ~q

11