4. A partir das proposições p : Maria é rica e q : Maria é feliz, traduzir para a linguagem simbólica as proposições:

1. Sejam as proposições:

p : Está frio e q : Está chovendo.

Traduzir para a linguagem corrente as seguintes proposições:

a) Não está frio. b) Está frio ou está chovendo. c) Está frio ou está chovendo.

d) Está chovendo se e somente se estiver frio. e) Está frio, logo não está chovendo. f) Está frio ou não está chovendo.

g) Não está frio e não está chovendo.     h) Está frio e não está chovendo, logo está frio.

2. A partir das proposições p : Antônio é rico e q : José é feliz, traduzir para a linguagem corrente as proposições a seguir:

a) Se Antônio é rico então José é feliz. b) Antônio é rico ou José não é feliz.

c) José é feliz se e somente se Antônio não é rico. (Pense num cara invejoso!)

d) Se Antônio não é rico então José é feliz. (O invejoso ataca de novo!) e) Antônio é rico.

f) Antônio é rico ou José é feliz.

3. Sejam as proposições:

p : Carlos fala francês, q : Carlos fala inglês e

r : Carlos fala alemão.

Traduzir para a linguagem simbólica as seguintes proposições:

a) p v q ^ ~r

b) p ^ q v ~p ^ ~r

c) É falso que Carlos fala francês mas não que fala alemão ~p ^ r

d) ~q v ~r ^ p

4. A partir das proposições p : Maria é rica e q : Maria é feliz, traduzir para a linguagem simbólica as proposições:

a) ~p ^ q

b) p v ~q

c) ~p ^ ~q

d) ~p v p ^ ~q

p = Estou enferrujado em lógica matemática. q = Está tudo certo.

~p --> q

Espero que ajude.