| 31 | anayönetilen | Bir karmaşık deyimin anayöneteninin bir araya getirdiği düzgün deyimlerden her biri.||Krş. anabileşen. |
| 32 | anlam | 1. Bir deyimin belli bir yorumda karşılık olarak kazandığı nesne. ||Anl. yorumsal anlam. Krş. kaplamsal anlam, içlemsel anlam. 2. Kullanımsal anlam. 3. Dizimsel anlam. |
| 33 | anlam koyutu | Bir arada tanım görevinde olan ilksavlardan her biri. |
| 34 | anlam kuralları | Bir dili yorumlamak amacıyla o dilin düzgün deyimlerine birer nesneyi bağlayan kurallar. Krş. yorum. |
| 35 | anlambilim | bk. yorumbilim. |
| 36 | anlamdaş deyimler | Bir biçimsel dilde A ile B düzgün deyimlerinin anlamdaş deyimler olması, A ile B nin aynı dizimsel türden olup, A yı kapsayan her p önermesi ile p içinde A yerine B koymakla elde edilen önermenin doğruluk değerlerinin aynı olması demektir, Krş. kaplamdaş deyimler. |
| 37 | anma | Bir sözedilen dil deyiminin dile getirdiği nesneden değil, kendisinden sözetmek için bu deyimin sözeden dildeki bir adını kullanma. || Böyle bir ad deyimin kendisinden oluşabildiği gibi sözeden dilin özel bir deyiminden de oluşabilir. Krş. anma imleri, kendini adlandırma, kullanma. Örn. 'yes' iki harfli değildir önermesinin tek tırnak içindeki ilk sözcüğü, sözedilen dilin (İngilizcenin) anılan bir deyimidir, |
| 38 | anma imleri | Bir 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. Ali sözcüğü üç imden oluşur. |
| 39 | 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 deyim olan > imi, araek yazılış biçimine göre kullanılmıştır. Krş.. ön ek yazılış biçimi, artek yazılış biçimi. |
| 40 | arakesit | bk. kesişim |
| 41 | ardıl | (
) |
| 42 | artbileşen | Bir koşullunun ikinci anabiIeşeni. || p=>q koşullusunun artbileşeni q dür. Anl. sonurtu |
| 43 | artbileşen evetlemesi yanılımı | (
) biçimindeki geçersiz çıkarımın geçerli sanılmasından doğan yanılım. |
| 44 | artçevirme | (
) |
| 45 | artdevirme | (
) |
| 46 | artek yazılış biçimi | Bir 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 kullanılır. Krş. araek yazılış biçimi, ön ek yazılış biçimi, ayraçsız yazılış biçimi. |
| 47 | 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 imlerini ikilleriyle değiştokuş etmekle elde edilen önerme kalıbı dernektir. || Krş. ikil önerme kalıbı. Örn. (
) |
| 48 | ayırma kuralı | (
) |
| 49 | ayırt edici izerge | (
) |
| 50 | ayırt edilemezlerin özdeşliği | (
) |
| 51 | ayraçlı yazılış biçimi | Yardımcı im olarak ayraç kullanmayı gerektirdiği için araek yazılış biçimine verilen ad. || Bu yazılış biçiminde ikili yöneten deyimlerin kapanışları ayraç içine alınmalıdır ancak kısalık sağlamak amacıyla en dıştaki ayraçlar yazılmaz. |
| 52 | ayraçsız yazılış biçimi | (
) |
| 53 | ayrık kümeler | (
) |
| 54 | ayrık tasımlar | (
) |
| 55 | ayrıklık | bk. tikel-evetleme. |
| 56 | bağdaşmazlık eklemi | Anabileşenlerinin ancak her ikisinin de doğru olması durumunda yanlış olan bir bileşik önermeyi oluşturan doğrusal ikili eklem. || Bu eklem | (ya da(
) |
| 57 | bağımlı imler | (
) |
| 58 | bağımlı önermeler | Bağımsız olmayan, başka bir deyişle en az bir öğesi öbür öğelerince içerilen önerme kümesi. |
| 59 | bağımsız imler | Hiç bir öğesi öbür öğeleri yardımıyla tanımlanamayan imler kümesi. || Örn. (
) kümesi, bağımsız imlerden oluşur. |
| 60 | bağımsız önermeler | Hiç bir öğesi öbür öğelerince içerilmeyen önerme kümesi. |