数理逻辑讲义附件

《数理逻辑讲义附件》由会员上传分享，免费在线阅读，更多相关内容在行业资料-天天文库。

1、数理逻辑讲义李涛哈尔滨工业大学计算机学院数理逻辑讲义第1章绪论.....................................................................................................................................1第2章命题演算形式系统....................................................................................................

2、.........22.1命题演算的基本概念........................................................................................................22.1.1命题.........................................................................................................................22.1.2命题联结词及真值表......

3、.......................................................................................22.1.3命题公式及真值......................................................................................................42.2范式....................................................................

4、.................................................................72.2.1基本概念.................................................................................................................72.2.2范式的求解.............................................................................

5、................................72.2.3主范式.....................................................................................................................82.3联结词的扩充与归约.......................................................................................................15

6、2.4对偶式...............................................................................................................................172.5命题演算形式系统（PC）..............................................................................................182.5.1命题演算形式系统的组成..............

7、......................................................................182.5.2PC的基本定理......................................................................................................192.5.3PC的性质定理............................................................................

8、..........................392.6自然演绎推理系统（ND）.........................