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
Questão
Questões Inéditas - Cursos Regulares
2021
Demonstre-seguintes138c5e8a16
Discursiva