數學就是不斷抽象的過程。。。
我們來看個例子：
所有的人都比 madao756 帥，你是人，所以你比我帥
在之前的「命題邏輯」中，我們只能把它抽成三個「簡單命題」
符號化以後就變成
單從結果來看，其實損失了一些關鍵資訊：比如「所有人」。
於是數學家們想出了乙個更好的，更完美的方法，表示上述命題，我們把它叫做「一階邏輯」。
為了將上述「你比我帥」抽成「一階邏輯」的形式，我們得先學一點基礎知識：
先有乙個感性地認識：
其中「...最好看」就是乙個「謂詞」，抽象成數學就變成：
f(x) : x 最好看，f(x) 就是乙個謂詞。
類似的還有很多很多：
量詞是「一階邏輯」中的關鍵，因為之前的「命題邏輯」並不能很好的體現「所有」、「存在」這樣的描述詞語
量詞也很簡單就兩個：
像我們之前的「所有」、「一切」這樣的詞就可以抽象成「全稱量詞」用符號 表示
我們說的什麼「存在」、「有」這樣的詞就可以抽象成「存在量詞」用符號 表示
結合「謂詞」和「量詞」，我們就可以將一些命題抽象成「一階邏輯」
比如「所有人都比 madao756 帥」可以抽象成，
謂詞：f(x): x 比 madao756 帥
量詞：你有沒有一種感覺，差了點什麼？
在說謂詞的時候，f(x): x 比 madao756 帥。x 是啥？是豬？「豬比 madao756 帥」？就沒個定義域啥的？有的！
首先，先感性地認識「個體詞」
小王、小李、madao756 可以是個體詞，f(x): x 比 madao756 帥中的 x 也是個體詞。前者與後者的具體差別就是：前者是固定的我們叫做「個體常項」後者不是固定的我們叫做「個體變項」
而「個體變項」的範圍就是「個體域」
有乙個特殊的「個體域」：它是宇宙一切事物組成的，稱作「全總個體域」
現在我們根據 0x01 中的內容做一些題目：
將下述命題分別在 d1 和 d2 的「個體域」下「一階邏輯」化
1）凡人都呼吸
2）有的人用左手寫字
個體域 d1 為人類集合
個體域 d2 為全總個體域
由於上述命題是對人而言的也就是說，應該將上述命題寫成：
1）如果個體是人，個體呼吸
2）如果個體是人，有的人用左手寫字
所以我們要搞出乙個定義人的謂詞：m(x) : x 是人，寫成：
1）2）
在 和 中，由於有量詞的存在，我們稱量詞後面的 x 是「指導變元」
量詞後面的 或者 我們叫做：「轄域」
中所有 x 的出現，我們叫做 「約束出現」
而在 中所有 y 的出現，由於沒有對 y 進行量詞限制，所以對於 **現 y，我們叫做「自由出現」
對於 中給 x 值這一動作叫做「賦值」
而將 f(x) 定義為 x 是大佬。這一動作叫做「解釋」
第四章結束。。。
機器智慧型 高頻問題 一階邏輯退化到命題邏輯
a 每乙個一階邏輯的知識庫都能被命題化 b 思路 例項化kb和查詢 即例項化 歸結 返回結果 c 命題邏輯導致的知識庫的擴張可能是無限的 當包含涵詞的時候，物件無限多可能會導致知識庫無限擴張 d 命題化可能產生許多無關語句 e 對於p個k階謂詞 謂詞中有多少個引數 和n個常數 引數可以用多少個常數代...
一階邏輯 備忘
所有的無限迴圈小數都是有理數。即 對於論域中的所有個體，要麼它不是無限迴圈小數 要麼它是無限迴圈小數，同時是有理數。f x x是無限迴圈小數 g x x是有理數 x g 有的素數是偶數。即 存在乙個數，它是素數，同時它也是偶數。f x x是素數 g x x是偶數 x 並非所有的f都g x f x g...
邏輯學學習 3 命題邏輯 （一） 基本概念
演繹邏輯研究的乙個基本分支就是命題邏輯，命題邏輯以命題為最小單位。它主要是研究復合命題中的真值函項復合命題，怎樣由簡單命題推導出真值函項復合命題。一，基本概念 簡單命題是不包含其他命題的命題。復合命題是包含其他命題的命題。命題邏輯的研究物件主要是復合命題。復合命題包含兩個基本成份 真值函項復合命題該...