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

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.