روانشناسی، روانکاوی، روانسنجی، روانپزشکی، مشاوره، مقالات و تست ها - نمایش پست تنها

roya · 02-01-2011, 09:42 AM

منطق موجهات

منطق موجهات (Modal logic)، زمینه‌ایست در منطق صوری که به بررسی موجهات (modalities)، یعنی مفاهیمی همچون امکان، وجود، و ضرورت می‌پردازد. به منطق که با تعدادی مفاهیم دیگر چون توانستن، احتمالا، باید و مفاهیم مشابه آن سروکار دارد نیز منطق موجهات گفته می‌شود.

یک منطق موجهات صوری برای بیان موجهات از عملگر یونری موجهات استفاده می‌کند. عملگر موجهات پایه برای بیان ضرورت \Box (یا L) است و برای بیان احتمالا \Diamond (یا M) می‌باشد. در منطق موجهات کلاسیک این عملگرها با کمک عملگر منفی (\lnot) می‌توانند بیان دیگری از دیگری باشند.

02-01-2011, 09:42 AM	#1
roya (کاربر طلایی) تاریخ عضویت: Jan 2011 نوشته ها: 972	منطق موجهات چیست؟ منطق موجهات منطق موجهات (Modal logic)، زمینه‌ایست در منطق صوری که به بررسی موجهات (modalities)، یعنی مفاهیمی همچون امکان، وجود، و ضرورت می‌پردازد. به منطق که با تعدادی مفاهیم دیگر چون توانستن، احتمالا، باید و مفاهیم مشابه آن سروکار دارد نیز منطق موجهات گفته می‌شود. یک منطق موجهات صوری برای بیان موجهات از عملگر یونری موجهات استفاده می‌کند. عملگر موجهات پایه برای بیان ضرورت \Box (یا L) است و برای بیان احتمالا \Diamond (یا M) می‌باشد. در منطق موجهات کلاسیک این عملگرها با کمک عملگر منفی (\lnot) می‌توانند بیان دیگری از دیگری باشند.