歐拉圖

歐拉圖 ， 部分文稿也稱歐氏圖 ， 是類似文氏圖的一種圖 ， 但是不必須包含所有的區 。 所以歐拉圖可以定義論域 ， 就是說它可以定義一個系統 ， 其中有特定交集是不可能的或不考慮的 。 所以 ， 包含 “ 動物 ” 、 “ 礦石 ” 和 “ 四足 ” 這些性質的文氏圖 ， 必須包含在其中有同時是動物 、 礦石和四足的某種東西的那個交集 。 因此文氏圖展示了所有可能的合取組合 。 可以構造出歐拉圖 ， 使得在其中這些無意義的交集不存在 ， 以此爲這個主題定義了論域 。 換句話說 ， 歐拉圖可以表示簡併之後的那些合取 。 對歐拉圖的一個現代擴展是蜘蛛圖 ， 它向歐拉圖增加了可以連接的存在點 。 這給予歐拉圖析取特徵 。 歐拉圖原先已有合取特徵 。 所以蜘蛛圖允許使用歐拉圖配備邏輯或的條件 。