第2章谓词逻辑(2009-2010-02)-豆柴文库

您所在位置：网站首页 / 第2章谓词逻辑(2009-2010-02).ppt / 文档详情

免费试读已结束，剩余 59 页请下载文档后查看

10 金币

下载文档

/ 64

下载提示

如果您无法下载资料，请参考说明：

1、部分资料下载需要金币，请确保您的账户上有足够的金币

2、已购买过的文档，再次下载不重复扣费

3、资料包下载后请先用软件解压，在使用对应软件打开

文本预览

离散数学2.1.1个体2.1.1个体
2.1.2谓词2.1.2谓词
2.1.3量词2.1.3量词2.1.3量词2.1.3量词特性谓词的位置和描述特性谓词的位置和描述特性谓词的位置和描述特性谓词的位置和描述2.1.3量词实例2.2.1谓词公式2.2.1谓词公式2.2.1谓词公式
2.2.2约束变元与自由变元2.2.2约束变元与自由变元2.2.2约束变元与自由变元

2.3谓词演算的等价式与蕴含式2.4前束范式
2.4前束范式2.5谓词逻辑的推理理论2.5谓词逻辑的推理理论2.5谓词逻辑的推理理论2.5谓词逻辑的推理理论



	

例等价式蕴涵式及推理规则命题定律