下列关于将一个具体的数字逻辑转换成抽象的代数表达式而加以分析和研究的说法正确的是（）