模糊谓词

（逻辑学术语）

模糊谓词(fuzzy predicate)是逻辑学的基本概念之一，它是一种存在对象满足该谓词与否不分明的那种谓词。设P为一谓词(概念或性质)，如果存在着这样的对象x，它部分地具有性质P，部分地不具有性质P，则称P为模糊谓词，简记为fuzP.此外 fuz表示“模糊的，，. 模糊谓词fuze在MS中的形式定义为