逻辑学欧拉图画法
如图，画出一个圆，内标明AB，即相容关系
如图，画两个圆，相交叉，标明AB，即为交叉关系
如图，画两个圆，一大一小，标明AB，即为包含关系。
如图，画两个相同大小且并没有交集的圆，标明AB，为不相容关系
如图，画两个圆，其中一个用一条线隔开。另一个用两条线隔开，标明AB，即为矛盾关系
