Modal Theorem 5.1

برابر انگلیک (انگلیسی): Modal Theorem 5.1
دیسه‌ای
□(◊𝐴⊃𝐵)≡□(𝐴⊃□𝐵)
□(◊A⊃B)≡□(A⊃□B)