关于程序正确性的定义：{P} A {Q} ，其中（）的叙述是不正确的。

关于程序正确性的定义：{P} A {Q} ，其中（）的叙述是不正确的。
A.P是前置条件
B.Q是运行结果
C.Q是后置条件
D.A是执行功能
正确答案：Q是运行结果