Lgica Matemtica Professor: Ocelo Exerccios 03 e 04 da pagina 48 do livro de iniciao a logica matemtica

1) Mostrar que as seguintes proposies so contingentes:

a) p v q --> p ^ q

p V V F F

q V F V F

pvq V V V F

p^q V F F F

p v q --> p ^ q V F F V

b) (q -> p) -> (p -> q)

p V V F F

q V F V F

(q -> p) V V F V

(p -> q) V F V V

(q -> p) -> (p -> q) V F V V

c) (p -> (p -> q)) -> q

p V V F F

q V F V F

p -> q V F V V

(p -> (p -> q)) V F V V

(p -> (p -> q)) -> q V V V F

d) p -> (p -> q ^ ~q)

p V V F F

q V F V F

~q F V F V

p -> q V F V V

(p -> q ^ ~q) F F F V

p -> (p -> q ^ ~q) F F V V

2) Determinar quais das seguintes proposies so tautolgicas, contravlidas ou

contingentes:

a) p ->(~ p -> q)

p V V F F

q V F V F

~p F F V V

(~ p -> q) V V V F

p ->(~ p -> q) V V V V

b) ~p v q -> (p -> q)

p V V F F

q V F V F

~p F F V V

~p v q V F V V

(p -> q) V F V V

~p v q -> (p -> q) V V V V

c) p -> (q -> ( q -> p))

p V V F F

q V F V F

( q -> p) V V F F

(q -> ( q -> p)) V V F V

p -> (q -> ( q -> p)) V V V V

d) ((p -> q) <--> q) -> p

p V V F F

q V F V F

(p -> q) V F V V

((p -> q) <--> q) V V V F

((p -> q) <--> q) -> p V V F V

e) p v ~q -> (p -> ~q)

p V V F F

q V F V F

~q F V F V

(p -> ~q) F V V V

p v ~q V V F V

p v ~q -> (p -> ~q) F V V V

f) ~p v ~q -> (p -> q)

p V V F F

q V F V F

~p F F V V

~q F V F F

~p v ~q F V V V

(p -> q) V F V V

~p v ~q -> (p -> q) V F V V

g) p -> (p v q) v r

p V V

q V V

r V F

(p v q) V V

(p v q) v r V V

p -> (p v q) v r V V

V V F F F F

F F V V F F

V F V F V F

V V V V F F

V V V V V F

V V V V V V

h) p ^ q -> (p <--> q v r)

p V V V V F F F F

q V V F F V V F F

r V F V F V F V F

p <--> q V V F F F F V V

(p <--> q v r) V V V F V F V V

p^q V V F F F F V V

p ^ q -> (p <--> q v r) V V V V V V V V