問(wèn)答題
【簡(jiǎn)答題】已知A、B、C、D有下列關(guān)系:(1)如果A不真包含于B,那么C與D不全異;(2)只有B與D全異,B才不真包含于D;(3)B與D相容但C與D不相容;請(qǐng)推出A與B、B與D、A與D的外延關(guān)系,寫(xiě)出推導(dǎo)過(guò)程,并將A、B、C、D的外延關(guān)系表示在一個(gè)歐拉圖中。
答案:
①由條件(3)運(yùn)用聯(lián)言推理分解式可以推出:
(4)C與D不相容(即全異)
②由條件(1)、(4)運(yùn)用...