3.3.1 谓词公式置换规则