çözümleyici küme anlamı İng. model set for sentential logic
Aşağıdaki koşulları yerine getiren Ç önerme kümesi; (…) Ç kümesi doğrusal tutarlıdır. Çözümleyici çizelgede açık yolu oluşturan önermeler kümesi bir çözümleyici kümedir. Krş.. temel mantıklı çözümleyici küme, yöneticiler mantığı çözümleyici kümesi, üretilen çözümleyici küme