ŀ
Instituto de Ciência e Tecnologia
Disciplina: Linguagens de Programação
Profa. Amanda Rocha Chaves
Lista de exercícios 4
Lógica matemática
Exercícios:
1) Sejam as seguintes proposições:
p = Ana Maria é estudante.
q = Paulo César é professor.
r = A disciplina de lógica é fácil.
Traduza para a linguagem natural as seguintes proposições simbólicas:
a) p ^ q v ~r
b) p v r ^ ~s
c) p v r v q
d) (~p v ~r ) q
2) Seja p, q, r e s proposições cujos valores de verdade são nesta ordem V, F, F, V.Com base nessas
proposições, avalie o valor de verdade das seguintes expressões lógicas:
a) (p ^ ( q v r) )→ (~p v r)
b) (p → q) v (~q ^ r) → (q v ~r)
c) (~p v ~q) ^ (~r)
d) (s ^ ( r v (~p ↔ q)) v ~(q ^ ~s)
e) (p ↔ ~q → q v r) ^ p ↔ ~r
f) (r → s) v (q ↔ (~p ↔ r))
3) Construa a tabela verdade para as seguintes expressões lógicas:
a) p v (q ^ ~p)
b) ((p v q) ^ ~q) → r
c) (~p ^ q ) v (r → q) v (~q ↔ ~ r) v s
4) Determinar quais das seguintes proposições são tautológicas, contraditórias ou contingentes:
a) p → (~q →q)
b) p v ~q → (r ^ p)
c) p ^ q → (p ↔ q v r)