Modal algebra
دیسه‌ای
⟨𝐴,∧,∨,-,0,1,□⟩
□1=1
□(𝑥∧𝑦)=□𝑥∧□𝑦
⟨𝐴,∧,∨,-,0,1,□⟩
□1=1
□(x∧y)=□x∧□y


تاربرگ‌های پیموده‌شده در این نشست: Modal Theorem K.3