Necessitation rule

دیسه‌ای
⊢ φ
□ φ
⊢ φ
□ φ


تاربرگ‌های پیموده‌شده در این نشست: assertoric Assertion Explicandum Charles Sanders Peirce Saul Kripke Dasein