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

این مقاله دربارهٔ ادامه نمودار اولر است. برای نمودارهایی که ارتباط میان ایده‌ها را نشان می‌دهند، نقشه ایده و نقشه ذهن را ببینید.

در ریاضیات نمودار عنکبوتی نقاط ادامه‌یافته را به نمودار اولز یا یک نمودار ون می‌افزاید. نقاط نمایش‌دهنده، موارد توسط برخورد خطوط موجود در نمودار اولر هستند. این نقاط با اتصال به یکدیگر فرم و شکلی مانند تار عنکبوت می‌سازند.

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

مثال

در تصویر موجود، موارد زیر از نمودار اولر بدست می‌آیند:

عدم انطباق منطقی در نمودار اولر

$A\land B$

$B\land C$

$F\land E$

$G\land F$

در universe of discourse تعریف شده توسط نمودار اولر، درباره ترکیب فوق

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

• عنکبوتی قرمز: $(F\land E)\lor (G)\lor (D)$
• عنکبوتی آبی: $(A)\lor (C\land B)\lor (F)$

منابع

• ویکی‌پدیای انگلیسی

پیوند بیرونی

• Brighton and Kent University - Euler Diagrams