دستور بایستگی

همچنین شناخته شده با: قاعده‌ی ضرورت
برابر انگلیک (انگلیسی): Necessitation rule Rule of necessitation
دیسه‌ای
⊢ φ
□ φ
⊢ φ
□ φ


تاربرگ‌های پیموده‌شده در این نشست: نگره‌پردازان نگره‌ی آوین پی. اس. نویکوف میانبودگی هنگرد پاررایه کاژیمیژ آیدوکویچ ریموند مریل اسمولیان