西安电子科技大学$2.3.2特性谓词软件学院家家特性谓词的使用有以下两条规则：（1）对于全称量词，特性谓词应作为蕴含式的前件加入；（2）对于存在谓词，特性谓词作为合取项加入。对于特性谓词，如果被全称量词量化其后用一→，如果被存在量词量化其后用Λ西安电子科技大学 软件学院 对于特性谓词，如果被全称量词量化其 后用→，如果被存在量词量化其后用 ∧ 。 §2.3.2 特性谓词