saptanır mantıksal dizge anlamı İng. decidable logical system Alm. entscheidbares logisches System Fr.Système logique décidable
1- Kapsadığı biçimsel dilin mantıkça doğru önermeleri saptanır bir küme oluşturan mantıksal dizge. 2- Geçerli çıkarımlarının geçerliliğini geçersiz çıkarımlarının da geçersizliğinin denetlenebilmesini sağlayan mantıksal dizge. || Örn. Doğrusal eklemler mantığı, birli yüklemler mantığı saptanır dizgelerdir.