Lista de exerccios 1

1. Construa as tabelas-verdade das seguintes frmulas e identifique as que so

tautologias ou contradies:
a) (p q)
b) (p q)
c) p q p q
d) p (q p)
e) (p q) p q
f) q q p
g) p (q (q p))
h) (p (p q))
i) p q (p q r)
j) p r q r
k) (p r) q r
l) (p (p r)) q r
m) (p q r) (p q r)
2. Construa uma tabela-verdade para cada uma destas proposies:
a) p p
b) p p
c) p(p q)
d) (p q) (p q)
e) (q p) (p q)
f) (p q)(p q)
g) (p q) (pq)
h) (p q)(p q)
i) (p q)(p r)
j) (pq) (pq)