eng

belirtik tanım ne demek?

belirtik 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.

TDK Mantık Terimleri Sözlüğü