ilksavlı mantık dizgesi
Mantıksal ilksavı, dolayısıyla öncülsüz çıkarım kuralı olan mantık dizgesi.
ilksavlı mantık dizgesi ile benzer kelimeler
doğal türetimli mantık dizgesiİng. system of logic with natural deductionMantıksal ilksavları, dolayısıyla öncülsüz çıkarım kuralları olmayan mantık dizgesi. || Krş.. ilksavlı mantık dizgesi. |
genleşmiş mantık dizgesiİng. extended system of logicBir mantıksal dizgeye yeni mantıksal değişmezler katmakla elde edilen (ilkini de kapsayan) mantık dizgesi. || Örn. Temel mantık eklemler mantığının,kipler mantığı da temel mantığın genleşmesidir. |
mantık dizgesiİng. system of logicGeçerli mantıksal dizgelerin ortak yapısını belirleyen mantıksal değişmezler, düzgün deyim dizimsel türleri, bir de çıkarım kurallarından oluşan dizge. Krş.. mantıksal dizge. |
dizimsel eksiksiz ilksavlı kuramİng. syntactically complete axiomatic theoryHer önermesi belirlenir olan tutarlı ilksavlı kuram; kanıtlanamayan herhangi bir önermenin ilksavlar kümesine katılmasıyla dizimsel tutarsız duruma dönüşen dizimsel tutarlı ilksavlı kuram. |
ilksavlı dizgeİng. axiomatic systemBiçimsel dizge. |
ilksavlı kuramİng. axiomatic theorie, axiomatic formal theory,postulate theory(i) bir kuram, (ii) kuramdaki mantıkça kapalı önerme kümesinin bir altkümesi olarak seçilen özel ilksavlar kümesi, (iii) özel ilksavlar kümesinden türetilebilen kanıtsavlar kümesi'nden oluşan ... |
ilksavlı kümeler kuramıİng. axiomatic set theoryOlağan yorumdaki evreni, kümeler ya da genel olarak öbeklerden oluşan temel mantıklı ilksavlı kuram. || Örn. Morse-Kelley , mantıksal olmayan ilkel değişmezleri öğelik imiyle öbekleyici; özel ilksavlar kümesi de kaplamsallık ilksav... |
tutarlı ilksavlı kuramİng. consistent axiomatic theoryHer önermesi kanıtlanamayan ilksavlı kuram. || Temel mantıklı tutarlı ilksavlı bir kuramın kanıtsavlar kümesinin doğrulayıcı yorumu vardır. |
"ilksavlı mantık dizgesi" karakter analizi
- ilksavlı mantık dizgesi, 23 karakter ile yazılır.
- i harfi ile başlar, i harfi ile biter.
Karakter dağılımı
- 'i', 'l', 'k', 's', 'a', 'v', 'l', 'ı', ' ', 'm', 'a', 'n', 't', 'ı', 'k', ' ', 'd', 'i', 'z', 'g', 'e', 's', 'i', şeklindedir.
- ilksavlı mantık dizgesi kelimesinin tersten yazılışı ' isegzid kıtnam ılvaskli' diziliminde gösterilir.