roya
02-01-2011, 09:42 AM
منطق موجهات
منطق موجهات (Modal logic)، زمینهایست در منطق صوری که به بررسی موجهات (modalities)، یعنی مفاهیمی همچون امکان، وجود، و ضرورت میپردازد. به منطق که با تعدادی مفاهیم دیگر چون توانستن، احتمالا، باید و مفاهیم مشابه آن سروکار دارد نیز منطق موجهات گفته میشود.
یک منطق (http://psychology.harferooz.com) موجهات صوری برای بیان موجهات از عملگر یونری موجهات استفاده میکند. عملگر موجهات پایه برای بیان ضرورت \Box (یا L) است و برای بیان احتمالا \Diamond (یا M) میباشد. در منطق موجهات کلاسیک این عملگرها با کمک عملگر منفی (\lnot) میتوانند بیان دیگری از دیگری باشند.
http://psychology.harferooz.com/photos/images/53388003ac1dd3f120407bcda.png (http://psychology.harferooz.com/photos/view.php?filename=53388003ac1dd3f120407bcda.png)
http://psychology.harferooz.com/photos/images/911fb8bf6bf81c39ba024f357.png (http://psychology.harferooz.com/photos/view.php?filename=911fb8bf6bf81c39ba024f357.png)
منطق موجهات (Modal logic)، زمینهایست در منطق صوری که به بررسی موجهات (modalities)، یعنی مفاهیمی همچون امکان، وجود، و ضرورت میپردازد. به منطق که با تعدادی مفاهیم دیگر چون توانستن، احتمالا، باید و مفاهیم مشابه آن سروکار دارد نیز منطق موجهات گفته میشود.
یک منطق (http://psychology.harferooz.com) موجهات صوری برای بیان موجهات از عملگر یونری موجهات استفاده میکند. عملگر موجهات پایه برای بیان ضرورت \Box (یا L) است و برای بیان احتمالا \Diamond (یا M) میباشد. در منطق موجهات کلاسیک این عملگرها با کمک عملگر منفی (\lnot) میتوانند بیان دیگری از دیگری باشند.
http://psychology.harferooz.com/photos/images/53388003ac1dd3f120407bcda.png (http://psychology.harferooz.com/photos/view.php?filename=53388003ac1dd3f120407bcda.png)
http://psychology.harferooz.com/photos/images/911fb8bf6bf81c39ba024f357.png (http://psychology.harferooz.com/photos/view.php?filename=911fb8bf6bf81c39ba024f357.png)