EXERCCIOS DE LGICA Lista 1

1. Sejam as proposies:
p : est frio
q : est chovendo
Traduzir para a linguagem natural as seguintes proposies:
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 proposies:
p : Jorge rico
q : Carlos feliz
Traduzir para a linguagem natural as seguintes proposies:
a) q p
b) ~~p
c) ~(~p ~q)
3. Construir a tabela-verdade para a proposio: p ~q
4. Sejam as proposies:
p : Sueli rica
q : Sueli feliz
Traduzir para linguagem simblica (lgica) 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 lgica, as seguintes frases:
a) X maior que 5 e menor que 7 ou X no igual a 6.
b) Se X menor que 5 e maior que 3, ento X igual a 4.
c) X maior que 1 ou X menor que 1 e maior que 0.
6. Dadas as seguintes proposies:
p : o nmero 596 divisvel por 2.
q : o nmero 596 divisvel por 4.
r : o nmero 596 divisvel por 3.
Traduzir para a linguagem simblica:
a) falso que nmero 596 divisvel por 2 e por 3, ou o nmero 596 no divisvel por 4.
b) O nmero 596 no divisvel por 2 ou por 4, mas divisvel por 3.
c) Se no verdade que o nmero 596 divisvel, ento ele divisvel por 2 e no por 4.
d) falso que o nmero 596 no divisvel por 2 e por 4, mas divisvel por 3 e por 2.

EXERCCIOS DE LGICA Lista 2

1. Sabendo-se que V(p) = V(q) = T (true) e V(r) = V(s) = F (false), determine os valores lgicos das seguintes
proposies:
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 proposies:
a) P(p,q,r) = p ~r q ~r
b) P(p,q) = ~(p q) ~(q p)
c) P(p,q,r) = (p q r) (~p q ~r)
3. Aplicando as Leis de Morgan, dar a negao de cada uma das seguintes proposies:
a) p ~q
b) ~p ~q
c) ~p q
d) ~p ~q
4. Considere as seguintes proposies:
a) Se tenho sorte, ento ganho na Sena
b) Se no tenho sorte, ento no ganho na Sena.
c) Se ganho na Sena, ento tenho sorte.
d) Se no ganho na Sena, ento no tenho sorte.
(i)
(ii)

Assumindo que (a) verdadeira, quais outras afirmaes so verdadeira?

Qual a negao, a recproca e a contrapositiva da proposio (a)?

5. Dar a negao da proposio: Rosas so vermelhas e violetas so azuis

EXERCCIOS DE LGICA Lista 3

1. D a negao, em linguagem simblica, das seguintes proposies:
a) (p q) r
b) ~p (~q r)
c) ~p ~q
d) ~p ~q
2. Passe as proposies para a linguagem simblica, d a negao das mesmas e traduza as proposies
em linguagem simblica (obtidas) novamente para a linguagem natural.
a) no est frio ou est chovendo.
b) Jorge estuda fsica, mas no qumica.
c) ele no rico nem feliz.
d) Joo rico e no precisa de um emprego se e somente se seus pais so ricos.
e) Se gato come rato ou gato come rao e rato come queijo, ento gato come queijo e no come rao.
f) O ladro que rouba preso se e somente se for pego em flagrante e algum der queixa.
3. Verificar se as sentenas abaixo so equivalentes, utilizando-se de tabelas-verdade.
a) (p q) (p r) p q r
b) (p q) r ((p ~r) ~q)
c) Se chove ento Marcos fica resfriado.
Se Marcos no ficou resfriado ento porque no choveu.
d) Neva se e somente se chove e chove se e somente se tem nuvens.
Se neva ento tem nuvens.
4. Simplifique as proposies abaixo utilizando as leis de equivalncia. (indique qual lei voc est usando
durante a simplificao).
a) p (p q) (p ~q)
b) (p q) (~p q)
c) (p q) r
d) (p q) (~r ~q)
e) p (p q)
f) p q
5. Teste a validade dos argumentos abaixo, utilizando-se das Regras de Inferncia. Em algumas situaes
ser necessrio primeiro traduzir os argumentos para a forma simblica.
a) Joo precisa de dinheiro mas no quer baixar os preos de suas mercadorias. Joo baixa os preos
ou no vai poder comprar os presentes de natal. Se Joo emprestar o dinheiro, ento poder comprar
os presentes de natal. Logo, Joo precisa de dinheiro e no vai emprestar o dinheiro.
b) Se est chovendo ou est frio ento no irei viajar. Se est sol ento irei viajar. Est chovendo. Logo,
no est sol.
c) Se papai-noel existe ento Maria est feliz. Maria no est feliz. Se no existe papai-noel ou Maria
no tem dinheiro ento ela est triste. Logo, Maria est triste.
d) Se trabalho no posso estudar. Trabalho ou passo em IA. Trabalhei. Logo, passei em IA.
e)

q (r t)
qs
~s (t p)
~s
--------------------r p

f)

pq
~q ~r
~r s
-------------~p s

g) p q r
~ (q r)
~p s
--------------~p s