Coursera離散數學概論筆記（三）： 數理邏輯之謂詞邏輯及形式系統

本文目錄 1 個體、謂詞和量詞 1.1 命題的解析 1.2 命題的結構分析 1.2.1 謂詞邏輯 1.2.2 個體（individual） 1.2.3 謂詞（predicate） 1.2.3.1 定義 1.2.3.2 謂詞命名式 1.2.3.3 謂詞填式 1.2.4 量詞（quantifiers） 2 謂詞公式 2.1 謂詞公式的定義 2.2 謂詞公式成爲命題的條件 2.3 語句形式化 3 謂詞公

>>阅读原文<<