eng

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

A B C Ç D E F G H I İ J K L M N O Ö P R S Ş T U Ü V Y Z
2. Sayfa
birli bağıntı :
Küme ya da öbek.
birli çekirdek açık önerme :
Birli yüklem olan F gibi bir değişmez ile x gibi bir değişkenden ...
birli çelişirlik eklemi :
Verilen bir önermeden Y değerinde bir önerme oluşturan birli doğr ...
birli eklem :
Bir tek önermeden yeni bir önerme kurmaya yarayan yöneten deyim. ...
birli evetleme :
Bakınız: evetleme
birli geçerlilik eklemi :
Verilen bir önermeden D değerinde bir önerme oluşturan birii doğr ...
birli öznitelik :
Bakınız: Özellik
birli tikel-evetleme :
Anaeklemi (...) tikel-evetleme eklemi olan bileşik önerme. || Bir ...
birli tümel-evetleme :
Anaeklemi (?) tümel-evetleme eklemi olan bileşik önerme. || Birli ...
birli yüklemler mantığı :
Mantıksal olmayan değişmez türleri, yalnız ad ve birli yüklemleri ...
birli yüklemli yasal biçim :
Anabileşenleri birliyüklemli kurucu bileşenler olan n-li tikel-ev ...
birlikte anlamlı deyim :
Tek başına anlamlı olmayıp, bir ya da birden çok yönetilen deyiml ...
birlikte değilleme :
Bakınız: tümel değilleme
birlikte evetleme :
Bakınız: tümel-evetleme
birlikte olanaklılık yöneticisi :
(p^q) biçiminde tanımlanan doğrusal olmayan ikili eklem. || (a kı ...
bitiştirim :
Bir kalıbın dizilim işlevi ya da yarıanma imlerini kullanmadan ya ...
boş ad :
Olağan yorumda hiç bir nesneyi göstermeyen ad.
boş adlı temel mantık :
Olağan yorumda hiç bir nesneyi göstermeyen adlara, başka bir deyi ...
boş deyim :
İm sayısı sıfır olan, başka bir deyişle hiç bir im kapsamayan dey ...
boş içerenli içerme :
İçereni boş kümeye eşit olan ya da başka bir deyişle (?) biçimind ...
boş küme :
Hiç bir öğesi olmayan küme. Boş küme (?) olarak gösterilir.
boş olarak geçme :
Bir deyimin belli bir önermede önermenin doğruluk değerini etkile ...
boş terim :
Olağan yorumdaki kaplamı boş küme olan birli yüklem. || Örn. 'yuv ...
boş tikel-evetlemeli yasal biçim :
Kurucu bileşen sayısı sıfır olan tikel-evetlemeli yasal biçim, || ...
boş tümel-evetlemeli yasa! biçim :
Kurucu bileşen sayısı sıfır olan tümel-evetlemeli yasal biçim. || ...
bölümleyici yüklem kümesi :
(?) || Örn. {kırmızı, kırmızı olmayan}, {kırmızı, yeşil, ne kırmı ...
bölümsel izerge :
K kümesinden L kümesine kurulan bir bölümsel izerge, K nIn bir al ...
bölümsel yönetici :
(?) Krş.. olanaklılık yöneticisi, bilinebilme yöneticisi, sanılab ...
bölünmsel işlemlenebilir izerge :
Değerlerini saptayan bir işlemleyicisi olan bölümsel deyim izerge ...
buyruklar mantığı :
İçinde en az bir buyruk geçen çıkarımların geçerliliğini konu edi ...
bütün :
Tümel niceleyicinin Türkçe'deki bir karşılığı.
bütünsel izerge :
K kümesinden L kümesine kurulan bir bütünsel izerge, K nın bir bö ...
bütünsel sayısal izerge :
Önalanı doğal sayılardan oluşan bütün sıralanmış n-li dizgelerin ...
bütünsel yönetici :
(?) Krş.. zorunluluk yöneticisi, bilme yöneticisi, sanma yönetici ...
büyük öncül :
Bir tasımda büyük terimi kapsayan öncül.
büyük terim :
Bir tasımda sonucun yüklemi olan terim.
çağdaş mantık :
Boole ve Frege'yle başlayıp, White-head-Russell i!e önemli bir aş ...
çatal açma kuralları :
Bakınız: çözümleme kuralları
çatışkı :
Bakınız: mantıksal çatışkı
çekirdek açık önerme :
(?) . || Krş.. birli çekirdek açık önerme.
çelişik önermeler :
Biri öbürünün değillemesi durumunda olan iki önerme.
çelişiklik yasaları :
(?) . Krş. karşıolum yasaları.
çelişirlik eklemi :
(?) || Krş. sıfırlı çelişirlik eklemi, birli çelişirlik eklemi, i ...
çelişme :
Bir önerme ile bu önermenin değillemesinden oluşan küme
çelişme türetimi :
Bakınız: dolaylı türetim
çelişmezlik ilkesi :
(?) biçimindeki önermelerin geçerliliğini dile getiren mantık ilk ...
çevirme :
Tamçevirme ya da yarıçevirmenin ortak adı.
çıkarım :
1. Verilerden sonuç çıkarma işlemi. 2. Bu işlemi dile getiren, ön ...
çıkarım imi :
Bir çıkarımda, öncüller kümesi ile sonuç arasına konulup 'Öyleyse ...
çıkarım kalıbı :
(?) || Krş.. çıkarım, çıkarım kuralı, geçerli çıkarım kalıbı, geç ...
çıkarım kuralı :
(?) || Krş.. ilkel çıkarım kuralı, türetilmiş çıkarım kuralı, geç ...
çıkarım kuralı örneği :
Bir çıkarım kuralının ilişkin olduğu çıkarım kalıbının (kuralın ö ...
çıkarım sonucu :
(?) || Anl. vargı.
çıkış kuralı :
(?) Krş.. ayırma kuralı, çifte değilleme, niceleyici değillemesi, ...
çiftgerektirme :
Bakınız: karşılıklı koşul eklemi
çoğabir bağıntı :
ß bağıntısının K kümesinde çoğabir olması, her x, y, z için ile ...
çok bileşenle tikel-evetleme :
Bakınız: tikel-evetleme
çok bileşenli tümel-evetleme :
Bakınız: tümel-evetleme
çok çeşitli dil :
Birden çok sayıda değişken çeşidi olan biçimsel bir dil || Örn. A ...
çok çeşitli mantık :
Birden çok sayıda değişken çeşidi olan mantık dizgesi.
çok değerli doğrusal eklem :
İkiden çok sayıda doğruluk değeri alabilen bileşik önermeler oluş ...
çok değerli mantık :
İkiden çok doğruluk değerine yer veren mantık dizgesi. || Örn. (? ...
çoklu öznitelik :
Bakınız: içlemsel bağıntı
çoklu tasım :
Öncül sayısı ikiden çok olan tasımsal çıkarım.
çoklu yüklemler mantığı :
En az bir çoklu yüklem türünü kapsayan yüklemler mantığı bölümü.
çözümleme kuralları :
Çözümleyici çizelgeyi kurmak üzere bileşik önermeleri bileşenleri ...
çözümleyici çizelge :
Belli bir mantık dizgesine ilişkin başlangıç önermesi denilen K g ...
çözümleyici küme :
Aşağıdaki koşulları yerine getiren Ç önerme kümesi (?) Ç kümesi d ...
dağılma özelliği :
Bakınız: Dağıtıcılık
dağıtılmamış terim :
Bir özne-yüklem önermesinin bir teriminin dağıtılmamış olması, bu ...
dağıtılmış terim :
Bir özne-yüklem önermesinin bir teriminin dağıtılmış olması, bu t ...
değer adı :
Sözedilen dil değişken değerlerinin yorumsal dildeki adı.
değer alanı :
Bir değişkenin belli bir yorumda kazanıp, bu değişkenin yerine ge ...
değer dizisi :
(?) gibi bir değişken dizisinin birer değerinden oluşan evren öğe ...
Değerleme :
Bir önerme kümesinin her öğesine karşılık birer doğruluk değerini ...
değilleme eklemi :
Doğru bir önermeden yanlış bir önermeyi, yanlış bir önermeden de ...
değilleme önermesi :
Anaeklemi değilleme olan bileşik önerme: (?)
değillemeli-geçişli bağıntı :
ß bağıntısının K. kümesinde değillemeli-geçişli olması (?) . || H ...
değillemeli-ikil önerme kalıpları :
Bir önerme kalıbımın değillemeli ikilli'si, bu önerme kalıbının g ...
değilleyici önerme :
Bakınız: olumsuz önerme
değiş tokuş :
A deyiminde B ile C deyimlerinin değiş tokuşu A da B nin her geçi ...
değişken bağlama im simgesi :
Değer alanı sözedilen dilin tüm n-li değişken bağlayıcı imlerinde ...
değişken bağlayıcısı :
(?) Krş.. niceleyici, betimleyici, seçici, soyutlayıcı.
değişken çeşidi :
Her yorumda aynı bir ortak değer alanını kazanan, sayısı da genel ...
değişken değerlemesi :
Bir biçimsel dilin değişkenlerinin her birine belli bir değer bağ ...
değişme özeiliği :
Bakınız: Yer Değiştirici Eklem
değiştirim :
A deyiminde B nin C ile değiştirim'i, A daki her B geçişi yerine ...
değiştirim örneği :
Değiştirim işlemiyle bir deyimden elde edilen yeni deyim.
denetleme :
Verilen herhangi bir tutarsız önerme kümesinin gerçekten tutarsız ...
denetleme yöntemi :
Bir önermeler kümesinin tutarlılığını ya da tutarsızlığını, bir ç ...
denk önermeler :
Bakınız: eşdeğer önermeler
denklik bağıntısı :
Yansımalı, bakışımlı, geçişli bağıntı. || Krş.. denklik öbeği. Ör ...
denklik öbeği :
Belli bir denklik bağıntısında olan tüm nesnelerin oluşturduğu öb ...
devirme :
Tamdevirme ya da yarıdevirmenin ortak adı.
deyim :
Abece öğesi bir tek im ya da abece öğesi birden çok sayıda imin a ...
deyim adı :
Bakınız: dizimsel ad
deyim biçimi. :
Bakınız: Deyim
deyim izergesi :
Sıralanmış n-li deyim dizgeleri kümesinden herhangi bir deyim küm ...
deyim örneği :
Bir tek im örneği ya da birden çok sayıda im örneğinin art arda g ...
deyim simgesi :
Değer alanı. sözedilen dilin deyimlerinden oluşan dizimsel değişk ...