Modal Theorem D.1
دیسه‌ای
◊(𝐴⊃𝐴)
◊(A⊃A)


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