离散数学 --- 谓词逻辑 --- 谓词符号化与谓词合式公式

1.上面这些通过谓词将命题符号化的例子都有一个特点：它们的全称量词表示可以转化为存在量词表示，存在量词表示也可以转化为全称量词表示

2.在第三个例子中，这是一个由两个原子命题组成的复合命题：分别是但前面那一句和但后面那一句，且两个原子命题同时成立时复合命题才成立（这是 ” 但 “ 关系词的特点） ---- 两个命题同时成立复合命题才为真时用 合取联结词连接两个原子命题

1.千万不要颠倒量词的顺序，不同的量词顺序带来的真值结果是不一样的（个体变量的顺序同理）

2.具有多元个体变量的谓词是用来描述客体之间的关系的

---

第二部分 --- 谓词合式公式

1.最后两个符号中的 “ Dn -> ? ” 表达的意思的是对应的谓词和函数的结果的可能取值 --- 

比如对于谓词而言，谓词的结果可能取值是 { 0 或 1 }，而对于函数而言，其结果的可能取值是其所属个体域中的一个子个体域中的任意一个个体常量 

1.函数能够实现个体词之间的转换 --- 所谓个体词之间的转换关系就是通过一个/多个个体常量（个体词）得到另一个个体常量（个体词）

 

1.关于第二点，比如下面这一个：

在这个全称量词的辖域中有着两个原子公式，所以不可以省略量词后面的括号，如果只有一个原子公式的话就可以省略掉量词后面的括号