ilksavlı kuram
(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 dizge; başka bir deyişle geçerli bir biçimsel dizge ile özel ilksavlar kümesinin mantıksal kapanışından oluşan dizge. Krş.. yorumsal eksikli ilksavlı kuram, yorumsal eksiksiz ilksavlı kuram, dizimsel eksikli ilksavlı kuram, dizimsel eksiksiz ilksavlı kuram, tutarlı ilksavlı kuram.
ilksavlı kuram ile benzer kelimeler
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. |
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. |
yorumsal eksikli ilksavlı kuramİng. semantically incomplete axiomatic theoryOlağan yorumda doğru ama kanıtlanamayan bir önermesi olan ilksavlı kuram. || Örn. İlksavlı kümeler kuramı. |
yorumsal eksiksiz ilksavlı kuramİng. semantically complete axiomatic theoryOlağan yorumda doğru olan her önermesi kanıtlanabilen tutarlı ilksavlı kuram. Örn. yalınç öbekler kuramı. |
ilksavlı dizgeİng. axiomatic systemBiçimsel dizge. |
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... |
ilksavlı mantık dizgesiİng. axiomatic system of logicMantıksal ilksavı, dolayısıyla öncülsüz çıkarım kuralı olan mantık dizgesi. |
Bayesçi kuramİng. Bayesian theory |
"ilksavlı kuram" karakter analizi
- ilksavlı kuram, 14 karakter ile yazılır.
- i harfi ile başlar, m harfi ile biter.
Karakter dağılımı
- 'i', 'l', 'k', 's', 'a', 'v', 'l', 'ı', ' ', 'k', 'u', 'r', 'a', 'm', şeklindedir.
- ilksavlı kuram kelimesinin tersten yazılışı ' maruk ılvaskli' diziliminde gösterilir.
ilksavlı kuram - Scrabble puan değerleri
| Harf | Puan |
|---|---|
| i | 1 |
| l | 1 |
| k | 1 |
| s | 2 |
| a | 1 |
| v | 7 |
| l | 1 |
| ı | 2 |
| k | 1 |
| u | 2 |
| r | 1 |
| a | 1 |
| m | 2 |
| Toplam puan değeri | 23 |