文档详情

2_123谓词逻辑(PredicateLogic).ppt

发布：2017-05-02约小于1千字共40页下载文档
文本预览下载声明
第二章 谓词逻辑 Predicate Logic;前言;前言;前言;前言;前言;2-1 谓词的概念与表示;2-1.2 谓词的表示：;2-1.3如何利用谓词表达命题：;2-2 命题函数与量词;2-2.1 命题函数;2-2.1 命题函数;2-2.1 命题函数;2-2.1 命题函数;2-2.1 命题函数;;2-2.1 命题函数;2-2.2 量词;2-2.2 量词;2-2.2 量词;2-2.2 量词;2-2.2 量词;2-2.2 量词;2-2.2 量词;2-2.2 量词;使用量词时应注意的问题：;举例说明：;;;;;;;;2-3 谓词公式与翻译;2-3.1 谓词逻辑字母表：;2-3.2 谓词公式;2-3.2 谓词公式;2-3.3 翻译;作业(2-1,2-2,2-3)
显示全部
相似文档