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

Modal Theorem K.2

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

دیسه‌ای

□(𝐴∧𝐵) ≡ (□𝐴∧□𝐵)

□(A∧B) ≡ (□A∧□B)

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