chapter four - 一階邏輯
1 - 要點
個體詞 個體
個體常項
個體變項
個體域有限個體域
無限個體域
全總個體域 謂詞
謂詞常項
謂詞變項
1元謂詞：表示事物性質
n（n≥2）元謂詞：表示事物之間的關係
0元謂詞
特性謂詞 量詞
全稱量詞：∀
存在量詞：∃。
命題符號化：設d為個體域
（1） 「d中所有x都有性質f」：∀xf(x)
（2） 「d中有的x有性質f」：∃xf(x)
（3）「對d中所有x而言，如果x有性質f，x就有性質g」：∀x(f(x)→g(x))（基本公式1）
（4）「d中有的x既有性質f，又有性質g」：∃x(f(x)
∧g(x))（基本公式2）
（5）「對d中所有x，y而言，若x有性質f，y有性質g，則x與y就有關係h」：∀x∀y(f(x)∧
g(y)
→h(x，y))
（6）「對於d中所有x而言，若x有性質f，就存在y有性質g，使得x與y有關係h」：∀x(f(x)→∃y(
g(y)∧
h(x，y)))
（7）「存在d中x有性質f，並且對d中所有的y而言，如果y有性質g，則x與y就有關係h」：∃x(
f(x)
∧∀y(g(y)
→h(x，y)))
一階語言ℒ
由非邏輯符集合l生成的一階語言ℒ的字母表（非邏輯符號，邏輯符號） 項
原子公式
合式公式：也稱謂詞公式，簡稱為公式
量詞的轄域
指導變元
個體變項的自由出現
個體變項的約束出現 閉式
一階語言的解釋：公式在解釋i下的解釋
公式的型別
（1）永真式：邏輯有效式
（2）永假式：矛盾式
（3）可滿足式
第一部分 數理邏輯 第五章 一階邏輯等值演算與推理
1 要點 等值式 設a，b是一階邏輯公式，若a b為永真式，則稱a與b等值，記為a b 基本等值式 第一組 命題邏輯中基本等值式的代換例項 第二組 一階邏輯中的重要公式 1 在有限個體域中的重要等值式 設個體域d 則 xa x a a a a a a n xa x a a a a a an 2 量詞...
第一部分 基礎演算法（第四章 深度優先搜尋）例題
思路 考慮條件 1 顯然只用構造乙個大小為n 2的組 考慮條件 2 顯然兩個組的體重之和是固定的，記所有人的體重和為s,則我們只用考慮構造出來的每乙個的體重和盡可能接近s 2即可。通過dfs函式來完成以上操作，有乙個三元組 x,y,z 描述當前狀態 第x位成員，已選y個人，體重和為z 判斷重複 數獨...
作業系統原理之記憶體管理 第四章第一部分
記憶體管理的 標 實現記憶體分配和 提高記憶體空間的利用率和記憶體的訪問速度 暫存器 在cpu內部有一組cpu暫存器，暫存器是cpu直接訪問和處理的資料，是乙個臨時放資料的空間。高速緩衝區 一般cpu都會從內訪問資料到暫存器，然後進行處理，但由於記憶體的處理速度遠遠低於cpu，導致cpu在處理指令時...