Lgica para Computao CIC131

1. Responda as questes a seguir, justificando:

a. Existe frmula sem smbolo de pontuao?
b. Quantos tipos de smbolos possui o alfabeto da lgica proposicional? Quais so eles?
c. Existe frmula da lgica proposicional com algum conectivo, mas sem smbolo de
pontuao?
2. Considere as frmulas a seguir.
a)
b)
c)
d)
e)
f)
g)
h)
i)
j)
k)

(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

Determine a tabela verdade associada a cada frmula

Seja I uma interpretao tal que I[P] = T, I[Q] = F e I[R] = F, o que se pode
concluir a respeito do valor verdade de cada frmula?
Seja J uma interpretao que interpreta as frmulas acima como sendo
verdadeiras. Alm disso, J[P] = T. O que se pode concluir a respeito de J[Q] e
J[R], em cada um dos casos?

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

a) Identifique as frmulas Hi que so: tautologias, satisfazveis e contraditrias.

b) Construa as frmulas H1, ..., H10 a partir dos smbolos proposicionais P e Q.
9. Demonstre, utilizando qualquer um dos mtodos estudados (tabela verdade, rvore semntica
ou absurdo) que as frmulas a seguir so tautologias.
a) (H G) (H G)
b) (H G) (G H)
c) (H G) (G E) (HE)
d) (H (H G)) H
10. Considere a frmula H = ((P Q) R S) (P1 Q1)
a) Construa uma rvore semntica associada a H e identifique se H uma tautologia,
satisfazvel ou contraditria
b) Quantas linhas tem a tabela verdade associada a H?
11. Considere G uma das frmulas indicadas a seguir:
a)
b)
c)
d)

P Q
Q P
PQ
PQ

Utilizando o mtodo da negao, determine os casos em que:

(i) (P Q) implica G
(ii) (P Q) implica G
(iii) (P Q) implica G