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