saptanır mantıksal dizge
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.
saptanır mantıksal dizge ile benzer kelimeler
saptanır biçimsel dizgeİng. decidable formal systemKanıtsavları saptanır bir küme oluşturan biçimsel dizge. |
geçerli mantıksal dizgeİng. sound logical systemHer kanıtlanır çıkarımı geçerli olan mantıksal dizge. |
mantıksal dizgeİng. logical system, logical formalizationBir biçimsel dil ile bu dile ilişkin mantıksal ilkel çıkarım kurallarından oluşan dizge. Krş.. kuram, ilksavlı kuram, geçerli , mantık dizgesi. |
saptanmaz mantıksal dizgeİng. undecidable logical system1. 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ığı, teme... |
saptanır kuramİng. decidable theoryMantıkça kapalı önerme kümesi saptanır olan kuram. |
saptanır kümeİng. decidable setİlgili evrenin herhangi bir öğesinin kendi öğesi de olup olmadığı sonlu sayıda adımla belirlenebilen küme. || Ayırt edici izergesi işlemlenebilir olan birdeyim kümesi saptanır bir kümedir. Anl. yinelgen küme. |
mantıksalsf. Mantıklı: Mantıksal bir dille açığa vurduğu bu harika önerinin aksayan bir yanı vardı. -N. Nadi. |
mantıksal çarpımİng. logical productTümel-evetleme. |
"saptanır mantıksal dizge" karakter analizi
- saptanır mantıksal dizge, 24 karakter ile yazılır.
- s harfi ile başlar, e harfi ile biter.
Karakter dağılımı
- 's', 'a', 'p', 't', 'a', 'n', 'ı', 'r', ' ', 'm', 'a', 'n', 't', 'ı', 'k', 's', 'a', 'l', ' ', 'd', 'i', 'z', 'g', 'e', şeklindedir.
- saptanır mantıksal dizge kelimesinin tersten yazılışı ' egzid laskıtnam rınatpas' diziliminde gösterilir.