İlksavlı kümeler kuramı nedir, İlksavlı kümeler kuramı ne demek

İlksavlı kümeler kuramı; Mantık alanında kullanılan bir kelimedir.

Teknik terim anlamı:

Olağan yorumdaki evreni, kümeler ya da genel olarak öbeklerden oluşan temel mantıklı ilksavlı kuram. Örnek: Morse-Kelley ilksavlı kümeler kuramı, mantıksal olmayan ilkel değişmezleri öğelik imiyle öbekleyici; özel ilksavlar kümesi de kaplamsallık ilksavı, öbekleme ilksav kalıbı, birleşim ilksavı, güç kümesi ilksavı, düzenlilik ilksavı, yerine koyma ilksavı, sonsuzluk ilksavı, seçme ilksavmdan oluşan temel mantıklı bir kuramdır.

İlksavlı kümeler kuramı tanımı, anlamı

İlksav : [Bakınız: belit]. Mantıksal ilksav ya da özel ilksav. bk. belit

Kümel : Sayı kümelerine ve bu kümeler üzerindeki işlemlere ilişkin olan.

Kümele : İçine ot konulan kulübe, barınak. Bostan ve bağ bekçisinin kulübesi. Çadır.

Kümeler kuramı : Kümelerin özellikleri ile kümelere ilişkin işlemleri konu edinen uzbilim kuramı. Kümeler ya da genel olarak öbekleri konu edinen bilim dalı. sezgisel kümeler kuramı, ilksavlı kümeler kuramı, yalınç öbekler kuramı.

Kura : İki veya daha çok aday arasında bir sıralama, bir ayırma yapılacağı zaman her birinde bir tek ad yazılı kâğıtları bir araya getirip karıştırdıktan sonra birini çekerek veya özel bir bilgisayar yazılımıyla adları belirleme, ad çekme. Kime veya neye isabet edeceği önceden belli olmayan bir çekimle sonucu belirleme.

 

Kuram : Uygulamalardan bağımsız olarak ele alınan soyut bilgi. Sistemli bir biçimde düzenlenmiş birçok olayı açıklayan ve bir bilime temel olan kurallar, yasalar bütünü, nazariye, teori. Belirli bir konudaki düşüncelerin, görüşlerin bütünü.

Küme : Birbirine benzer veya aynı cinsten olan şeylerin oluşturduğu bütün, takım, öbek, grup. Tümsek biçimindeki yığın. Durum ve nitelikleri göz önünde bulundurularak belli sayıdaki takımdan oluşturulan alt grup. Bir sınıfta öğrencilerin, belli bir eğitim ve öğretim amacıyla bir süre için oluşturdukları takım veya öbek. Koşularda, kendiliğinden oluşan yarışçı gruplarının her biri. Tomar.

Öbekleme ilksav kalıbı : Herhangi bir birli açık önermeyi gerçekleyen özbirey ya da kümelerden oluşan bir öbeğin var olduğunu dile getiren ilksav kalıbı.

Özel ilksavlar kümesi : Bir biçimsel dizgenin geçersiz önermeleri arasından seçilmiş, saptanır önerme kümesi.

Yerine koyma ilksavı : Önalanı küme olan bir izergenin artalanının da küme olduğunu dile getiren ilksav.

Kaplamsallık ilksavı : Öğeleri aynı olan kümelerin eşit olduğunu dile getiren ilksav.

Düzenlilik ilksavı : Her boş olmayan öbeğin, kendisiyle kesişimi boş olan bir öğesi olduğunu dile getiren ilksav.

Sonsuzluk ilksavı : Boş kümeyi kapsadığı gibi, her öğesinin ardılını da kapsayan bir kümenin varolduğunu dile getiren ilksav.

Birleşim ilksavı : Bir kümeler kümesinin öğelerinin birleşiminin de bir küme olduğunu dile getiren İlksav.

 

İlksavlı kuram : Bir kuram, kuramdaki mantıkça kapalı önerme kümesinin bir altkümesi olarak seçilen özel ilksavlar kümesi, ö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. yorumsal eksikli ilksavlı kuram, yorumsal eksiksiz ilksavlı kuram, dizimsel eksikli ilksavlı kuram, dizimsel eksiksiz ilksavlı kuram, tutarlı ilksavlı kuram.

İlksav kalıbı : Her örneği, sözedilen dilde ilksav olan önerme kalıbı.

Kaplamsallık : Kaplamsal olma özelliği.

Yerine koyma : Durağan bir kuruluş yerine bir başkasının, bir yenisinin konulması. Durağan bir değerin yenilenmesi.

Temel mantık : Mantıksal değişmezleri eklemler, niceleyiciler ile eşitlik; değişkenleri bireysel değişken; mantıksal olmayan değişmez türleri ad, yüklem ile işlev olan mantık dizgesi. eklemler mantığı, yüklemler mantığı, niceleme mantığı, yalınç eşitlik mantığı, yüksek basamak mantığı, felsefe mantığı.

Diğer dillerde İlksavlı kümeler kuramı anlamı nedir?

İngilizce'de İlksavlı kümeler kuramı ne demek ? : axiomatic set theory