4 Lista de Exerccios Lgica Matemtica (valendo 1 ponto) 03/05/17

Aluno(a): ______________________________________________________

Leis de Equivalncia Lgica

Dupla Negao: ~~a a Idempotente pvpp

p^pp

Comutativa ~ ( p v q ) ~p ^ ~q Associativa p v (q v r) (p v q) v r p v q v r
~ ( p ^ q ) ~p v ~q p ^ (q ^ r) (p ^ q) ^ r p ^ q ^ r
De Morgan ~ ( p ^ q ) ~p v ~q Distributiva p v (q ^ r) ( p v q ) ^ ( p v r )
~ ( p v q ) ~p ^ ~q p ^ (q v r) ( p ^ q ) v ( p ^ r )

Condicional p q ~p v q Bicondicional
p q ~q ~p p q (p q) ^ (q p)
Contraposio

Negao do ~(p q) Identidade p^Tp p^CC

Condicional ~(~p v q) pvTT pvC p
p ^ ~q

Absoro pv(p^q)p p ^ ~p C
p^(pvq)p p v ~p T

Disjuno Exclusiva p v q (p v q) ^ ~ (p ^ q)
~ (p q)
~ ((p q) ^ (q p))

[0,2 ponto] 1) Verifique se ocorre Implicao lgica ou Equivalncia Lgica nas sentenas abaixo e
Justifique. Resolva as questes a e b de dois modos:

1) utilizando as propriedades de equivalncia lgica simplifique as sentenas.

2) utilizando tabela-verdade.
a) p ^ ~p q. Ocorre Implicao Lgica? Justifique.
b) p p p. Ocorre Equivalncia Lgica? Justifique.
c) p p ^ q p q. Ocorre Equivalncia Lgica? Justifique.
d) (p q) q p q. Ocorre Equivalncia Lgica? Justifique.
e) (p r) v (q r) p ^ q r. Ocorre Equivalncia Lgica? Justifique.
f) (p q) ^ (p r) p q ^ r. Ocorre Equivalncia Lgica? Justifique.
g) p ^ ( p v q) p. Ocorre Implicao Lgica? Justifique.
h) (p q) (p q v r). Ocorre Implicao Lgica? Justifique.
i) p ^ (p q) ^ (p ~q) T Ocorre Equivalncia Lgica? Justifique.
j) (p q) p. Ocorre Implicao Lgica? Justifique.
[0,5 ponto] 2) Simplifique as sentenas lgicas at identificar uma FND

a) ~(~p v ~q) b) ~( p ^ q ) c) p v ~p d) p ~p e) (p q ) v ~p

[0,3 ponto] 3) Simplifique as sentenas lgicas e julgue o item que se segue.

a) (p ^ q) v ( q p) Ocorre uma Tautologia, Contradio ou Contingncia?
b) ((p q) ^ ~q) ~p Ocorre uma Tautologia, Contradio ou Contingncia?
c) (p q) ^ ~q Ocorre uma Tautologia, Contradio ou Contingncia?