谓词逻辑

谓词逻辑：刻画主体（个体和群体）之间逻辑关系的方法

个体：个体是指所研究领域中可以独立存在的具体或抽象的概念

谓词：谓词是用来刻画个体属性或者描述个体之间关系存在性的元素，其值为真或为假

全称量词(\(\forall\))：表示一切的，所有的，凡是，每一个等

存在量词(\(\exists\))：表示存在，有一个，某些等

谓词逻辑推理手段：

• 全称量词消去：\((\forall x)A(x)\Rightarrow A(y)\)
• 全称量词引入：\(A(y)\Rightarrow(\forall x)A(x)\)
• 存在量词消去：\((\exists x)A(x)\Rightarrow A(c)\)
• 存在量词引入：\(A(c)\Rightarrow(\exists x)A(x)\)