abeceBiçimsel bir dilin tüm ilkel imlerinden oluşan küme.
abecesel deyimHer imi belli bir abecenin öğesi olan bir deyim. || Örn. A ile B imlerinden oluşan ABABB deyimi, {A, B, C, D } ye dayalı abecesel bir deyimdir.
açık deyimBağsız değişkeni olan düzgün deyim. Krş.. özelleme.
açık önermeBir önermede geçen bir ya da birden çok sayıda adın yerine bağsız olacak biçimde birer değişken koymakla elde edilen deyim: ||n-liaçık önerme ( ) biçi
açık tamdeyimİçinde en az bir bağsız değişken geçen tamdeyim. || Anl. açık önerme.
açık terimBir adın içinde geçen bir ya da birden çok sayıda adın yerine birer değişken koymakla elde edilen deyim. || n-liaçık terim ( ) biçiminde gösterilir. A
açık yolÇözümleyici çizelgede, hiç bir çelişmeyi kapsamayıp, ortak doğrulayıcı yorumu olan önermelerden oluşan bir yol.
ad simgesiDeğer alanı sözedilen dilin adlarından ya da genel olarak terimlerinden oluşan dizimsel sözeden dil değişkeni: a, b, c,... ||Anl. dizimsel ad değişken
ad türüGenel olarak herhangi bir değişken çeşidinin değerlerini gösteren adların öbeğinden oluşan dizimsel tür.
ad türüÇok çeşitli birinci basamak dilinde belli bir evrenin öğelerini gösteren adların öbeğinden oluşan dizimsel tür.
ad türüTek çeşitli birinci basamak adlarının öbeğinden oluşan dizimsel tür.
aidiyetÖnermeler mantığında bir kavramın bir sınıfı içinde bulunması durumu.
almaşık küme bağıntısıBirinci üyesi tamdurum, ikinci üyesi de tamdurum kümesi olan ikililerden oluşan bağıntı, || Her birli yöneticinin yorumu ya da kaplamı belli biralmaşı
almaşıklık bağıntısıHer iki öğesi de tamdurum ya da çözümleyici küme olan sıralanmış ikililerden oluşan bağıntı. ||Krş. bütünsel yönetici, bölümsel yönetici.
altdeyimBir düzgün deyiminaltdeyim i bu deyimin ya kendisi ya deyimin dolaysızaltdeyimi ya da dolaysızaltdeyiminin dolaysızaltdeyimi, dolaysızaltdeyiminin do
altıklık yasalarıSap=>SiP ile SeP=>SoP biçimindeki önermelerin gevşek geçerli olduğunu dile getiren yasalar. Krş. karşıolum yasaları.
altkarşıtlık yasasıSiP V SoP biçimindeki önermelerin gevşek geçerli olduğunu dile getiren yasa. Krş. karşıolum yasaları.
altkümeBütün öğeleri belli bir kümenin öğeleri olan küme. ||K kümesinin, L gibi bir kümeninaltküme'si olması, K nın her öğesinin L nin de öğesi olması demekt
altküme imiK kümesinin L gibi bir kümenin altkümesi olduğunu dile getiren ikili yüklem imi ( )
altlamakBir bireyi bir türe veya bir türü bir cinse bağlamak.
anabileşenBir bileşik tamdeyimde anaeklemin bir araya getirdiği tamdeyimlerden her biri. ||Krş. anayönetilen
anayönetenBir karmaşık düzgün deyimin tümünü oluşturmaya yarayan yöneten deyim. ||Örn. (p=>q) =>r biçimindeki bir önermede => iminin ikinci geçişi önermenin tüm
anayönetilenBir karmaşık deyimin anayöneteninin bir araya getirdiği düzgün deyimlerden her biri.||Krş. anabileşen.
anlam koyutuBir arada tanım görevinde olan ilksavlardan her biri.
anlam kurallarıBir dili yorumlamak amacıyla o dilin düzgün deyimlerine birer nesneyi bağlayan kurallar. Krş. yorum.
anlamdaş deyimlerBir biçimsel dilde A ile B düzgün deyimlerininanlamdaş deyimler olması, A ile B nin aynı dizimsel türden olup, A yı kapsayan her p önermesi ile p için
anma imleriBir sözedilen dil deyiminin kullanılmayıp anıldığını belirtmek için deyimin başıyla sonuna konulan tek tırnak imleri. Krş. yarıanma imleri. || Örn. A
apagojiHerhangi bir önermenin doğruluğunu kanıtlamak için karşıt önermenin saçmalığını göstermeye dayanan çıkarım şekli.
aporiaHerhangi bir tartışmada veya düşüncede sonuca varamama ya da çözülemez çelişki.
araekyazılış biçimiİkili bir yöneten deyimin ilişkin olduğu iki yönetilen deyimin arasına konulmasını öngören yazılış biçimi. || Örn. 2> 3 önermesinde ikili bir yöneten
artek yazılış biçimiBir yöneten deyimin ilişkin olduğu yönetilen deyimlerin sonuna konulmasını öngören yazılış biçimi. || Bu yazılış biçimi ayraçsız olup bilgisayarlarda
asal ikilli önerme kalıplarıBir önerme kalıbının asal ikilli'si, bu önerme kalıbında geçen tüm (doğrusal ya da doğrusal olmayan) eklemler ile tanıdeyimsel değişken bağlama imleri