Mantık Terimleri Sözlüğü - XML
Mantık terimleri ile ilgili bilgileri burada bulabilirsiniz

IDTerimAçıklama
61bağıntıSıralanmış ikililerden oluşan bir küme ya da öbek. || ß gibi bir bağıntı için eß, kısaca (…) biçiminde de yazılır. Anl. kaplamsal ikili bağıntı. Krş.. kaplamsal bağıntı içlemsel bağıntı bağlaşık bağıntı bakışımlı bağıntı bakışımsız bağıntı değillemeli-geçişli bağıntıgeçişli bağıntı geçişsiz bağıntı ters-bakışımlı bağıntı yansımalı bağıntı yansımasız bağıntı, birebir bağıntı, bireçok bağıntı, çoğabir bağıntı, sayısal bağıntı, yinelgen bağıntı, sıralama bağıntısı.
62bağıntı alanıBağıntının öğeleri olan sıralanmış ikililerin birinci ile ikinci üyelerinin kümesi.
63bağıntı artalanı(…)
64bağıntı değişkeniDeğer alanı (kaplamsal) bağıntılardan oluşan değişken: ß.
65bağıntı önalanı(…)
66bağıntı soyutlayıcısı(…) Anl. kaplamsal bağıntı soyutlayıcısı. Krş. doğruluk değeri soyutlayıcısı, öbekleyici.
67bağıntı yüklemiKaplamı bir bağıntı olan yüklem. || Anl. çoklu yüklem.
68bağlam1. Bir deyimin anlamını belirlemeye katkısı olan, bu deyimi kapsayan daha geniş deyim. || Anl. dilsel bağlam, dizimsel bağlam. 2. Bir deyimin anlamını belirlemeye katkısı olan dildışı etmenler: deyimi kullanan kişi, deyimin kullanım yeri ile anı konusundaki bilgiler. || Anl. dildışı bağlam, kullanımsal bağlam.
69bağlamsal ad tanımı(…)
70bağlamsal eklem tanımı(…)
71bağlamsal işlev tanımı(…)
72bağlamsal tanım(…)
73bağlamsal yüklem tanımı(…)
74bağlaşık bağıntı(…)
75bağlı değişkenBir düzgün deyimde en az bir bağlı geçişi olan değişken.
76bağlı değişken değişmesi(…)
77bağlı değişken geçişi(…)
78bağsız değişkenBir düzgün deyim İçinde en az bir bağsız geçişi olan değişken.
79bağsız değişken geçişi(…)
80bakışık ayrım(…)
81bakışımlı bağıntı(…)
82bakışımsız bağıntı(…)
83basit önermebk. yalınç önerme.
84başlangıç önermeleriÇözümleyici çizelgesi kurulan önermeler kümesi tutarlılığı denetlenecek önermeler kümesi. || Bir çıkarımın geçerliliği çözümleyici çizelge ile denetlendiğinde başlangıç önermeleri çıkarımın geçersiz kılıcı kümesinin öğeleridir,
85belirlenir önermeKendisi ya da değillemesi kanıtlanabilen önerme.
86belirlenmez önermeKendisi de değillemesi de kanıtlanamayan önerme.
87belirtik tanım(…) biçimsel dizgesinin abecesinde bulunmayan t gibi bir değişmezin Dz0 da belirtik tanım'ı, t ile Dz0 in değişmezlerinden başka hiç bir değişmezi kapsamayıp, elenebilme ile yaratıcı olmama koşullarını yerine getiren tek bir önerme ya da önerme kalıbının özellemelerinden oluşan bir önerme kümesidir. || 'Tanım' terimi başka biçimde belirtilmediğinde tek başına "belirtik tanım" anlamında kullanılır. Krş.. doğrudan tanım, bağlamsal tanım, bağlamsal yüklem tanımı, bağlamsal işlev tanımı, bağlamsal ad tanımı, bağlamsal eklem tanımı, kurucu değişmez.
88belirtilebilme(…)
89belitbk. ilksav.
90betim(…) Anl. tekil betim. Örn. 'Çalıkuşu'nun (biricik) yazarı.'
Tüm Sayfalarda Arama Yap

* Görseller ve İçerik tekif hakkına sahip olabilir