Ad ya da açık terim. || Temel mantıkta: (i) her ad değişmezi tekil terimdir (ii) her değişken tekil terimdir (iii) (?) tekil terimler olup (...) n-li işlev ise(...) tekil terimdir (iv) her tekil terim (i), (ii), (İii) kuralları gereği oluşturulabilir.
TDK Mantık Terimleri Sözlüğü