Universidade Federal do Ceará

Campus de Quixadá
Matemática Discreta
Lógica Proposicional

1. (Lógica Proposicional) Sejam dadas as seguintes sentenças:

p : “O cavalo está cansado”.
q : “O cavalo ganha a corrida”.

(a) Traduza a sentença seguinte para sı́mbolos da lógica formal : Se o cavalo não está cansado então o cavalo ganha a
corrida.
Resposta: ¬p → q
(b) Traduza a seguinte sentença formal para o português comum: ¬q → p
Resposta: Se o cavalo não ganhou a corrida então o cavalo está cansado
(c) Traduza a sentença seguinte para sı́mbolos da lógica formal : O cavalo está cansado ou ganhou a corrida.
Resposta: p ∨ q

2. (Lógica Proposicional) Construa a tabela-verdade para a seguinte proposição p → (q → p).

p q q→p p → (q → p)
F F V V
F V F V
V F V V
V V V V

3. (Lógica Proposicional) Sabendo que o valor lógico de ¬q ∧ (r → q) ∧ (¬p ∨ r) é V, determine, se possı́vel, o valor lógico de p:
Resposta: Se o valor lógico de ¬q ∧ (r → q) ∧ (¬p ∨ r) é V então

(a) ¬q é V
(b) (r → q) é V
(c) (¬p ∨ r) é V
(d) Por (a), concluı́mos que q é F.
(e) Por (b) e (d), concluı́mos que r é F.
(f) Por (c) e (e), concluı́mos que ¬p é V.
(g) Por (f), concluı́mos que p é F.

4. (Equivalência Lógica) Mostre que as proposições ¬p → q, ¬q → p e p ∨ q são logicamente equivalentes usando a tabela-
verdade.

p q ¬p ¬p → q ¬q ¬q → p p∨q
F F V F V F F
F V V V F V V
V F F V V V V
V V F V F V V

5. (Identidades Lógicas) Mostre que as proposições ¬p → q, ¬q → p e p ∨ q são logicamente equivalentes usando uma sequência
de identidades lógicas.

(a) ¬p → q ≡ ¬q → p

¬p → q ≡ ¬q → ¬(¬p) (condicional)
≡ ¬q → p (dupla negação)
(b) ¬q → p ≡ p ∨ q

¬q → p ≡ ¬(¬q) ∨ p (condicional)
≡ q∨p (dupla negação)
≡ p∨q (comutativa)

6. (Tautologia)Mostre que cada uma das proposições condicionais a seguir é uma tautologia, usando a tabela-verdade.

(a) ¬p → (p → q)

1
 p q ¬p p→q ¬p → (p → q)
V V F V V
V F F F V
F V V V V
F F V V V

(b) ¬(p → q) → p

p q p→q ¬(p → q) ¬(p → q) → p

V V V F V
V F F V V
F V V F V
F F V F V

7. (Identidades Lógicas)Use uma sequência de identidades lógicas para demonstrar que as proposições anteriores são tautologias.

(a) ¬p → (p → q)

¬p → (p → q) ≡ ¬p → (¬p ∨ q) (condicional)
≡ ¬(¬p) ∨ (¬p ∨ q) (condicional)
≡ p ∨ (¬p ∨ q) (dupla negação)
≡ (p ∨ ¬p) ∨ q (associativa)
≡ V ∨q (negação)
≡ V (dominação)
(b) ¬(p → q) → p

¬(p → q) → p ≡ ¬(¬(p → q)) ∨ p (condicional)

≡ (p → q) ∨ p (dupla negação)
≡ (¬p ∨ q) ∨ p (condicional)
≡ (p ∨ ¬p) ∨ q (comutativa e associativa)
≡ V ∨q (negação)
≡ V (dominação)

8. É possı́vel encontrar uma proposição composta X de modo que a proposição (p ∨ (¬q)) ∨ (q → X) seja uma tautologia? Se
possı́vel encontre-a. Caso contrário, justifique.
Vamos considerar apenas dois casos X sendo uma tautologia ou X sendo uma contradição.
Caso X seja uma tautologia.
Se q é V então (p ∨ (¬q)) ∨ (q → X) é V.
Se q é F então (p ∨ (¬q)) ∨ (q → X) é V.
Caso X seja uma contradição.
Se q é V então (p ∨ (¬q)) ∨ (q → X) pode ser V ou F.
Se q é F então (p ∨ (¬q)) ∨ (q → X) é V.
X pode ser p∨ 6= p.
Outras soluções podem ser encontradas como ¬p ou q