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

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