jana engbiomedica

EXERCÍCIOS DE LÓGICA – Lista 1

1. Sejam as proposições: p : está frio q : está chovendo

Traduzir para a linguagem natural as seguintes proposições:
a) ~p
b) p  q
c) p  q
d) q  p
e) p  ~q
f) p  ~q
g) ~p  ~q
h) p  ~q
i) p  ~q  p

2. Sejam as proposições: p : Jorge é rico q : Carlos é feliz

Traduzir para a linguagem natural as seguintes proposições:
a) q  p
b) ~~p
c) ~(~p  ~q)

3. Construir a tabela-verdade para a proposição: p  ~q

4. Sejam as proposições: p : Sueli é rica q : Sueli é feliz Traduzir para linguagem simbólica (lógica) as seguintes frases:
a) Sueli é pobre, mas é feliz
b) Sueli é rica o infeliz
c) Sueli é pobre e infeliz
d) Sueli é pobre ou rica, mas é feliz

5. Simbolizar, utilizando a lógica, as seguintes frases:
a) X é maior que 5 e menor que 7 ou X não é igual a 6.
b) Se X é menor que 5 e maior que 3, então X é igual a 4.
c) X é maior que 1 ou X é menor que 1 e maior que 0.

6. Dadas as seguintes proposições: p : o número 596 é divisível por 2. q : o número 596 é divisível por 4. r : o número 596 é divisível por 3. Traduzir para a linguagem simbólica:
a) É falso que número 596 é divisível por 2 e por 3, ou o número 596 não é divisível por 4.
b) O número 596 não é divisível por 2 ou por 4, mas é divisível por 3.
c) Se não é verdade que o número 596 é divisível, então ele é divisível por 2 e não por 4.
d) É falso que o número 596 não é divisível por 2 e por 4, mas é divisível por 3 e por 2.

EXERCÍCIOS DE LÓGICA – Lista 2

1. Sabendo-se que V(p) = V(q) = T (true) e V(r) = V(s) = F (false), determine os valores lógicos das seguintes proposições:
a) (p  (q  r))  (p  (r  q))
b) (q  r)  (~q  r)
c) (~p  ~(r  s))
d) ~(q  ( ~p  s))
e) (p  q)  (q  ~p)
f) ~(~q  (p  ~s))
g) ~q  ((~r  s)  (p  ~q))
h) ~(~p  (q  s))  (r  ~s)
i) ~(p  (q  r))  s

2. Construir as tabelas verdade para as seguintes proposições:
a)