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

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

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

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

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

---

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

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

比如对于谓词而言，谓词的结果可能取值是 { 0 或 1 }&#