saptanmaz mantıksal dizge anlamı İng. undecidable logical system Alm. unentsc-heidbares logisches System Fr. système logique non-décidable
1- Kapsadığı biçimsel dilin mantıkça doğru önermeleri saptanmaz bir küme oluşturan mantıksal dizge. 2- Geçersiz çıkarımların geçersizliğinin denetlenebilmesini sağlamayan mantıksal dizge. || Örn. Çoklu yüklemler mantığı, temel mantık, yüksek basamak mantığı saptanmaz dizgelerdir.