学习离散数学第一天

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