五、逻辑系统的构造程序和评价标准