2018.7.6

2018.7.6 綜上，我們得到驗證 { P } c { Q } \{P\}c\{Q\} {P}c{Q}的通用方法： 計算 P ′ = w l p ( c , Q ) P'=wlp(c,Q) P′=wlp(c,Q) 計算 v c ( c , Q ) vc(c,Q) vc(c,Q) 檢查 P → P ′ P\to P' P→P′的永真性 檢查每個 F ∈ v c ( c , Q ) F\in vc(

>>阅读原文<<