题目

为保证形式化系统的有效性,下面哪个选项不是形式化系统需要具有的性质()A. 可靠性B. 完备性C. 可判定性D. 一致性

为保证形式化系统的有效性,下面哪个选项不是形式化系统需要具有的性质()

A. 可靠性

B. 完备性

C. 可判定性

D. 一致性

题目解答

答案

A. 可靠性