Escolar Documentos
Profissional Documentos
Cultura Documentos
(P Q) (P Q)
P ((Q R) ((P R) (P R)))
(P Q) P
(Q P)
(P (Q R)) ((P Q) R)
(R P) (P R)
(P Q) (((P Q) P) ((P Q) Q))
(false Q) R
true Q
(P false) R
P true
3. Seja I uma interpretao tal que: I[PQ] = T. O que se pode deduzir a respeito dos
resultados das interpretaes a seguir?
a) I[(P R) (Q R)]
b) I[(P R) (Q R)]
c) Repita este exerccio supondo I[PQ] = F.
4. Seja I uma interpretao tal que: I[PQ] = T. O que se pode deduzir a respeito dos
resultados das interpretaes a seguir?
a) I[(P Q)]
b) I[(Q P)]
c) I[(P R) (Q R)]
Repita este exerccio supondo I[P Q] = F.
5. Seja H a frmula a seguir e I uma interpretao.
H = ((P Q) ((P Q) P) ((P Q) Q))) P
a) Se I[P] = F o que se pode concluir a respeito de I[H]?
b) Se I[P] = T o que se pode concluir a respeito de I[H]?
6. Seja H uma frmula da lgica proposicional. Justifique a afirmao a seguir. Cada linha da
tabela verdade associada a H corresponde a uma interpretao diferente para H.
7. Sejam H e G as frmulas indicadas a seguir. Identifique, justificando sua resposta, os casos
em que H implica G.
a) H = P Q, G = P
b) H = P Q, G = P
c) H = P Q, G = false
8. Considere as frmulas H1,..., H10, que so formadas utilizando os smbolos proposicionais P e
Q e possuem a tabela verdade a seguir:
P
T
T
F
F
Q
T
F
T
F
H1
T
T
T
T
H2
T
T
T
F
H3
T
T
F
T
H4
T
F
T
T
H5
F
T
T
T
H6
T
T
F
F
H7
F
F
T
T
H8
T
F
F
T
H9
F
T
T
F
H10
F
F
F
F
P Q
Q P
PQ
PQ