LGICA MATEMTICA - trabalho do dia 10/03 01. Considere as frmulas: I - (p v q) p II - (p ^ q) p III - (p ^ q) (p v q) (So) tautologia(s) a(s) frmula(s): a) I, somente.

te. B II, somente. c) III, somente. Resoluo d) opo (D) II e III, somente. e) opo (E) I, II e III.

I Contingncia p V V F F q V F V F pvq V V V F (p v q) p V V F V

II - Tautologia p V V F F q V F V F p^q V F F F (p ^ q) p V V V V

III - Tautologia p V V F F q V F V F p^q V F F F pvq V V V F (p ^ q) (p v q) V V V V

02. Mostrar que as seguintes proposies so tautolgicas, contraditrias ou contingentes: a) p (~p q) Tautologia 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) Tautologia p V V F F q V F V F ~p F F V V ~p v q V F V V pq V F V V ~p V q (p q) V V V V

c) p (q (q p)) Tautologia p V V F F q V F V F (q p) V V F V (q (q p)) V V F V p (q (q p)) V V V V

d) ((p q) q) p Contingencia 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) Contingencia p V V F F q V F V F ~q F V F V p v ~q V V F V (p ~q) F V V V p v ~q (p ~q) F V V V

f) ~p v ~q (p q) Contingencia p V V F F q V F V F ~p F F V V ~q F V F V ~p v~q F V V V pq V F V V (~p V q) (p q) V F V V

g) p (p v q) v r Contingencia 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 Pvq V V V V V V F F (p v q) v r V V V F F F V F p ((p v q) v r) V V V F V V V V

h) p ^ q (p q V r) Tautologia 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 qVr V V V F V V V F (p q V r) V V V F F F V V p^q V V F F F F F F p ^ q (p q V r) V V V V V V V V

3. Diga a frase equivalente Se o gato pardo, ento a lua cheia. Logo: p gato pardo q a lua cheia

Se o gato pardo, ento a lua cheia pq p V V F F q V F V F pq V F V V

a) Se o gato no pardo, ento a lua no cheia. ~p~q p V V F F q V F V F ~p F F V V ~q F V F V ~p~q F V F V

b) Se a lua cheia, ento o gato pardo. qp p V V F F q V F V F qp V V F V

c) Se a lua no cheia, ento o gato no pardo. ~q~p p V V F F q V F V F ~p ~q ~q~p F F V F V F V F V V V V

Resposta Correta

d) Se o gato pardo, ento a lua no cheia. p~q p V V F F q V F V F ~q F V F V p~p F V V V

e) O gato pardo e a lua no cheia p V V F F q V F V F ~q F V F V p ^~p F V F F

4. Dizer que Ana alegre ou Beatriz feliz do ponto de vista lgico, o mesmo que dizer: p- Ana alegre q- Beatriz feliz

Ana alegre ou Beatriz feliz p v q p V V F F q V F V F pvq V V V F

Resposta correta a) Se Ana no alegre, ento Beatriz feliz; ~p q p V V F F q V F V F ~p F F V V ~p q V V V F

b) Se Beatriz feliz, ento Ana alegre; qp p V V F F q V F V F qp V V F V

c) Se Ana alegre, ento Beatriz feliz; pq p V V F F q V F V F pq V F V V

d) Se Ana alegre, ento Beatriz no feliz; p ~q p V V F F q V F V F ~q F V F V p ~q F V V V

e) Se Ana no alegre, ento Beatriz no feliz. ~p ~q p V V F F q V F V F ~p F F V V ~q F V F V ~p ~q V V F V

5. Dizer que Andr artista ou Bernardo no engenheiro logicamente equivalente a dizer que: p - Andr artista pvq p V V F F q V F V F pvq V V V F q - Bernardo no engenheiro

a) Andr artista se e somente se Bernardo no engenheiro. p q p V V F F q V F V F pq V F F V

b) Se Andr artista, ento Bernardo no engenheiro. p q p V V F F q V F V F pq V F V V

c) Se Andr no artista, ento Bernardo engenheiro. p ~q

p V V F F

q V F V F

~q F V F V

p ~q F V V V

d) Se Bernardo engenheiro, ento Andr artista. ~q p

p V V F F

q V F V F

~q F V F V

~q p V V V F

Resposta correta e) Andr no artista e Bernardo engenheiro. p ^ ~q

p V V F F

q V F V F

~q F V F V

~q ^ p F V F F