1 - Mostre que a proposio P: ~p q implica logicamente proposio Q: p

~p

~p V q p q

q;

2 - Mostre que a proposio P: p (p q) implica logicamente proposio Q:

p q;
p

pq

p (p
q)

p
q

3 - Verifique se a proposio R: p q implica logicamente a proposio S: p

q.
p

~q

p v ~q

pq