آشنایی با Modal Theorem K.4 چیست؟معنی Modal Theorem K.4 یعنی چه؟

Modal Theorem K.4

برابر انگلیک (انگلیسی): Modal Theorem K.4

دیسه‌ای

(□𝜙∨□𝜓)⊃ □(𝜙∨𝜓)

(□𝜙∨□𝜓)⊃ □(𝜙∨𝜓)

تاربرگ‌های پیموده‌شده در این نشست: همانگویی ⟩ خوشبختی ⟩ افشین پوریا ⟩ زبان‌های برنامه‌نویسی ⟩ واکاوی انگارشیک گویایی ⟩ تورالف اسکولم