考研複試 | 離散數學——第二章 一階邏輯

加強記憶：1.一階邏輯中的一些重要等值式

2.1 一階邏輯基本概念

• 個體詞：可以獨立存在的客體
• 謂詞：用來刻畫個體詞的性質或個體詞之間關係的詞語
• 個體常項
• 個體變項
• 個體域（論域）：個體變項的取值範圍
• 全總個體域：當無特殊聲明時，個體域由宇宙間的一切事物組成
• 謂詞常項，謂詞變項
• 元數，n元謂詞，0元謂詞

• 量詞
  
• 特性謂詞
  
• 注意事項

2.2 一階邏輯合式公式及解釋

• 字母表

• 項
  
• 原子公式
  
• 合式公式
  

回顧：

• 指導變項，轄域，約束出現，自由出現
  
• 封閉的合式公式，閉式
  
• 換名規則
  
• 解釋
  
• 賦值
  
• 邏輯有效式(永真式)，矛盾式（永假式），可滿足式
  
• 代換實例
  

---

2.3 一階邏輯等值式與前束範式

• 等值式
  
  

回顧

• 一階邏輯中的一些重要等值式
  
• 前束範式