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

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 ...