二、摹状词
日常用词常用15和27的最大公约数,三国演义的作者,来描述特定的个体。这种描述一个特定个体的短语是摹状词。而摹状词所描述的个体与专用名词不同,能给出更多的信息。
谓词P(x)
,指个体x具有性质P
,而摹状词是反问题,知P(x)问x是哪个个体。
符合 表示摹状词,其值是唯一的个体,它具有性质P。
如P(x)表示大于7的最小素数,可表示为
=11
还可写成 
需要考虑 是否存在,若存在是否只有一个,或细分 叫摹状词,x叫摹状变元,P(x)是摹状词的辖域。
形式化自然词句,并非读书最多的人最有知识,令
是人
比y
读书多
比y
知识多
于是有

其中

=
当摹状词不具有唯一性时可作不同的处理,如可视该命题为假,或规定为无意义或任指一个个体。
|