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.
