BSTS / Mantık Terimleri Sözlüğü
belirtik tanım anlamı İng. explicit definition Alm. explizite Definition Fr. définition explicite
(…) 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.