目錄
第一講 離散數學概述
數理邏輯簡介
數理邏輯是用數學方法來研究邏輯的學科。它是邏輯學的分支,也是數學的分支,因此數理邏輯又稱爲符號邏輯。
廣義上,數理邏輯包括證明論,模型論,遞歸函數論,公理化集合論等。
我們課主講“命題邏輯”和“謂詞邏輯”
第二講 命題邏輯知識的準備
第三講 命題及其表示
第四講 聯結詞
可兼或
特例 不可兼或
第五講 命題公式及翻譯
第六講 真值表與等價公式
目錄
數理邏輯簡介
數理邏輯是用數學方法來研究邏輯的學科。它是邏輯學的分支,也是數學的分支,因此數理邏輯又稱爲符號邏輯。
廣義上,數理邏輯包括證明論,模型論,遞歸函數論,公理化集合論等。
我們課主講“命題邏輯”和“謂詞邏輯”
可兼或
特例 不可兼或
爲了感興趣而學。 1.1 主要內容(集合論和圖論) 1.2 命題邏輯 定義原子命題,而後原子命題的各種結合,可以滿足某些定理。就像定義數字以及其運算規則一樣,比如乘法交換律等等啥,不過這裏數字