دیسول بسته
همچنین شناخته شده با: فرمول بسته
برابر انگلیک (انگلیسی): closed formula


تاربرگ‌های پیموده‌شده در این نشست: گوییک بسیار ارزشی ⟩ Modal Axiom Verum ⟩ دیسول‌های سگالشی در گوییک سویی چندی‌گذارده ⟩ گوییک بی‌پایان ارزشی