欧拉图
维基百科,自由的百科全书
欧拉图是类似文氏图的一种图,但是不必须包含所有的区(zone)(这里的区定义为两个或更多轮廓线的交集区域)。所以欧拉图可以定义论域,就是说它可以定义有特定交集是不可能的或不考虑的一个系统。
所以包含动物、矿石和四足这些性质的文氏图,必须包含在其中有同时是动物、矿石和四足的某种东西的那个交集。所以文氏图展示了所有可能的合取组合。
可以构造出在其中这些无意义的交集不存在的欧拉图,以此为这个主题定义了论域。换句话说,欧拉图可以表示简并之后的那些合取。
对欧拉图的一个现代扩展是蜘蛛图,它向欧拉图增加了可以连接的存在点。这给予欧拉图析取特征。欧拉图已经有了合取特征(就是说区定义了有着与起来的那些性质的对象在区中的存在)。 所以蜘蛛图允许使用欧拉图建模逻辑或的条件。