https://blogdoprofh.com/2019/10/08/prova-direta-da-validade-de-um-argumento-por-meio-de-implicacoes-e-equivalencias-tautologicas/