Modal Theorem K.5

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