1.1 命题符号化及联接词
1.命题就是能判断真假的陈述句
命题变项不是命题(含有未知数的，真值不确定)悖论不是命题。
2.设p、q为两命题：
“非p”(或p的否定)称为p的否定式记作﹁p，﹁为否定联结词
“p并且q”(或p和q)称作p与q的合取式，记作p∧q∧为合取联结词。
“p或q”称作p与q的析取式记作p∨q，∨为析取联结词
“洳果p，则q”称作p与q的蕴涵式记作p→q，称p为蕴涵式的前件q为蕴涵式的后件。
→称作蕴涵联结词p→q为假当且仅当p为真且q为假。(小范围→夶范围)
“p当且仅当q”称作p与q的等价式记作p?q，?称作等价联结词
优先级顺序为﹁、∧、∨、→、?。
3.“或”分为相容或和排斥或排斥或一般不能用析取表示(当p、q不同时为1时可以表示)。
4.在数理逻辑中p→q中的p与q不一定有什么内在联系
1.2 命题公式及分类
5.定义有点多…先将公式记上。
6.24个基本等值式：(注?为等价于就是左边可以推出右边右边也可以推出左边)
双重否定律 ﹁﹁A?A
交换律 A∨B?B∨A
写这个离散数学必过公式有点事倍功半。。
把别的都整完时再来总结吧 ┭┮﹏┭┮
命题逻辑的局限性：命题逻辑的最小单位是句子表示不出来句子本身的內在含义
个体变项：变量----个体域：有限、无限、全总(默认)
n元谓词：表示个体词之间的关系，例如F(xy)表示x与y之间的某种关系
0元谓词：不带个體变项，即命题常项(谓词常个体常)和命题变项(谓词变个体常)
————————————————
做题时先考虑个体域D（D默认全总）
特性谓詞：M(x)：x是人
————————————
项：①个体常项和变项（a、x）
③有限次使用前两生成的符号串（ f(f(ax)，x) ）.
指导变项x的约束出现（x被约束）
闭式：没有自由变项全都被约束了
换名：书上约定被约束的换名，多用于求前束范式时
不是闭式解释后可能不是命题，如果不是再加上赋值后一定是命题
解释+赋值 后一定是命题
修饰前件时改一下形式（全称改存在，反之亦然）
——————————————————————
全称量词 对 “与” 有分配律
存在量词 对 “或” 有分配律
————————————
前束范式：量词全在最前面
