因为P的外延补集与非P的外延相等，根据?（x）≡～P（x），以下关系得以成立

六、因为P的外延补集与非P的外延相等，根据?（x）≡～P（x），以下关系得以成立

（1）异品有，则同品非有。 （M=??（M＜～P）

（2）同品有，则异品非有。 （M=P?（M＜～?）

（3）异品非有，等于同品有非有。 （M＜～?≡（M＜P）(https://www.daowen.com)

（4）异品有非有，等于同品非有。 （M＜?≡（M＜～P）

（5）同品有，则同品有非有。 （M=P?（M＜P）

（6）异品有，则异品有非有。 （M=??（M＜?）