歐拉圖

涉及重疊圓的圖形集表示

歐拉,部分文稿也稱歐氏圖,是類似文氏圖的一種圖,但是不必須包含所有的區[註 1]。所以歐拉圖可以定義論域,就是說它可以定義一個系統,其中有特定交集是不可能的或不考慮的。

文氏圖展示所有可能的交集。

所以,包含「動物」、「礦石」和「四足」這些性質的文氏圖,必須包含在其中有同時是動物、礦石和四足的某種東西的那個交集。因此文氏圖展示了所有可能的合取組合。

可以構造出歐拉圖,使得在其中這些無意義的交集不存在,以此為這個主題定義了論域。換句話說,歐拉圖可以表示簡併之後的那些合取。

歐拉圖不需要展示所有可能的交集。

對歐拉圖的一個現代擴展是蜘蛛圖,它向歐拉圖增加了可以連接的存在點。這給予歐拉圖析取特徵。歐拉圖原先已有合取特徵[註 2]。所以蜘蛛圖允許使用歐拉圖配備邏輯或的條件。

注釋

  1. ^ 這裡的區定義為兩個或更多輪廓線的交集區域
  2. ^ 就是說區定義了,在該區中存在的對象,都有着合取起來的那些性質

參見