1) Verificar se as seguintes frmulas so tautologias pelo mtodo da negao

ou absurdo, rvore semntica e tabela da verdade.

a) P P P
b) (P Q) ((Q R) (P R))
c) (P R) (R P)
2) Monte a tabela da verdade para as seguintes frmulas:
a) (P Q) R
b) (Q R) ((Q S) (P S))
c) (P R) P