آشنایی با Modal Theorem K.1 چیست؟معنی Modal Theorem K.1 یعنی چه؟

Modal Theorem K.1

برابر انگلیک (انگلیسی): Modal Theorem K.1

دیسه‌ای

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

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

تاربرگ‌های پیموده‌شده در این نشست: The completeness of the axioms of the logical function calculus ⟩ کم‌زور‌سازی ⟩ پنداشت ارستو از هستی ⟩ کاژیمیش کوراتوفسکی ⟩ گویایی E ⟩ Modal Axiom 5