#lógica simbólica