清华大学出版社 TSINGHUA UNIVERSITY PRESS A 当P为真 直到P为真 A (a) (b) (b) 图4.4 图4.5 图4.4 图4.5