ENGENHARIA DE PRODUO

INFORMTICA E LGICA COMPUTACIONAL

REVISO PARA PROVA 1
1. Sejam as proposies: p: Est chovendo e q: Est molhado. Escreva as sentenas verbais que
esto representadas pelas proposies abaixo:
Ex: (p q) = Est chovendo ou est molhado.

a)
b)
c)
d)
e)
f)

(p q) ~p
~p ~q
qp
pq
p ~q
(p q) (~q p)

2. Quais das proposies abaixo so tautologias (verdadeiras), quais so contradies

(logicamente falsas) e quais no so nem tautologias nem contradies?
a) (p q) (~p ~q)
b) q (q p)
c) (p r) ( (p r) (p ~q) (~p q) )
3. Considerando p e q proposies VERDADEIRAS, e r e s proposies FALSAS, determine o valor
lgico das proposies abaixo:
a)
b)
c)
d)
e)
f)
g)

(p (q r)) (p (r q))
(q r) (~q r)
(q ( ~p s))
(p q) (q ~p)
~q ((~r s) (p ~q))
(~p (q s)) (r ~s)
(p (q r)) s

4. Analise a seguinte proposio composta: Se Antnio est feliz ento a esposa de Antnio no
est feliz e se Antnio no est feliz ento a esposa do Antnio no est feliz. Assinale qual
alternativa abaixo a representa em linguagem simblica.
a)
b)
c)
d)

(p q) (~p ~q)
q (q p)
(p~q) (~p~q)
(p q) ( (p q) (p ~q) (~p q) )