Modal Theorem D.1

دیسه‌ای
◊(𝐴⊃𝐴)
◊(A⊃A)


تاربرگ‌های پیموده‌شده در این نشست: ∧ Introduction