Resolução da lista no2 de exercícios de Lógica Matemática

1. Sejam as proposições p : Maria é rica e q : Maria é feliz. Traduzir para a

linguagem simbólica as seguintes proposições:
a. Maria é pobre, mas feliz ~p  q
b. Maria é rica ou infeliz p ou ~q
c. Maria é pobre e infeliz ~p  ~q
d. Maria é pobre ou rica, mas é infeliz (~p ou q)  ~q

2. Sejam as proposições: p : Carlos é rico, q : José é feliz. Traduzir para a linguagem

corrente as seguintes proposições:

a. qp Se josé é feliz, então Carlos é rico

b. p V ~q Carlos é rico ou José não é feliz
c. q  ~p José é feliz se e somente se Carlos não é rico
d. ~p  q Se Carlos não é rico, então José é feliz
e. ~~p Não é verdade que Carlos não é rico
f. ~pq p Se Carlos não é rico e
p q ~ q p ^ ~ q ~ (p ^ ~ q) José é feliz, então Carlos é
rico
V V F F V
3. Construir a tabela- verdade  da proposição: 
P(p,q) =  ~ (p ^  ~ q)
V F V V F

F V F F V

F F V F V

4. Mostrar que a seguinte proposição é tautológica: p  r  q V r

p q r pr qVr prqVr

V V V V V V
V V F F V V
V F V V V V
V F F F F V
F V V F V V
F V F F V V
F F V F V V
F F F F F V

5. Mostrar que a seguinte proposição é contradição: (p  q)  ~(p V q)

p q p  q p V q ~(p V q) (p  q)  ~(p V q)
V V V V F F
V F F V F F
F V F V F F
F F F F V F