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

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