Modal Theorem K.4

دیسه‌ای
(□𝜙∨□𝜓)⊃ □(𝜙∨𝜓)
(□𝜙∨□𝜓)⊃ □(𝜙∨𝜓)


تاربرگ‌های پیموده‌شده در این نشست: Modal Axiom B Modal algebra