断言

(1)具有真、假值的公式或语句。例如4+5=9即为一个断言。断言在程序正确性证明中得到广泛的使用。(2)一种逻辑表达式，它规定必须存在的一个程序状态，或规定在程序执行过程中某一特定点上程序变量必须满足的条件集合。如果程序操作正确，总是取值真；否则程序通常会终止并给出相应的错误信息。通常使用断言去调试程序或文档以说明如何操作某个程序。

断定