yerine koymaA deyiminde B yerine C koyma işlemi, A deyimindeki B nin bir ya da birden çok geçişi yerine C koymak demektir. || Örn. 5>1+1'de 1 'in birinci geçişi y
yerine koyma ilksavıÖnalanı küme olan bir izergenin artalanının da küme olduğunu dile getiren ilksav.
yeterli koşul( ) ||Anl. yeter koşul. Krş.. gerekli koşul.
yinelemeli kipsel önermeYönetileni kipsel önerme olan bir kipsel yöneticiyi kapsayan önerme. || Örn. ( )
yinelgeli sayılabilir kümeK gibi bir deyim kümesinin yinelgeli sayılabilir olması, K nın ya boş olması ya da işlemlenebilir bir izergenin artalanı olması demektir. || Örn. teme
yinelgen bağıntıYinelgen bir küme oluşturan bağıntı. || Örn. Doğal sayılar arasındaki "küçük olma" bağıntısı yınelgendir.
yinelgen izergeTemel mantıklı sayı kuramında belirtilebilen sayısal izerge.
yinelgen kümeAyırdedici izergesi işlemlenebilir olan küme. || Anl. saptanır küme.
yorum biçimiBelli bir yorum işleminde mantıksal olmayan değişmezlerin tek tek anlamı ile değişkenlerin değer alanı olan evreni belirleyen dizge. || ( ) . Krş.. yo
yorumbilimBirsözedilen dilin olağan yorumuyla tüm olanaklı yorumlarını belirleyip dilin düzgün deyimlerinin her bir yorumda kazandıkları anlamları belirten, doğ
yorumlananYorum işleminin uygulandığı deyim, deyimler kümesi ya da çıkarım.
yorumlanmış biçimsel dilBir biçimsel dil ile bu dilin bir yorumundan oluşan dizge. || Anl. yorumsal dizge.
yorumlayanSözedilen dildeki bir deyimin ya da çıkarımın belli bir yorumda kazandığı anlamı belirten sözeden dildeki deyim; sözedilen dildeki yorumlanan deyimin
yorumsal anlamBir biçimsel dilde belli bir düzgün deyimin belli bir yorumda kazandığıyorumsal anlam, bu yoruma göre düzgün deyime bağlanan nesne demektir. || Kaplam
yorumsal sözeden dilSözedilen dilin deyimleriyle bu deyimlerin anlamlarından söz etmek üzere, olağan yorumdaki evreni bu deyimler ile anlamlarından, bir de deyimler ile a
yorumsal tanımSözeden dildeki bir deyimin kaplamını ya da içlemini belirleyen yorumsal sözeden dildeki bir deyimden oluşan dilsel tanım. ( )
yöneticiler mantığıTemel mantığa bir ya da birden çok sayıda yönetici (doğrusal olmayan eklem) katmakla oluşturulan genleşmiş mantık dizgesi. Krş.. yalınçyöneticiler man
yöneticiler mantığı çözümleyici kümesiYöneticilere ilişkin almaşıklık bağıntılarının gerektirdiği koşulları yerine getiren temel mantıklı çözümleyici küme. || Krş.. kipsel almaşıklık bağın
yönetilen deyimBir yöneten deyimin bir araya getirdiği düzgün deyimlerden her biri.|| ( )
yüklem değişkeniDeğer alanı n-li yüklem kaplamlarından ya da başka bir deyişle n-li kaplamsal bağıntılardan oluşan değişken.
yüklem değişkeniDeğer alanı n-li yüklem içlemlerinden ya da başka bir deyişle n-li özniteliklerden oluşan bireysel olmayan değişken.
yüklem simgesiOlağan yorumda değer alanı bir sözeden dilin n-li yüklemlerinden oluşan dizimsel sözeden dil değişkeni: ( ) || Anl. dizimsel yüklem değişkeni.
yüklemeli olmayan tanımBir öbeğin belli bir öğesinin, bu öbeğin tüm öğelerine (dolayısıyla bu öğenin kendisine de) dayanan tanımı. || Örn. Bir nesnenin "kendi öğesi olmayan
yüklemler mantığıMantıksal değişmezleri en azından eklemleri, mantıksal olmayan değişmez türleri de en azından ad ve yüklemleri kapsayan temel mantık bölümü. Krş.. bir