题目

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

下列哪几项是保证形式化系统的有效性,需要其具备的性质()

A. 完备性

B. 一致性

C. 可训练性

D. 随机性

题目解答

答案

AB
A. 完备性
B. 一致性