题目 下列哪几项是保证形式化系统的有效性,需要其具备的性质() A. 完备性B. 一致性C. 可训练性D. 随机性 下列哪几项是保证形式化系统的有效性,需要其具备的性质() A. 完备性 B. 一致性 C. 可训练性 D. 随机性 题目解答答案AB