Modal Theorem K.1

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