Modal Theorem K.2
دیسه‌ای
□(𝐴∧𝐵) ≡ (□𝐴∧□𝐵)
□(A∧B) ≡ (□A∧□B)


تاربرگ‌های پیموده‌شده در این نشست: Axiom of Extensionality ⟩ identity element ⟩ axiomatization ⟩ perception ⟩ idempotent ⟩ magma