Kelimeler arşivi içinde; başında "ilksav" olan, toplam 1 adet kelime bulunmaktadır. ilksav ile başlayan kelimeler listesini Scrabble, Kelimelik vb. gibi kelime bulma oyunları için veya Türkçe hakkında yapacağınız ders, araştırma veya ödev çalışmalarınızda kullanabilirsiniz.
Ayrıca sonu ilksav ile biten kelimeler listesine ulaşmak veyahut içinde ilksav olan kelimeler listesini incelemek isteyebilirsiniz. Bunlara ek olarak, kelimelerin anlamları için aşağıda bulunan "harfli kelimeler" bağlantılarından da faydalanabilirsiniz.
İLKSAV
İLKSAV
Mantıksal ilksav ya da özel ilksav. bk. belit.
Bu bölümde tanımı içerisinde İLKSAV geçen kelimeler listesi verilmiştir.
ÖNKOYUT
Tümdengelimci bir dizgede tüm kanıtlamalarda kullanılan, zorunlu ya da apaçık olmamakla birlikte başka türlü düşünülemeyeceği için doğru sayılan ilksav.
KANITLANIM
Bir biçimsel dizgede belli bir önermenin, ilksavlar kümesinden türetilebildiğini göstermeye yarayan türetim. bk. tanıt, tanıtlama.
KANITSAV
İlksavlı bir biçimsel dizgede kanıtlanabilen, başka bir deyişle ilksavlardan çıkarım kuralları yardımıyla türetilebilen tamdeyim. Temel mantıklı bir biçimsel dizgenin kanıtsavları yinelgen sayılabilir olan bir küme oluşturur. Tümdengelimci bir dizgede önsayıtlardan çıkarım kalıpları ya da kuralları aracılığıyla türetilen ya da kanıtlanabilen önerme.
ÖNKANIT
Tümdengelimci bir dizgede tüm kanıtlamalarda başvurulan ve apaçık göründüğü için kanıtlanmadan doğru sayılan ilksav.
ÖNSAYIT
Tümdengelimci her dizgenin temelini oluşturan, tüm çıkarım ve kanıtlamalarda kullanılan, ancak kendileri kanıtlanmadan geçerli sayılan ilksavlar.