2018年9月18日
First-order Logic
摘要： 实际上，一阶逻辑是一种形式系统（Formal System)，即形式符号推理系统，也叫一阶谓词演算、低阶谓词演算(Predicate Calculus）、限量词（Quantifier）理论，也有人称其为“谓词逻辑”，虽然这种说法不够精确。总之，不管怎么说，一阶逻辑就是一种形式推理的逻辑系统，是一种抽 阅读全文
posted @ 2018-09-18 20:31 qinxiaoyu 阅读(1313) 评论(0) 推荐(0) 编辑