خشنودی‌پذیری
همچنین شناخته شده با: صدق‌پذیری, صدق پذیری، ارضاء پذیری
برابر انگلیک (انگلیسی): satisfiability


تاربرگ‌های پیموده‌شده در این نشست: گویایی آزاد کاسته ⟩ شماریک پئانو ⟩ گویایی R ⟩ آمرسان‌گروی ⟩ بی‌کنشی چندبارگی ⟩ Modal Axiom 5