İlksav nedir, İlksav ne demek

İlksav; Matematik, Mantık alanlarında kullanılan bir kelimedir.

Matematik'te terim anlamı:

[Bakınız: belit].

Teknik terim anlamı:

Mantıksal ilksav ya da özel ilksav. bk. belit.

İlksav anlamı, tanımı

Dizimsel eksiksiz ilksavlı kuram : Her ö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

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

Güçkümesi ilksavı : Bir kümenin altkümeler öbeğinin küme olduğunu dile getiren ilksav.

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

İlksavlandırılır kuram : Bir kuramın ilksavlandırılır olması, bu kuramdaki mantıkça kapalı önerme kümesinin tüm öğelerinin, kümenin yinelgen bir altkümesinden türetilebilmesi demektir.

İlksavlı dizge : Biçimsel dizge.

İ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.

 

İlksavlı kümeler kuramı : 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ı mantık dizgesi : Mantıksal ilksavı, dolayısıyla öncülsüz çıkarım kuralı olan mantık dizgesi.

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

Mantıksal ilksav : Geçerli bir mantıksal dizgede mantıksal, ilkel, öncülsüz bir çıkarım kuralının örneği olan sözedilen dil önermesi. çıkarım kuralı örneği,öncülsüz çıkarım kuralı.

Mantıksal ilksav kalıbı : Bir biçimsel dizgede, öncülsüz ilkel geçerli çıkarım kuralı. Örnek: Doğrusal eklemler mantığına ilişkin Hilbert-Ackermann mantıksal ilksav kalıpları.

Ö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 ilksav : Özel ilksavlar kümesinin öğesi olan tamdeyim. bk. mantıksal olmayan ilksav. özel ilksavlar kümesi.

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

Seçme ilksavı : Herhangi bir kümeler kümesine karşılık, bu kümelerden birer öğe seçmekle oluşturulan kümenin varolduğ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.

Tutarlı ilksavlı kuram : Her önermesi kanıtlanamayan ilksavlı kuram. Temel mantıklı tutarlı ilksavlı bir kuramın kanıtsavlar kümesinin doğrulayıcı yorumu vardır.

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

Yorumsal eksikli ilksavlı kuram : Olağan yorumda doğru ama kanıtlanamayan bir önermesi olan ilksavlı kuram. Örnek: İlksavlı kümeler kuramı.

Yorumsal eksiksiz ilksavlı kuram : Olağan yorumda doğru olan her önermesi kanıtlanabilen tutarlı ilksavlı kuram. Örn. yalınç öbekler kuramı.

Diğer dillerde İlksav anlamı nedir?

İngilizce'de İlksav ne demek ? : axiom