空類或無分子的類影響到A、E、I、O的對待關係，如以上所述；它也影響到換質與換位的直接推論。本段照以上的辦法看影響如何，但最初有一問題我們似乎應先提出。
1. 傳統邏輯中換質換位的推論如下（以SAP為例）：
原來命題 換質 換位 再換質 再換位 三換質
前四命題相等，後兩命題也相等，但因第五命題是有限製的換位，後兩命題與前四命題不相等，但雖不相等，而照換質換位的推論可以推論得到。設原來的命題為，它應有以下的推論：
第二行的第四個命題與第一行的第三個命題，即PAS與顯而易見地是兩相反對的命題。第一行的原來的命題與第二行的第六命題即SAP與SOP，第二行的第一命題與第一行的第六命題即，顯而易見地是矛盾的命題。
照這兩行的推論看來，SAP與總有衝突，而這衝突可以分兩層看。第一，兩行推論之中前四命題相等，那就是說在第一行之中，SAP等於；在第二行之中，等於；但與既為反對的命題，則SAP與也為反對的命題。第二，最後兩命題雖與前四命題不相等，而可以由前四命題推論出來。與由SAP推論到的彼此矛盾，與SAP雖不能說本身有矛盾，但似乎可以說不能同時真。無論如何，在傳統邏輯的直接推論中，SAP與不能同時真。請注意此處所說的是不能同真，而不是說有時為假。
a. 設以“所有的桌子都是四方的”與“所有的非桌子都是四方的”為例。第一命題先換質次換位變成“沒有非四方的是桌子”，而第二命題先換質次換位再換質成為“所有非四方的都是桌子”。照對待關係看來，以上兩命題為反對的命題，那就是說，它們不能同時真。可是，從另外一方麵著想，這兩個命題表示沒有非四方的東西。以圖表示很容易看出來：