请教有关普通逻辑的问题
问题描述：
请教有关普通逻辑的问题
已知甲乙丙丁有下列关系：
1.如果甲不真包含于乙,那么丙与丁不全异
2.只有乙与丁全异,乙才不真包含于丁
3.乙与丁相容但丙与丁不相容
请推出甲与乙、甲与丁的外延关系,写出推导过程,并将甲乙丙丁的外延关系表示在一个文恩图中
非诚勿扰,急用,
答
甲真包含于乙,乙真包含于丁,丁与丙互斥,推理如下：
(1) 由（3）知丙与丁不相容,而（1）的逆否命题为：丙与丁互斥,则甲真包含于乙,因此甲真包含于乙
（2） 2的逆否命题为,只有乙真包含于丁,才使乙与丁不全异,这是一个等价关系,意思是如果乙与丁不全异,则乙真包含于丁,
（3）丙与丁不相容,因此能得：甲真包含于乙,乙真包含于丁,丁与丙互斥,韦恩图应该好画,就不画了!