Modal Theorem D.1

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