Questão
Questão Inédita - Cursos Regulares
2021
Não se aplica
Demonstre-seguintes39f6a6a9c1
Discursiva
Demonstre as seguintes implicações e equivalências sem usar tabela-verdade:

a) (𝑝 → 𝑞) ∧ ¬𝑞 ⇒ ¬𝑝

b) 𝑝 ⇒ (𝑞 → 𝑝)

c) (𝑝 → 𝑞) ⇔ (𝑝 ∨ 𝑞) → 𝑞

d) (𝑝 → 𝑞) ∧ (𝑝 → ¬𝑞) ⇔ ¬𝑝