eng

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

A B C Ç D E F G H I İ J K L M N O Ö P R S Ş T U Ü V Y Z
A - 1. Sayfa
abece :
Biçimsel bir dilin tüm ilkel imlerinden oluşan küme.
abecesel deyim :
Her imi belli bir abecenin öğesi olan bir deyim. || Örn. A ile B ...
açık ad :
Bakınız: açık terim
açık deyim :
Bağsız değişkeni olan düzgün deyim. Krş.. özelleme.
açık önerme :
Bir önermede geçen bir ya da birden çok sayıda adın yerine bağsız ...
açık tamdeyim :
İçinde en az bir bağsız değişken geçen tamdeyim. || Anl. açık öne ...
açık terim :
Bir adın içinde geçen bir ya da birden çok sayıda adın yerine bir ...
açık yol :
Çözümleyici çizelgede, hiç bir çelişmeyi kapsamayıp, ortak doğrul ...
Ad :
Belli bir tek nesneyi adlandırmak, göstermek ya da betimlemek ama ...
ad değişmezi :
Bakınız: bireysel değişmez
ad simgesi :
Değer alanı sözedilen dilin adlarından ya da genel olarak terimle ...
ad türü :
1. Tek çeşitli birinci basamak adlarının öbeğinden oluşan dizimse ...
almaşık küme bağıntısı :
Birinci üyesi tamdurum, ikinci üyesi de tamdurum kümesi olan ikil ...
almaşıklık bağıntısı :
Her iki öğesi de tamdurum ya da çözümleyici küme olan sıralanmış ...
altalta yazma kuralları :
Bakınız: çözümleme kuralları
altdeyim :
Bir düzgün deyimin altdeyim 'i bu deyimin ya kendisi ya deyimin d ...
altıklık yasaları :
Sap=>SiP ile SeP=>SoP biçimindeki önermelerin gevşek geçerli oldu ...
altkarşıtlık yasası :
SiP V SoP biçimindeki önermelerin gevşek geçerli olduğunu dile ge ...
altküme :
Bütün öğeleri belli bir kümenin öğeleri olan küme. ||K kümesinin, ...
altküme imi :
K kümesinin L gibi bir kümenin altkümesi olduğunu dile getiren ik ...
anabileşen :
Bir bileşik tamdeyimde anaeklemin bir araya getirdiği tamdeyimler ...
anaeklem :
Bir önermenin anayöneteni olan eklem.
anayöneten :
Bir karmaşık düzgün deyimin tümünü oluşturmaya yarayan yöneten de ...
anayönetilen :
Bir karmaşık deyimin anayöneteninin bir araya getirdiği düzgün de ...
Anlam :
1. Bir deyimin belli bir yorumda karşılık olarak kazandığı nesne. ...
anlam koyutu :
Bir arada tanım görevinde olan ilksavlardan her biri.
anlam kuralları :
Bir dili yorumlamak amacıyla o dilin düzgün deyimlerine birer nes ...
anlambilim :
Bakınız: yorumbilim
anlamdaş deyimler :
Bir biçimsel dilde A ile B düzgün deyimlerinin anlamdaş deyimler ...
anma :
Bir sözedilen dil deyiminin dile getirdiği nesneden değil, kendis ...
anma imleri :
Bir sözedilen dil deyiminin kullanılmayıp anıldığını belirtmek iç ...
araekyazılış biçimi :
İkili bir yöneten deyimin ilişkin olduğu iki yönetilen deyimin ar ...
arakesit :
Bakınız: kesişim
artbileşen :
Bir koşullunun ikinci anabiIeşeni. || p=>q koşullusunun artbileşe ...
artbileşen evetlemesi yanılımı :
(?) biçimindeki geçersiz çıkarımın geçerli sanılmasından doğan ya ...
artek yazılış biçimi :
Bir yöneten deyimin ilişkin olduğu yönetilen deyimlerin sonuna ko ...
asal ikilli önerme kalıpları :
Bir önerme kalıbının asal ikilli'si, bu önerme kalıbında geçen tü ...
ayraçlı yazılış biçimi :
Yardımcı im olarak ayraç kullanmayı gerektirdiği için araek yazıl ...
ayrıklık :
Bakınız: tikel-evetleme