منطق موجهات

از ویکی‌پدیا، دانشنامهٔ آزاد
پرش به: ناوبری، جستجو

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

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

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

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