Lógica Matemática

Prof. Dr. Elion Silva

Assunto: Método Dedutivo

Lista de exercícios

(1) Usando o método dedutivo, prove as seguintes implicações lógicas:

a) (𝑝 ∨ 𝑞) ∧ ~𝑝 ⟹ 𝑞
b) 𝑝 ∧ 𝑞 ⟹ 𝑝 ∨ 𝑞
c) (𝑝 ⟶ 𝑞) ∧ ~𝑞 ⟹ ~𝑝
d) (𝑝 ⟷ 𝑞) ⟹ (𝑝 ⟶ 𝑞)
e) 𝑝 ⟹ ~𝑝 ⟶ 𝑞

(2) Usando o método dedutivo, prove as seguintes equivalências lógicas:

a) 𝑝 ⟶ 𝑞 ⟺ (𝑝 ∧ ~𝑞) ⟶ 𝑐
b) 𝑝 ⟶ 𝑞 ⟺ (𝑝 ∨ 𝑞) ⟶ 𝑞
c) (𝑝 ⟶ 𝑞) ⟶ 𝑞 ⟺ (𝑝 ∨ 𝑞)
d) (𝑝 ∧ 𝑞) ∨ (~𝑝 ∧ ~𝑞) ⟺ 𝑝 ∧ 𝑞
e) (𝑝 ⟷ 𝑞) ⟺ ~(𝑝 ∨ 𝑞) ∧ (𝑝 ∧ 𝑞)

Bom Estudo!