eng

TDK Mantık Terimleri Sözlüğü (İ)

A B C Ç D E F G H I İ J K L M N O Ö P R S Ş T U Ü V Y Z
İ - 1. Sayfa
İ: :
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 ...