UNA NUEVA VERSIÓN DE LÓGICA SIMBÓLICA