қазіргі бөлімдегі баяндауды оңайлату үшін тұрақтылар сократ түрінде де көрсетіледі әкесі функционалды таңба адам предикатты таңбалар және логикалық предикаттар