ListaExerciciosLC_01

Prévia do material em texto

Lógica para Computação – 2013/01
José Gustavo de Souza Paiva
Primeira Lista de Exercícios
1. Utilize as regras de formação para determinar quais das seguintes fórmulas são
fórmulas bem formada, e quais não são. 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 possíveis interpretações para cada fórmula 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 interpretação I tal que I[P � Q] = T. O que se pode deduzir sobre os
resultados das interpretações a seguir?
a) I[(P ˅ R) � (Q ˅ R)]
b) I[(P ˄ R) � (Q ˄ R)]
c) I[(¬P ˅ Q) � (P ˅ Q)]
O exercício a seguir foi obtido do livro:
Souza, J. N., Lógica para Ciência da Computação, 2ª edição, Editora Campus,
2008.
Os exercícios a seguir foram obtidos do livro:
ROSEN, K. H., Matemática Discreta e suas Aplicações, 6ª Ed., 1008p., Editora
McGraw Hill, São Paulo, 2008.
OBSERVAÇÃO: O aluno deve complementar seu estudo com exercícios tirados
dos livros da bibliografia do curso, e/ou com materiais da Internet.