命题﹡的名词解释

【命题﹡名词解释如下】

恰集名词解释：
中介公理集合论的基本集合之一.恰集的直观含义是名词解释：
给定谓词P,如果集合A满足如下条件名词解释：

1.P(x)|—|x∈A;
2.～P(x)|—|xA;
3.P(x)|—|xA;
则称集合A为谓词P的恰集,简记为AP.如图中之集合A便是谓词P的惟一确定的恰集.当然,这里对于任一使xA的x而言,没有再对x部分地属于A的程度的多少去做区分.恰集AP在MS系统中的形式定义为AP(x,t)=_dfx(x∈aP(x,t)).

相关阅读：