LÓGICA SIMBÓLICA