eng

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

A B C Ç D E F G H I İ J K L M N O Ö P R S Ş T U Ü V Y Z
Ç - 1. Sayfa
ç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 ...