ilksavMantıksalilksav ya da özelilksav. || Anl. belit.
ilksav kalıbıHer örneği, sözedilen dilde ilksav olan önerme kalıbı.
ilksavlandırılır kuramBir 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
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ür
ilksavlı kümeler kuramıOlağan yorumdaki evreni, kümeler ya da genel olarak öbeklerden oluşan temel mantıklı ilksavlı kuram. || Örn. Morse-Kelleyilksavlı kümeler kuramı, mant
ilksavlı mantık dizgesiMantıksal ilksavı, dolayısıyla öncülsüz çıkarım kuralı olan mantık dizgesi.
im örneğiBir imi oluşturan denklik öbeğinin öğelerinden her biri.
im yorumlayıcı izergeBir biçimsel dilin her ilkel değişmezine anlam olarak belli bir dildışı nesne bağlayan izerge.|| İm yorumlayıcı izerge içlemsiz yorumda herhangi bir t
indirgenmiş önermeYalınç olmayan bileşenleri yalnızca değilleme, tümel-evetleme ya da tikel-evetleme biçiminde olan bileşik önerme. || Örn. ( ) biçimindeki önerme yalın
istenirlik niceliği yöneticisip önermesinden, p nin istenirlik ölçüsü olan gerçel sayıyı gösteren =||= p deyimini oluşturan =||= birli yöneten deyim. || Dizimsel türü: a/p.
işlemleyici( ) gibi bir deyim izergesine ilişkin birişlemleyici, ( ) nin önalanının herhangi bir A öğesini, tek biçimde belirlenmiş sonlu sayıda dizimsel dönüştü
işlev değişkeniDeğer alanı, n-li işlev kaplamlarından ya da başka bir deyişle n-li kaplamsal izergelerden oluşan bireysel olmayan değişken.
işlev değişkeniDeğer alanı, n-li işlev içlemlerinden ya da başka bir deyişle n-li içlemsel izergelerden oluşan bireysel olmayan değişken. ?
iyice sıralamaß bağıntısının K kümesiniiyice sıralama'sı (i) ß nin K kümesinde bağlaşık olması, (ii) K nin boş olmaya her altkümesinin ß ya göre en küçük bir öğesi
izergeK kümesinden L kümesine kurulan birizerge, önalanı K, artalanı da L nin altkümesi olan, K da çoğa bir bağıntı demektir. Krş.. kaplamsalizerge, içlemse
izin dağıtıcılığıİ(pVq) = İpVİq eşdeğerliliğini dile getiren ödev mantığı kuralı.
izin yöneticisip gibi bir önermeden İp (p izinlidir) önermesini oluşturan doğrusal olmayan birli eklem.|| İp önermesinin ( ) tamdurumunda doğru olması, p önermesinin
kalıp örneğiBir kalıbın tüm değişkenlerinin birer değerleriyle değiştirimi sonunda elde edilen sözedilen dil deyimi. || Örn. 2 = 1+1 önermesi a = b önerme kalıbın
kanıtlamaBir biçimsel dizgede belli bir önermeyi ilksavlar kümesinden türetme işlemi. || Anl. tanıtlama.
kanıtlama kuramıBiçimsel dizgelerde kanıtlamayı konu edinen dizimbilim dalı.
kanıtlanımBir biçimsel dizgede belli bir önermenin, ilksavlar kümesinden türetilebildiğini göstermeye yarayan türetim. || Anl. tanıt, tanıtlama.
kanıtsavİ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ı bi
kanıtsav kalıbıHer örneği, sözedilen dilde kanıtsav durumunda olan bir önerme kalıbı.|| Örn. ( ) kümeler kuramının birkanıtsav kalıbıdır.
kapalı deyimHiç bir bağsız değişkeni olmayan düzgün deyim.
kapalı önermeİçinde hiç biri bağsız değişken geçmeyen düzgün tamdeyim. || Anl. önerme,kapalı tamdeyim, bildirsel tümce.
kapalı tamdeyimHiç bir bağsız değişkeni olmayan tamdeyim.|| Anl. önerme.