Modal Theorem 4.2

برابر انگلیک (انگلیسی): Modal Theorem 4.2
دیسه‌ای
◊◊𝐴≡◊𝐴
◊◊A≡◊A