منطق موجهات

از ویکی‌پدیا، دانشنامهٔ آزاد.

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

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

\Diamond P \leftrightarrow \lnot \Box \lnot P
\Box P \leftrightarrow \lnot \Diamond \lnot P

[ویرایش] پیوندهای بیرونی