第三天___謂詞邏輯

謂詞邏輯 3.1謂詞的引用 3.1.1引入謂詞邏輯 1.命題邏輯的侷限性 3.1.2個體詞和謂詞 1.個體詞 2.謂詞 3.複合命題的謂詞符號化 4.謂詞總結 3.2量詞 3.2.1量詞的引入 3.2.2個體域的符號化 3.2.3量詞相關的真值確定 1.謂詞翻譯和真值 2.個體域有限的情況下 3.3謂詞符號化舉例 3.3.1示例一 3.3.2示例二 3.3.3示例三 3.3.4示例四 3.4謂詞合

>>阅读原文<<