First-order Logic


實際上,一階邏輯是一種形式系統(Formal System),即形式符號推理系統,也叫一階謂詞演算、低階謂詞演算(Predicate Calculus)、限量詞(Quantifier)理論,也有人稱其為“謂詞邏輯”,雖然這種說法不夠精確。總之,不管怎么說,一階邏輯就是一種形式推理的邏輯系統,是一種抽象推理的符號工具。

我們要注意的是,一階邏輯不同於單純的“命題邏輯”(Proposition Logic),因為,一階邏輯里面使用了大量所謂“限量詞變量”(Quantified variables),比如:∃x(意思是存在一個變量x),限量詞符號“∃”是把字母“E”從左向右反轉過來產生的,其原本的意思的“Exist”(存在);而限量詞∀x(對所有的變量x),符號”∀“是將字母”A“從下向上反轉而產生的,其原本意思是”All“(所有、全部)。


免責聲明!

本站轉載的文章為個人學習借鑒使用,本站對版權不負任何法律責任。如果侵犯了您的隱私權益,請聯系本站郵箱yoyou2525@163.com刪除。



 
粵ICP備18138465號   © 2018-2025 CODEPRJ.COM