第三天___谓词逻辑

谓词逻辑 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谓词合

>>阅读原文<<