Curso: Bacharelado em Ciência da Computação

Unidade Curricular: Lógica para Ciência da Computação I Ano/Perı́odo: 2019 / 1

Tipo de Atividade: Lista de Exercı́cios #4 Data: 23/04/2019
Professor: Getúlio de Morais Pereira Valor: 20

1. [3 pontos] Demonstre, utilizando as definições, que as fórmulas abaixo são tautologias.

(a) H = P ∨ ¬P

(b) G = ¬(P ∧ ¬P )

(c) H1 = P → P

2. [2 pontos] Considere as fórmulas abaixo:

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 ?

(b) E não implica H ?

(c) H implica G ?

(d) H implica E ?

(e) G não implica E ?

(f) G não implica H ?

3. [3 pontos] Considere a definição a seguir:

Um conjunto de fórmulas β = {H1 , H2 , . . . , Hn } é satisfatı́vel se, e somente se, existe pelo menos
uma interpretação I, tal que

I[H1 ] = I[H2 ] = · · · = I[Hn ] = T

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 )

4. [3 pontos] Considerando a definição de satistatibilidade para um conjunto de fórmulas, apresentada na

questão 3, demonstre que o conjunto de fórmulas abaixo não é satistatı́vel.

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

(c) H = P ∨ ¬Q, G = f alse

(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

(d) H = E ∨ ¬E, G = true

(e) H = E ∧ ¬E, G = f alse

(f) H = ¬(E ∧ R), G = ¬E ∨ ¬R

(g) H = ¬(E ∨ R), G = ¬E ∧ ¬R

(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