Modal Theorem 5.1
دیسه‌ای
□(◊𝐴⊃𝐵)≡□(𝐴⊃□𝐵)
□(◊A⊃B)≡□(A⊃□B)


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