量子最弱前置条件

量子最弱前置条件（quantum weakest precondition），计算机科学技术名词，用于证明量子程序的完全正确性。程序 S和谓词P 的最弱前置条件，记为wp. S.P ∈，它满足；② 如果量子谓词 Q ∈ ，满足，则 Q ≤wp. S.P 。