آشنایی با IL.H.05 چیست؟معنی IL.H.05 یعنی چه؟ آشنایی با IL.K.01 چیست؟معنی IL.K.01 یعنی چه؟ آشنایی با Introduction of an assumption چیست؟معنی Introduction of an assumption یعنی چه؟ آشنایی با PL.FL.1 چیست؟معنی PL.FL.1 یعنی چه؟ آشنایی با اندرهازش یک انگاشته چیست؟معنی اندرهازش یک انگاشته یعنی چه؟ آشنایی با معرفی یک فرض چیست؟معنی معرفی یک فرض یعنی چه؟ برابر پارسی معرفی یک فرض معادل فارسی معرفی یک فرض

اندرهازش یک انگاشته

همچنین شناخته شده با: اصل K

برابر انگلیک (انگلیسی): Modal Axiom K

دیسه‌ای

□(𝐴⊃𝐵)⊃(□𝐴 ⊃□𝐵 )

□(A⊃B)⊃(□A ⊃□B )

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