eng

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

A B C Ç D E F G H I İ J K L M N O Ö P R S Ş T U Ü V Y Z
B - 1. Sayfa
bağdaşmazlık eklemi :
Anabileşenlerinin ancak her ikisinin de doğru olması durumunda ya ...
bağımlı önermeler :
Bağımsız olmayan, başka bir deyişle en az bir öğesi öbür öğelerin ...
bağımsız imler :
Hiç bir öğesi öbür öğeleri yardımıyla tanımlanamayan imler kümesi ...
bağımsız önermeler :
Hiç bir öğesi öbür öğelerince içerilmeyen önerme kümesi.
bağıntı :
Sıralanmış ikililerden oluşan bir küme ya da öbek. || ß gibi bir ...
bağıntı alanı :
Bağıntının öğeleri olan sıralanmış ikililerin birinci ile ikinci ...
bağıntı değişkeni :
Değer alanı (kaplamsal) bağıntılardan oluşan değişken: ß.
bağıntı soyutlayıcısı :
(?) Anl. kaplamsal bağıntı soyutlayıcısı. Krş. doğruluk değeri so ...
bağıntı yüklemi :
Kaplamı bir bağıntı olan yüklem. || Anl. çoklu yüklem.
bağlam :
1. Bir deyimin anlamını belirlemeye katkısı olan, bu deyimi kapsa ...
bağlı değişken :
Bir düzgün deyimde en az bir bağlı geçişi olan değişken.
bağsız değişken :
Bir düzgün deyim İçinde en az bir bağsız geçişi olan değişken.
basit önerme :
Bakınız: yalınç önerme
başlangıç önermeleri :
Çözümleyici çizelgesi kurulan önermeler kümesi tutarlılığı denetl ...
belirlenir önerme :
Kendisi ya da değillemesi kanıtlanabilen önerme.
belirlenmez önerme :
Kendisi de değillemesi de kanıtlanamayan önerme.
belirtik tanım :
(?) biçimsel dizgesinin abecesinde bulunmayan t gibi bir değişmez ...
belit :
Bakınız: ilksav
betim :
(?) Anl. tekil betim. Örn.Çalıkuşu'nun (biricik) yazarı.
betim mantığı :
Temel mantığa betimleyicileri katmakla elde edilen genleşmiş mant ...
betimleyici :
Bir tek nesnenin gerçeklediği px birli açık önermesinden, sözü ge ...
biçimsel dil :
(i) bir abece, (ii) belli birtakım kurma kuralları, (iii) araları ...
biçimsel dizge :
(i) bir mantıksal dizge, (ii) özel ilksavlar kümesi, (iii) kanıts ...
biçimsel kanıt :
Bakınız: Kanıtlanım
biçimsel kuram :
Bakınız: kuram
biçimsel mantık :
1. Mantığın inceleme konusu olan tutarlılık ile geçerliliğin mant ...
biçimsel özellik :
Bakınız: dizimsel özellik
biçimsel sayı kuramı :
Doğal sayıların toplamı ile çarpımına ilişkin kanıtsavları türetm ...
biçimsel tanım :
Biçimsel bir dilde yapılan dilsel tanım.
bildirsel tümce :
Bakınız: önerme
bileşen :
Bir tamdeyimin ya kendisi ya anabileşeni ya da anabileşeninin ana ...
bileşen değillemesi :
(?) ||Krş.. değilleme eklemi, ikili birinci-bileşen değillemesi, ...
bileşen evetlemesi :
(?) || Krş. evetleme, ikili birinci-bileşen evetlemesi, ikili iki ...
bileşik önerme :
Bir ya da birden çok önermeden eklem yardımıyla oluşturulan önerm ...
bileşik özellik yüklemi :
Bir n-li eklemsi ile n sayıda özellik yükleminden oluşan deyim. | ...
bileştiriciler mantığı :
Değişkenleri bütünüyle eleyip yerlerine belli bir takım işlevler ...
bilgisel mantık :
Temel mantığa, bilgisel yöneticileri katmakla oluşturulan genleşm ...
bilgisel sonuç :
q önermesinin p gibi bir önermenin a kişisine göre bilgisel sonuc ...
bilgisel yönetici :
Bilme yöneticisi ya da bu yönetici yardımıyla tanımlanan doğrusal ...
birarada tanım :
Bir kuramda ilkel imlerinin anlamlarını bir arada, kuramın ilksav ...
birebir bağıntı :
ß bağıntısının birebir olması, K nın x,y,z öğeleri için ile ya ...
bireçok bağıntı :
ß bağıntısının K kümesinde bireçok olması, K nın x,y,z öğeleri iç ...
Birey :
Bir evrenin öğesi olan nesne bir adın gösterdiği nesne. || Anl. g ...
birey soyutlayıcısı :
a adından, bu adın kaplamını gösteren X.a deyimini oluşturan X sı ...
bireyler alanı :
Bakınız: Evren
bireysel değişken :
Değer alanı evrenden ya da evrenlerin birinden oluşan, başka bir ...
bireysel değişken çeşidi :
Değer alanları aynı olan bireysel değişkenler öbeği.
bireysel değişmez :
Ad (a) dizimsel türünden olan değişmez.
bireysel deyim :
Terim 1.
bireysel kavram :
Bir adın içlemi. || Bireysel kavram tamdurumlar kümesinden evrene ...
bireysel kavram soyutlayıcısı :
a adından, bu adın içlemi olan bireysel kavramı göstren (?) deyim ...
bireysel olmayan değişken :
Değer alanı birey olmayan ya da başka bir deyişle evrende bulunma ...
birim kümesi :
a gibi bir nesnenin birim kümesi, tek öğesi a olan {a} kümesi dem ...
birinci basamak dili :
Bireysel değişkenden başka değişkeni olmayan biçimsel dil.
birinci basamak kuramı :
Birinci basamak mantığına dayanan kuram. || Krş. birinci basamak ...
birinci basamak mantığı :
Bireysel değişkenden başka değişkeni olmayan mantık dizgesi. || K ...
birinci izdüşüm :
Bakınız: birinci üye
birinci üye :
sıralanmış İkilisinin birinci üye'si, a nesnesidir. II Anl. birin ...
birleşim ilksavı :
Bir kümeler kümesinin öğelerinin birleşiminin de bir küme olduğun ...
birleşim imi :
1. İki küme admdan birleşim kümesinin adını oluşturan ikili işlev ...
birleşme özelliği :
Bakınız: Ortaklaştırıcı Eklem
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.