预览加载中，请您耐心等待几秒...

离散数学数理逻辑.ppt

预览
1/10
2/10
3/10
4/10
5/10
6/10
7/10
8/10
9/10
10/10

亲，该文档总共93页，到这已经超出免费预览范围，如果喜欢就直接下载吧～

下载提示 文本预览

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

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

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

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

上海电力学院 前言前言前言第1章命题逻辑第1章命题逻辑第2章谓词逻辑1.1命题及表示法1.1命题及表示法1.1命题及表示1.2命题联结词1.2命题联结词1.2命题联结词1.2命题联结词1.2命题联结词1.2命题联结词1.3命题公式及其赋值1.3命题公式及其赋值1.3命题公式及其赋值1.3命题公式及其赋值1.4~1.5命题逻辑的等值演算1.4~1.5命题逻辑的等值演算1.4~1.5命题逻辑的等值演算1.4~1.5命题逻辑的等值演算1.4~1.5命题逻辑的等值演算1.4~1.5命题逻辑的等值演算1.4~1.5命题逻辑的等值演算1.6其它联结词及联结词完备集1.6其它联结词及联结词完备集1.6其它联结词及联结词完备集1.6其它联结词及联结词完备集1.7对偶与析取范式和合取范式(范式)1.7对偶与析取范式和合取范式(范式)1.7对偶与析取范式和合取范式(范式)1.7对偶与析取范式和合取范式(范式)1.7对偶与析取范式和合取范式(范式)1.7对偶与析取范式和合取范式(范式)1.7对偶与析取范式和合取范式(范式)1.7对偶与析取范式和合取范式(范式)1.7对偶与析取范式和合取范式(范式)1.7对偶与析取范式和合取范式(范式)1.8命题逻辑推理理论1.8命题逻辑推理理论1.8命题逻辑推理理论1.8命题逻辑推理理论1.8命题逻辑推理理论1.8命题逻辑推理理论1.8命题逻辑推理理论1.8命题逻辑推理理论1.8命题逻辑推理理论1.8命题逻辑推理理论1.8命题逻辑推理理论1.8命题逻辑推理理论1.8命题逻辑推理理论1.8命题逻辑推理理论2.1谓词的概念与表示2.1谓词的概念与表示2.1谓词的概念与表示2.1谓词的概念与表示2.1谓词的概念与表示2.2命题函数与量词2.2命题函数与量词2.2命题函数与量词2.2命题函数与量词2.2命题函数与量词2.2命题函数与量词2.2命题函数与量词2.3~2.4一阶谓词公式2.3~2.4一阶谓词公式2.3~2.4一阶谓词公式2.3~2.4一阶谓词公式2.3~2.4一阶谓词公式2.5一阶谓词演算的等价式与蕴含式2.5一阶谓词演算的等价式与蕴含式2.5一阶谓词演算的等价式与蕴含式2.5一阶谓词演算的等价式与蕴含式2.5一阶谓词演算的等价式与蕴含式2.5一阶谓词演算的等价式与蕴含式2.5一阶谓词演算的等价式与蕴含式2.6一阶谓词前束范式2.6一阶谓词前束范式2.6一阶谓词前束范式2.6一阶谓词前束范式2.6一阶谓词前束范式2.7一阶逻辑的推理理论2.7一阶逻辑的推理理论2.7一阶逻辑的推理理论2.7一阶逻辑的推理理论2.7一阶逻辑的推理理论2.7一阶逻辑的推理理论2.7一阶逻辑的推理理论第一部分数理逻辑习题课第一部分数理逻辑习题课