1.

Escreva as sentenças a seguir utilizando a linguagem da LP:

a) Se eu sou feliz, você é infeliz e se você é infeliz, eu não sou feliz

b) José virá à festa e Maria não gostará ou José não virá à festa e Maria gostará da festa
c) A novela será exibida, a menos que seja exibido o programa político
d) Se chover irei para casa, caso contrário, ficarei no escritório.
e) Se Maria é bonita, inteligente e sensível e se Rodrigo ama Maria, então ele é feliz
f) Se Sr.Oscar é feliz, Sra. Oscar é infeliz e se Sra.Grotta é feliz, Sr Grotta é infeliz
g) Maurício virá à festa e Kátia não virá ou Maurício não virá a festa e Kátia ficará infeliz
h) Irei ao teatro somente se for uma peça de comédia
i) Se minha namorada vier, irei ao teatro somente se for uma peça de comédia

2. Prove as deduções abaixo

a) { (p ∧ q) → r, ¬(s ∧ ¬p), q } ┝ (s → r)
b) (((q ∧ r)→¬p) ∧¬¬p) ┝ ¬(q∧ r)
c) ((p ∧ q) → r) ∧ (r → s) ┝ ((p ∧ q) → s)
d) ((¬(q→ r)→¬p) ∧¬(¬s ∨¬p1) ┝ s ∧p1∧ (p→(q→r))
e) ┝ ((p∧q)→¬r)→(r→¬(p∧q))
f) ┝ ((p ∧ q) → ¬r) → (r → ¬ (p ∧ q))

(Deve ser apresentada uma prova dedutiva da LP. Podem ser usadas as RI anexas, teoremas e
axiomas lógicos apresentados em aula, Teorema da Substituição (TS), Teorema da Dedução
(TD), e as propriedades da dedução)

3. Prove se os argumentos são válidos, usando o método da Dedução Natural ou o método do

Tablô Semântico

a. Se você está feliz e sua família está infeliz então não há harmonia. Há harmonia. Logo,
podemos concluir que sua família está feliz ou você está infeliz.
b. Se houver racionamento de energia e investimentos em hidroelétricas, não haverá
apagão. Houve racionamento de energia. Logo, se houver apagão significa que não
houve investimentos em hidroelétricas.
c. Se Arnaldo é otimista então Silvio é pessimista. Se Silvio é otimista, então Wilson é
otimista. Portanto, se Agnaldo é otimista ou Wilson é pessimista, então Silvio é
pessimista.
4. Prove se cada conjunto de fórmulas é satisfatível, usando o método da Tabela Verdade ou o
método do tablô semântico.

a. { (¬p ∧ (q → r)), ((p v q) ∧ r), (¬q ∧ ¬r)}

b. { ¬p,¬q, ¬(p v q) }
c. { (¬p ∧ (q → r)), ((p v q) ∧ r), (q ∧ r)}
d. { ¬(r v s),¬q, ¬(r v s v q) }
e. { ( (q→ r), (p → r), ¬(¬q ∧¬p), r }

5. Seja I uma interpretação tal que I(P)=V, I(Q)=F e I(R)=F, o que se pode concluir a respeito do
valor-verdade de cada fórmula abaixo?

a) (¬P∨Q) ↔(P→Q)
b) (P→((Q→R)→((P→R)→(P→R)))
c) (P→¬Q) ↔¬P
d) (Q→¬P)
e) (P→(Q→R)) ↔((P∧Q) →R)
f) (R∧¬P ) ↔(P∧R)
g) (P→Q)→((( P∧Q) ↔P) ∧ ((P∨Q) →Q)

6. Seja J uma interpretação que interpreta todas as fórmulas da questão (5) como verdadeiras.
Além disso, J(P)=V. O que se pode concluir a respeito de J(Q) e J(R), em cada uma das
fórmulas da questão anterior?
Regras de Inferência da LP (Dedução Natural)

Eliminação da implicação lógica ou modus ponens Introdução da implicação lógica ou

condicionalização
𝛼→𝛽 𝛽
𝛼 (𝐸 →) (𝐼 →)
𝛼→𝛽
𝛽
Eliminação da conjunção Introdução da conjunção

𝛼∧𝛽 𝛼∧𝛽 𝛼
𝐸∧ (𝐸 ∧) 𝛽
𝛽 𝛼 𝐼∧
𝛼∧𝛽
Eliminação da disjunção: Introdução da disjunção:

𝛼 ∨𝛽 𝛽
¬𝛼 (𝐸 ∨) (𝐼 ∨)
𝛼∨𝛽
𝛽
Eliminação da negação: Introdução da negação ou redução ao absurdo:

¬¬𝛼 𝛼→𝛽
(𝐸¬)
𝛼 𝛼 → ¬𝛽
(𝐼¬)
¬𝛼
Eliminação da dupla implicação: Introdução da dupla implicação:

𝛼! 𝛽 𝛼! 𝛽 𝛼→𝛽
𝐸! (𝐸 !) 𝛽→ 𝛼
𝛼→𝛽 𝛽→𝛼 (𝐼!)
𝛼! 𝛽

Regras do Tablô Semântico:

1. Idempotência:
• (α ∧ α) ↔ α
• (α ∨ α) ↔ α
2. Comutatividade:
• (α ∨ β) ↔ (β ∨ α)
• (α ∧ β) ↔ (β∧ α)
3. Associatividade:
• (α ∨ (β∨γ)) ↔ ((α∨β)∨ γ)
• (α ∧ (β∧γ)) ↔ ((α∧β)∧ γ)
4. Distributividade
• (α∧(β∨γ)) ↔ ((α∧β)∨(α∧γ))
• (α∨(β∧γ)) ↔ ((α∨β)∧(α∨γ))
• (α→(β∨γ)) ↔ ((α→β)∨(α→γ))
• (α→(β∧γ)) ↔ ((α→β)∧(α→γ))
5. De Morgan
• ¬(α∨β) ↔ (¬α ∧¬β)
• ¬(α∧β) ↔ (¬α∨¬β)
6. Dupla Negação
• ¬(¬α) ↔ β
7. Contrapositiva
• (α→β) ↔ (¬β→¬α)
8. Import/Export
• ((α∧β) →γ) ↔ (α→(β→γ))
9. Absurdo
• (α→(β∧¬β))↔ ¬α
10. Absorção:
• (α →β) → (α → (α ∧ β))
11. Modus Tolens:
• ((α →β) ∧¬ β ) → ¬ α
12. Transitividade:
• ((α →β) ∧(β→γ)) → (α →γ)