نمایش مبدأ برای نمودار عنکبوتی

{{درباره|ادامه نمودار اولر|نمودارهایی که ارتباط میان ایده‌ها را نشان می‌دهند|نقشه ایده|و|نقشه ذهن}}
در ریاضیات '''نمودار عنکبوتی''' نقاط ادامه‌یافته را به [[نمودار اولز]] یا یک [[نمودار ون]] می‌افزاید.
نقاط نمایش‌دهنده، موارد توسط برخورد خطوط موجود در [[نمودار اولر]] هستند. این نقاط با اتصال به یکدیگر فرم و شکلی مانند تار [[عنکبوت]] می‌سازند.

نقاط متصل شده نمایش‌دهندهٔ وضعیت '''یا''' هستند که به عنوان [[فصل منطقی]] نیز شناخته می‌شود.نمودار عنکبوتی یک بیان بولین که شامل نمودار عنکبوتی اتحادگرا و نشان‌های منطقی <math>\land,\lor,\lnot</math> است.
برای مثال امکان دارد دو نمودار عنکبوتی با هم ترکیب شوند یا ترکیب نشوند یا نفی یک نمودار عنکبوتی دیگر باشند.

== مثال ==
در تصویر موجود، موارد زیر از نمودار اولر بدست می‌آیند:
[[Image:SpiderEuler.jpg|thumb|275px|راست|عدم انطباق منطقی در نمودار اولر]]
: <math>A \land B</math>
: <math>B \land C</math>
: <math>F \land E</math>
: <math>G \land F</math>

{{پاک‌کن}}
در [[universe of discourse]] تعریف شده توسط [[Euler diagram|نمودار اولر]]،
درباره ترکیب فوق

همه حالات ممکنه در ''A'' از ''B'' و ''D'' از ''G'' به صورت جداگانه موجودند. مجموعه ''C'' فقط به صورت زیر مجموعه ''B'' موجود است. معمولاً در نمودارهای پیچیده [[singleton set]]  و/یا ترکیب‌ها ممکن است با دیگر ترکیب‌ها نمایش داده شود.
دو نمودار عنکبوتی در مثال مرتبط با منطق زیر چنین بیان می‌شود:

* عنکبوتی قرمز: <math>(F \land E) \lor (G) \lor (D)</math>
* عنکبوتی آبی: <math>(A) \lor (C \land B) \lor (F)</math>

==منابع==
*ویکی‌پدیای انگلیسی

==پیوند بیرونی==
{{انبار-رده|Spider diagrams}}
* [http://www.cs.kent.ac.uk/events/conf/2004/euler/eulerdiagrams.html Brighton and Kent University - Euler Diagrams]

[[رده:نمودارها]]
[[رده:نمودارهای جبر]]