量子最弱自由前置条件

量子最弱自由前置条件（quantum weakest liberal precondition），计算机科学技术名词，用于证明量子程序的部分正确性。程序 S和谓词P 的最弱自由前置条件记为wlp. S.P ∈，它满足;②如果量子谓词 Q ∈，满足{P} ， 则 Q ≤wlp. S.P 。