Modal Theorem K.4

برابر انگلیک (انگلیسی): Modal Theorem K.4
دیسه‌ای
(□𝜙∨□𝜓)⊃ □(𝜙∨𝜓)
(□𝜙∨□𝜓)⊃ □(𝜙∨𝜓)