高等学校21卌纪教材 2.1个体、谓词和量词 2.2谓词公式与翻译 2.3约束交元与自由变元 2.4公式解释与类型 2.5等价式与蕴涵式 2.6谓词公式范式 2.7谓词逻鸳的推理理论 PT PRESS 人民邮电出版社2.1 个体、谓词和量词 2.2 谓词公式与翻译 2.3 约束变元与自由变元 2.4 公式解释与类型 2.5 等价式与蕴涵式 2.6 谓词公式范式 2.7 谓词逻辑的推理理论