Lgica para Computao 2014/01

Jos Gustavo de Souza Paiva

Primeira Lista de Exerccios
1. Utilize as regras de formao para determinar quais das seguintes frmulas so
frmulas bem formada, e quais no so. Justifique sua resposta.
a) R
b) (R)
c) PQ
d) P Q
e) ( P Q)
f) (P Q)
g) ((P QQ) R)
h) (P Q) R
i) (P Q)
j) ((P Q) (R S))
k) ((P) (Q))
l) (P Q R)
m) (P (Q R))
n) (P (Q R))
o) (P P)
2. Verifique as possveis interpretaes para cada frmula abaixo:
a) (P Q) (Q P)
b) (Q P) (P Q)
c) (R S) (R S) (R R ) S
d) (P S ) ((P S) R)
3. Considere uma interpretao I tal que I[P Q] = T. O que se pode deduzir sobre os
resultados das interpretaes a seguir?
a) I[(P R) (Q R)]
b) I[(P R) (Q R)]
c) I[(P Q) (P Q)]
O exerccio a seguir foi obtido do livro:
Souza, J. N., Lgica para Cincia da Computao, 2 edio, Editora Campus,
2008.
Os exerccios a seguir foram obtidos do livro:
ROSEN, K. H., Matemtica Discreta e suas Aplicaes, 6 Ed., 1008p., Editora
McGraw Hill, So Paulo, 2008.
OBSERVAO: O aluno deve complementar seu estudo com exerccios tirados
dos livros da bibliografia do curso, e/ou com materiais da Internet.