Modal Axiom Trivail

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


تاربرگ‌های پیموده‌شده در این نشست: نگره‌ی همدوسی راستی جورج ادوارد مور بَرخه‌شمار داراک نمونه پایان‌دار Modal Axiom 4 نیم‌گروه