Modal Theorem 4.1
دیسه‌ای
□□𝐴≡□𝐴
□□A≡□A


تاربرگ‌های پیموده‌شده در این نشست: Modal Theorem 4.2 ⟩ Abstract algebra ⟩ idempotency ⟩ Paul Richard Halmos ⟩ Structural completeness ⟩ What is Logic?