EXERCÍCIOS DE LÓGICA MATEMÁTICA

1) Determine quais das seguintes proposições são tautologias,

contradições ou contingências:

a) p  (~p  q)
b) ~p v q  (p  q)
c) p  (q  (q  p))
d) ((p  q)  q)  p
e) p v ~q  (p  ~q)
f) ~p v ~q  (p  q)
g) p  (p v q) v r
h) p ^ q  (p  q v r)
i) (q  p)  (p  q)

2) Dadas as proposições P e Q, verifique se P  Q , Q  P e P  Q

a) P: q  ~p Q: ~q v p
b) P: ~p Q: p ^ q
c) P: p  q  ~q Q: ~p  ~q ^ p  q v p
d) P: q Q: p  ~q  ~p ^ (q v p)
e) P: ~p ^ r  q v ~r Q: p  r  q v ~r
f) P: p  q ^ r Q: (p  q) ^ (p  r)
g) P: p v r  r ^ ~p  ~r Q: (p  q v r) ^~q  r
h) P: (p  q) v (p  r) Q: p  q v r
i) P: ~q  r ^ p  ~r Q: ~(p v ~r)  (p v (~q  r))

3) Testar a validade dos argumentos abaixo:

a) p ® q, q ® p, p « q
b) p ®~ q, p v ~q, q, ~p
c) p ®~ q, p v q, p « ~q
d) ~r ® ~p , ~(~p v q), ~q
e) ~q ^ ~p, ~(~p ® q), ~q « ~q ^ ~p, p v q
f) (p ^ ~q) v (q ^ ~r), ~(p ^ q), q ^ ~r
g) r v t, ~s ^ ~t , t ® r, t « s
h) q ^ ~ p, p v r, p ® q ^~ r, r « q ® ~p