con métodos de razonamiento simbólico, usando: