Modal Axiom Trivail

برابر انگلیک (انگلیسی): Modal Axiom Trivail
دیسه‌ای
𝐴 ≡ □𝐴
A ≡ □A