目录第1章命题与命题公式..........................................................................................................41.1命题与命题联结词....................................................................................................41.1.1命题与命题的表示........................................................................................41.1.2复合命题与联结词........................................................................................61.2命题公式的等值演算.............................................................................................111.2.1命题公式......................................................................................................111.2.2等值演算与蕴涵式......................................................................................171.3联结词完备集.........................................................................................................20第2章命题逻辑的推理理论.............................................................................................232.1范式.........................................................................................................................232.1.1范式的概念..................................................................................................232.1.2小项与大项..................................................................................................252.2主范式.....................................................................................................................282.2.1主析取范式..................................................................................................282.2.2主合取范式..................................................................................................292.3自然推理系统.........................................................................................................30第3章谓词逻辑...................................................................................................................353.1谓词的概念与表示.................................................................................................353.2量词与合式公式.....................................................................................................363.3谓词演算的等价式与蕴涵式.................................................................................373.4前束范式................................................................................................................393.5谓词演算的推理理论.............................................................................................39第4章集合.........................................................................................................................414.1集合的基本概念.....................................................................................................414.1.1集合的概念..................................................................................................414.1.2集合的表示法..............................................................................................424.2集合的运算....................................................................................................444.2.1集合的基本运算..........................................................................................444.2.2集合运算...
