lógica simbólica Synonym