logica

Lista de Exercícios 01

1) Quais das frases a seguir são proposições?
a) A lua é feita de queijo verde.
b) Ele é, certamente um homem feio.
c) Dois é um numero primo
d) O jogo vai acabar logo?
e) Os juros vão subir ano que vem.
f) Os juros vão descer ano que vem.

2) Qual o valor lógico de cada um das proposições a seguir
a) 8 é par ou 6 é impar.
b) 8 é par e 6 é impar.
c) 8 é impar ou 6 é impar.
d) 8 é impar e 6 é impar.
e) Se 8 for ímpar, então 6 é impar.
f) Se 8 for par, então 6 é impar.
g) Se 8 for impar, então 6 é par.
h) Se 8 for impar e 6 for par, então 8< 6.

3) Dadas as proposições p:Está frio e q:Está chovendo, traduzir para a linguagem corrente:
a) ~p b) p ^ q c) p v q d) q  p
e) p  ~q f ) p v ~q g) ~p ^ ~q h) p  ~q i ) p ^ ~q  p

4) Dadas as proposições p:Jorge é rico e q:Carlos é feliz, traduzir para a linguagem corrente:

a) q  p b) p v ~q c) q  ~p d) ~p  q
e) ~~p f ) ~p ^ q  p

5) Dadas as proposições p:Cláudio fala inglês e q:Cláudio fala alemão, traduzir para a linguagem corrente:

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

6) Dadas as proposições p:João é gaúcho e q:Jaime é paulista, traduzir para a linguagem corrente:

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

7) Dadas as proposições p:Marcos é alto e q:Marcos é elegante, traduzir para a linguagem simbólica:

a) Marcos é alto e elegante
b) Marcos é alto, mas não é elegante
c) Não é verdade que que marcos é baixo ou elegante
d) Marcos não é nem alto nem elegante
e) Marcos é alto ou é baixo e elegante
f) É falso que Marcos é baixo ou que não é elegante

8) Dadas as proposições p:Suely é rica e q:Suely é feliz, traduzir para a linguagem simbólica:

a) Suely é pobre, mas feliz
b) Suely é rica ou infeliz
c) Suely é pobre e infeliz
d) Suely é pobre ou rica, mas é infeliz

9) Dadas as proposições p:Carlos fala francês, q:Carlos fala inglês e r:Carlos fala alemão,