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

Modal Theorem K.5

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

دیسه‌ای

◊(𝐴∧𝐵)⊃(◊𝐴∧◊𝐵)

◊(A∧B)⊃(◊A∧◊B)

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