nicecat的专栏

第一章 命题逻辑的基本概念1.1命题与联结词（1）命题：第一，命题必须是陈述句，第二，命题必须有唯一真值，即，要么是真，要么为假。真值为真的成为真命题，真值为假的为假命题。（2）简单（原子）命题：不能分解成更简单命题的命题成为原子命题，一般用小写字母表示，比如q，p。（3）复合命题：由多个简单命题构成叫复合命题。（4）命题的基本联结词：与或非。（5）命题的蕴含联结词与蕴含式

第二章 命题逻辑等值演算2.1等值式（1）AB为重言式：如果A、B共同含有n个命题变项，A或B可能含有哑元。若A与B有相同的真值表，则说明在所有的2^n个赋值下，A与B的真值都相同，因而等价式AB为重言式。（2）等值：如果等价式AB为重言式，那么A与B是等值的，记做AB。（3）等值式模式：根据p非非p是重言式，那么我们可以推导出，对于一个A是任意的命题公式，那么都有A非非A，成这个

第三章命题逻辑的推理理论1.推理的形式结构（1）定义3.1：设A1，A2，A3...Ak和B都是命题公式，若对于A1，A2，A3...Ak和B中出现的命题变项的任意一组赋值，或者A1，A2，A3...Ak为假，或者当A1，A2，A3...Ak为真是，B也为真，则称由前提A1，A2，A3...Ak推出结论B的推理是有效的或正确的，并称B是有效的结论。（2）