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