Anasayfa Kodlamalar Dil Bilgisi Terimleri Bilim Terimleri Teknik Terimler Sanat Terimleri Spor Terimleri Hukuk Terimleri Ekonomi Terimleri Eğitim Terimleri Çevre Terimleri Sağlık Terimleri Sosyal Terimler Yabancı Terimler

İ: :

tikel olumlu önermenin simgesi.

içeren :

K |= p gibi bir içermede, içeren K önerme kümesidir.

içerilen :

K |= p gibi bir içermede, içerilen p önermesidir.

içerme :

1. K önerme kümesinin p gibi bir önermeyi içerme'si, (p yi de yor ...

içerme imi :

İki önerme ya da bir önerme kümesi İle bir önerme arasında içerme ...

içerme kalıbı :

(?) önerme kalıplarından oluşup yorumsal sözeden dilde bir açık ö ...

içerme kalıbı örneği :

İçerme kalıbının dizimsel değişkenlerini, bu değişkenlerin birer ...

içerme kuralı :

Tümel kapanışı yorumbilimde belli koşullarda kanıtlanmış olan içe ...

içlem :

Bir düzgün deyimin kaplamına giren herhangi bir nesneye uygulanma ...

içlem belirlenimi :

Belli bir içlemli yorumda A deyimince belirlenen içlem, her tamdu ...

içlem izergesi :

A gibi her kapalı deyimi aşağıdaki koşulu yerine getiren içl(A) i ...

içlemdeş deyimler :

İçlemleri aynı olan düzgün deyimler.

içlemli yorum :

Her düzgün deyimin kaplamından başka bir de içlemini belirleyen y ...

içlemsel anlam :

Bir düzgün deyimin anlamı olan içlemsel nesne.

içlemsel bağıntı :

Sıralanmış n sayıda nesnenin belli bir bağıntıda olmasının gerekl ...

içlemsel doğruluk izergesi :

Her tamdurumu bir n-li (kaplamsal) doğruluk izergesine bağlayan b ...

içlemsel izerge :

Tamdurumlar kümesinden n-li kaplamsal izergeler kümesine yapılan ...

içlemsel izerge soyutlayıcısı :

Krş.. bireysel kavram soyutlayıcısı.

içlemsel nesne :

Bir düzgün deyimin içlemi olabilen nitelik ya da kavram.|| Günümü ...

iki değerli doğrusal eklem :

Temel doğruluk çizelgesinde yalnız "doğru" ile "yanlış" doğruluk ...

iki değerli mantık :

Doğru ile "yanlış"tan başka doğruluk değerine yer vermeyen mantık ...

ikil önerme kalıbı :

Bir önerme kalıbının ikillisi, asal ikillisine eşdeğer olan herha ...

ikilem :

Tüketici olan iki olanakta da aynı sonucun çıktığını dile getiren ...

ikili birinci bileşen değillemesi :

Temel doğruluk çizelgesinin belirlediği ikili doğrusal eklem. || ...

ikili birinci-bileşen evetlemesi :

(?) temel doğruluk çizelgesinin belirlediği ikili doğrusal eklem. ...

ikili eklem :

İki önermeden yeni bir önerme kurmaya yarayan yöneten deyim. || D ...

ikili geçerlilik eklemi :

(?) temel doğruluk çizelgesinin belirlediği ikili doğrusal eklem. ...

ikili ikinci-bileşen değillemesi :

(?) temel doğruluk çizelgesinin belirlediği ikili doğrusal eklem. ...

ikili ikinci-bileşen evetlemesi :

(?) temel doğruluk çizelgesinin belirlediği ikili doğrusal eklem. ...

ikili öbeklendirme :

Herhangi bir öbeğin ayrık, tüketici iki alt öbeğe ayrılması. || İ ...

ikili tutarsızlık eklemi :

(?) temel doğruluk çizelgesinin belirlediği ikili doğrusal eklem. ...

ikinci düzeyden sözeden dil :

Bir sözeden dili konu edinen, başka bir deyişle değişkenlerinin d ...

ikinci izdüşüm :

Bakınız: ikinci üye

ikinci üye :

sıralanmış ikilisinin ikinci üye'si, b nesnesidir. || Anl. ikinci ...

ilgisizlik yöneticisi :

p, q gibi iki önermeye uygulandığında (?) (p nin olmasıyla q nun ...

ilkel çıkarım kuralı :

Dizimbilim ilksavı olan çıkarım kuralı.

ilkel im :

Bir biçimsel dilin tanımlanmaksızın doğrudan verilmiş abece öğesi ...

ilkel yönetici :

Aynı türden olan, başka bir deyişle aynı almaşıklık bağıntısına d ...

ilksav :

Mantıksal ilksav ya da özel ilksav. || Anl. belit.

ilksav kalıbı :

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

ilksavlandırılır kuram :

Bir kuramın ilksavlandırılır olması, bu kuramdaki mantıkça kapalı ...

ilksavlı dizge :

Bakınız: biçimsel dizge

ilksavlı kuram :

(i) bir kuram, (ii) kuramdaki mantıkça kapalı önerme kümesinin bi ...

ilksavlı kümeler kuramı :

Olağan yorumdaki evreni, kümeler ya da genel olarak öbeklerden ol ...

ilksavlı mantık dizgesi :

Mantıksal ilksavı, dolayısıyla öncülsüz çıkarım kuralı olan mantı ...

im örneği :

Bir imi oluşturan denklik öbeğinin öğelerinden her biri.

im yorumlayıcı izerge :

Bir biçimsel dilin her ilkel değişmezine anlam olarak belli bir d ...

imbiçimi :

Bakınız: İm

imbilim :

Dizimbilim, yorumbilim, kullanımbilim bölümlerinden oluşup imleri ...

İndirgeme :

Bir önermeyi eşdeğeri olan indirgenmiş bir önermeye dönüştürme iş ...

indirgenmiş önerme :

Yalınç olmayan bileşenleri yalnızca değilleme, tümel-evetleme ya ...

istenirlik niceliği yöneticisi :

p önermesinden, p nin istenirlik ölçüsü olan gerçel sayıyı göster ...

işlemleme :

Belli bir amaca varmak üzere art arda gelen birtakım işlemlerin b ...

işlemlenebilir izerge :

İşlemleyicisi olan bütünsel izerge.

işlemleyici :

(?) gibi bir deyim izergesine ilişkin bir işlemleyici, (?) nin ön ...

işlev :

1. Herhangi bir sayıda addan bir ad oluşturan deyim bir adda geçe ...

işlev değişkeni :

1. Değer alanı, n-li işlev kaplamlarından ya da başka bir deyişle ...

işlev değişmezi :

İşlev türünden olan değişmez im.

işlev simgesi :

Değer alanı, bir sözeden dilin n-li işlevlerinden oluşan dizimsel ...

işlevci :

Bakınız: işlev

iyice sıralama :

ß bağıntısının K kümesini iyice sıralama'sı (i) ß nin K kümesinde ...

ize :

Bakınız: izerge değeri

izerge :

K kümesinden L kümesine kurulan bir izerge, önalanı K, artalanı d ...

izerge değer alanı :

Bir izergenin artalanı.

izerge değeri :

Bir izerge'nin önalanındaki belli bir öğesi için değeri, izergeni ...

izerge değişkeni :

Değer alanı (Kaplamsal) izergelerden oluşan değişken.(?)

izerge tanım bölgesi :

Bir izergenin önalanı.

izin dağıtıcılığı :

İ(pVq) = İpVİq eşdeğerliliğini dile getiren ödev mantığı kuralı.

izin yöneticisi :

p gibi bir önermeden İp (p izinlidir) önermesini oluşturan doğrus ...