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