第2章谓闹逻辑 第2章谓词逻辑 2.,1个体、谓词与量词 2,2谓词公式 23谓词演算的等价式与蕴含式 2,4前束范式 2.5谓词逻辑的推理理论 返回总目录第2章 谓词逻辑 第2章 谓词逻辑 2.1 个体、谓词与量词 2.2 谓词公式 2.3 谓词演算的等价式与蕴含式 2.4 前束范式 2.5 谓词逻辑的推理理论 返回总目录