谓词

相关tags:

谓词名词解释：在数理逻辑^*中,肯定或否定一个或几个主词^*(或命题)的词,它是直言判断^*的组成部分之一。它是一个反映判断^*(判定)的对象所具有或不具有之属性的概念。在判断“正方形是长与宽相等的矩形”中,“长与宽相等的矩形”就是谓词,它肯定了主词“正方形”。
见判定^*;主词^*。