补充资料：一致性

一致性
consistency

　　y一zh ix一ng一致性(~istency)理论的无矛盾性。如果一个理论不会同时承认一对相互矛盾的陈述，则该理论是一致的。形式地说，如果理论r可推得某一合适公式P及其否定，P，则r是不一致的;如果r不是不一致的，那么它是一致的，或说r满足一致性。 一致性是对“好的”理论最起码的要求。不一致的理论自相矛盾，因而不能对其行为作出合理的解释。而且只要这个理论的推理系统满足归谬律，那么系统中任一命题及其否定都能被该理论所承认，显得十分荒谬。一致性可以保证理论合理解释的存在性，即可以构造出该理论的模型。 软件规约的一致性要求从软件规约出发不会导出自相矛盾的结论。如果一软件规约中申明f是以正整数为值域的函数，而在另一处断言f需回送一1，则该规约不一致。 只有当一个软件规约满足一致性时，才有可能实现满足该规约的程序(它的模型)。如果规约的一致性不能保证，那么可能花费了大量人力物力去设计实现它的程序而最终一无所获。这就是研究软件规约一致性的重要性之所在。 对软件规约作一致性检查相当困难，通常只能发现不一致而不能保证一致。对不同形式的软件规约常采取不同的检查方法。对非形式的软件规约所能做的主要是对软件规约作字面上的检查以保证没有名冲突，以及保证没有直接矛盾之处。如果软件规约是用形式化语言书写，那么除名冲突外，还可以检查出其它一些不一致，如类型不一致、数量关系不一致等。但没有一般的形式方法可判定软件规约的一致性。 研究软件规约的一致性实际上就是对特定的形式化语言研究哪些不一致性可以检查以及给出检查的形式方法。‘伊波)
　　

说明：补充资料仅用于学习参考，请勿用于其它任何用途。