Questão
Questões Inéditas - Cursos Regulares
2021
Demonstre-seguintes138c5e8a16
Discursiva
Demonstre as seguintes implicações e equivalências sem usar tabela-verdade:

a) (p→q)∧¬q⇒¬p

b) p⇒(q→p)

c) (p→q)⇔(p∨q)→q

d) (p→q)∧(p→¬q)⇔¬p