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在處理指令時...