什么是一阶逻辑（First-order Logic）

转载：http://blog.sina.com.cn/s/blog_4e8581890102ean4.htmlhtml 实际上，一阶逻辑是一种形式系统（Formal System)，即形式符号推理系统，也叫一阶谓词演算、低阶谓词演算(Predicate Calculus）、限量词（Quantifier）理论，也有人称其为“谓词逻辑”，虽然这种说法不够精确。总之，无论怎么说，一阶逻辑就是一种形式推理

>>阅读原文<<