歐拉圖
涉及重疊圓的圖形集表示
此條目沒有列出任何參考或來源。 (2020年8月31日) |
歐拉圖,部分文稿也稱歐氏圖,是類似文氏圖的一種圖,但是不必須包含所有的區[註 1]。所以歐拉圖可以定義論域,就是說它可以定義一個系統,其中有特定交集是不可能的或不考慮的。
所以,包含「動物」、「礦石」和「四足」這些性質的文氏圖,必須包含在其中有同時是動物、礦石和四足的某種東西的那個交集。因此文氏圖展示了所有可能的合取組合。
可以構造出歐拉圖,使得在其中這些無意義的交集不存在,以此為這個主題定義了論域。換句話說,歐拉圖可以表示簡併之後的那些合取。
對歐拉圖的一個現代擴展是蜘蛛圖,它向歐拉圖增加了可以連接的存在點。這給予歐拉圖析取特徵。歐拉圖原先已有合取特徵[註 2]。所以蜘蛛圖允許使用歐拉圖配備邏輯或的條件。