1º - Mostre que a proposição P: ~p ∨ q implica logicamente à proposição Q: p →

q;

2º - Mostre que a proposição P: p → (p ∧ q) implica logicamente à proposição Q: p → q;

p q p ˄ q p →(p ˄ q) p → q

V V V V V

V F F F F

F V F V V

F F F V V

3º - Verifique se a proposição R: p → q implica logicamente a proposição S: p ∨ ∼q.

p q ~q p v ~q p → q

V V F V V

V F V V F

F V F F V

F F V V V

p q ~p ~p V q p → q

V V F V V

V F F V F

F V V V V

F F V V V