離散數學學習筆記——第四講——謂詞邏輯（第一部分）（3.4 謂詞公式）

  1. 謂詞邏輯中使用的四類符號（常量符號、變量符號、函數符號、謂詞符號）   2. 爲何需要函數符號？函數可用於表達個體詞之間的轉換關係   3. 項   4. 合式公式（由原子謂詞公式（原子公式）構成）   5.合式公式示例及補充說明

>>阅读原文<<