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