1.运算的本质是集合之间的特殊映射。
2.表达式:当且仅当能够有限次的应用数,未知数,运算符,括号的符号串为表达式。表达式是一个递归定义,递归的出口是数和未知数。
3.命题:能够确定真值的陈述句称为命题。真值只有真假两种用T和F表示不能有悖论。
4.在数理逻辑中,我们使用大写字母,带下标的大写字母,数字表示命题。
5.如果一个命题标识符表示确定的命题,就被称为命题常元。如果只表示任意命题的位置标志,就被称为命题变元,命题变元可以表示任意命题,所以真假不确定,所以命题变元不是命题。
6.原子命题:不能分解为更简单的陈述句称为原子命题。
7.复合命题:由连接词、标点符号、原子命题复合构成的命题,被称为复合命题。
8.非,不是,用﹁表示 ﹁P读作非P。单目运算
P | ﹁P |
1 | 0 |
0 | 1 |
9.和,与,用∧表示 P∧Q读作P合取Q。二目运算
P | Q | P∧Q |
1 | 1 | 1 |
1 | 0 | 0 |
0 | 1 | 0 |
0 | 0 | 0 |
10.或,用∨表示 P∨Q读作P析取Q。二目运算
P | Q | P∨Q |
1 | 1 | 1 |
1 | 0 | 1 |
0 | 1 | 1 |
0 | 0 | 0 |
11.若P则Q则,P是Q的充分条件。P为前件Q为后件 用P→Q表示 读作P蕴含Q。二目运算
P | Q | P→Q |
1 | 1 | 1 |
1 | 0 | 0 |
0 | 1 | 1 |
0 | 0 | 1 |
12.想到用符号↔表示 双条件
P | Q | P↔Q |
1 | 1 | 1 |
1 | 0 | 0 |
0 | 1 | 0 |
0 | 0 | 1 |
优先级从上到下。
重言式(永真式):命题变元所有赋值都是命题公式的成真赋值;如A∨﹁A
矛盾式(永假式):命题变元所有赋值都是命题公式的成假赋值;如A∧﹁A
可满足式:命题公式至少有一个成真赋值;
永真式都是可满足式,矛盾式都不是可满足式;
非永真式并不都是永假式;
对于永真式A,﹁A就是永假式;
若A↔B是重言式,那么A逻辑等价于B记作A<=>B;
逻辑等价式:
﹁﹁A<=>A | 双重否定律 | |
A∧A<=>A | 幂等律 | |
A∨A<=>A | ||
A∧B<=>B∧A | 交换律 | |
A∨B<=>B∨A | ||
(A∧B)∧C<=>A∧(B∧C) | 结合律 | |
(A∨B)∨C<=>A∨(B∨C) | ||
A∧(B∨C)<=>(A∧B)∨(A∧C) | 分配律 | |
A∨(B∧C)<=>(A∨B)∧(A∨C) | ||
﹁(A∧B)<=>﹁A∨﹁B | 德摩根律 | |
﹁(A∨B)<=>﹁A∧﹁B | ||
A∧(A∨B)<=>A | 吸收律 | |
A∨(A∧B)<=>A | ||
A→B<=>﹁A∨B | 蕴含等值式 | |
A↔B<=>(A→B)∧(B→A) | 等价等值式 | |
A∨t<=>t | 零律 | |
A∧f<=>f | ||
A∨f<=>A | 同一律 | |
A∧t<=>A | ||
A∨﹁A<=>t | 排中律 | |
A∧﹁A<=>f | 矛盾律 | |
﹁t<=>f | ||
﹁f<=>t | ||
A∧B→C<=>A→(B→C) | 输出律 | |
A→B<=>﹁B→﹁A | 假言易位 | |
(A→B)∧(A→﹁B)<=>﹁A | 归谬论 | |
A↔B<=>(A∧B)∨(﹁A∧﹁B) | 等价等值式2 |