什麼是一階邏輯（First-order Logic）

轉載：http://blog.sina.com.cn/s/blog_4e8581890102ean4.htmlhtml 實際上，一階邏輯是一種形式系統（Formal System)，即形式符號推理系統，也叫一階謂詞演算、低階謂詞演算(Predicate Calculus）、限量詞（Quantifier）理論，也有人稱其爲「謂詞邏輯」，雖然這種說法不夠精確。總之，無論怎麼說，一階邏輯就是一種形式推理

>>阅读原文<<