谓词演算

热度:503

简介

谓词演算是数理逻辑最基本的形式系统,其又被称为一阶逻辑。一个可以回答真假的命题,不仅可以分析到简单命题,还可以分析到其中的个体、量词和谓词。个体表示某一个物体或元素,量词表示数量,谓词表示个体的一种属性。例如用p(x)表示x是一棵树,则p(y)表示y是一棵树,用q(x)表示x有叶 ,则q(y)表示y也有叶。这里p、q是一元谓词,x,y是个体,公式"x(p(x)→q(x))表示每一棵树都有叶子 ,这里"是全称量词表示“每一个”。公式∃ x(p(x)∧q(x))表示有一棵没有叶的树,∃这里是存在量词,表示“至少存在一个”。

中文名	谓词演算
原始名称	谓词演算
处理方法	形式推理及形式证明
外文名	predicate calculus
类属	数理逻辑最基本的形式系统
绰号	一阶逻辑
英文名	predicate calculus