Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
(a) H = P ∨ ¬P
(b) G = ¬(P ∧ ¬P )
(c) H1 = P → P
E = ((P ∧ Q) ∨ Q)
H = (P ∧ Q)
G = (P → Q)
Preencha a tabela-verdade abaixo, e responda às questões a seguir, justificando suas respostas.
P Q E H G
T T
T F
F T
F F
(a) E implica G ?
(c) H implica G ?
(d) H implica E ?
Um conjunto de fórmulas β = {H1 , H2 , . . . , Hn } é satisfatı́vel se, e somente se, existe pelo menos
uma interpretação I, tal que
Neste caso, I satisfaz o conjunto de fórmulas β, o que é indicado por I[β] = T . Dado um
conjunto de fórmulas vazio, então toda interpretação I satisfaz esse conjunto.
Mostre que o conjunto de fórmulas abaixo é satisfatı́vel:
E = (P → Q)
H = (Q → R)
G = (R → P )
H1 = (P → Q)
H2 = (Q → R)
H3 = (R → S)
H4 = (S → P )
H5 = ¬(S → Q)
5. [2 pontos] Sejam H e G as fórmulas 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
(d) H = f alse, G = P
(e) H = P , G = true
Page 2
6. [7 pontos] Considere duas fórmulas H e G. Para cada item abaixo, mostre por meio de tabela-verdade,
que H equivale a G.
(a) H = ¬(¬E), G = E
(b) H = E ∨ f alse, G = E
(c) H = E ∧ true, G = E
(h) H = E → R, G = ¬R → ¬E
(i) H = E → R, G = ¬E ∨ R
(j) H = E ↔ R, G = (E → R) ∧ (R → E)
(k) H = E ∨ R, G = R ∨ E
(l) H = E ∧ R, G = R ∧ E
(m) H = E ∨ (R ∨ S), G = (E ∨ R) ∨ S
(n) H = E ∧ (R ∧ S), G = (E ∧ R) ∧ S
(o) H = E ∧ (R ∨ S), G = (E ∧ R) ∨ (E ∧ S)
(p) H = E ∨ (R ∧ S), G = (E ∨ R) ∧ (E ∨ S)
(q) H = E → (R → S), G = (E ∧ R) → S)
Page 3