Formalização do Sistema Dialético Em Lógica Simbólica Conceito