saptanmak ne demek?
- Saptama işi yapılmak, tespit edilmek.
To be established.
To be determined.
To be fixed.
saptanma
- Saptanmak işi.
saptanmaz mantıksal dizge
- Kapsadığı biçimsel dilin mantıkça doğru önermeleri saptanmaz bir küme oluşturan mantıksal dizge.
- 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.
Undecidable logical system.
Système logique non-décidable