问答题
简答题 已知A、B、C、D有下列关系:(1)如果A不真包含于B,那么C与D不全异;(2)只有B与D全异,B才不真包含于D;(3)B与D相容但C与D不相容;请推出A与B、B与D、A与D的外延关系,写出推导过程,并将A、B、C、D的外延关系表示在一个欧拉图中。
【参考答案】
①由条件(3)运用联言推理分解式可以推出:
(4)C与D不相容(即全异)
②由条件(1)、(4)运用充分条件假言推理否定后件式推出:
(5)A真包含于B
③由条件(3)运用联言推理分解式推出:
(6)B与D相容(即不全异)
④由(2)、(6......
(↓↓↓ 点击‘点击查看答案’看完整答案 ↓↓↓)