Modal Theorem D.1

برابر انگلیک (انگلیسی): Modal Theorem D.1
دیسه‌ای
◊(𝐴⊃𝐴)
◊(A⊃A)


تاربرگ‌های پیموده‌شده در این نشست: چندی‌گر ماشین خودکار درتاهش سخت‌گیر