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

منطق موجهات

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

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

http://psychology.harferooz.com/phot...120407bcda.png

http://psychology.harferooz.com/phot...9ba024f357.png