демек тұрақтыларды функциональды және предикатты таңбаларды анықтап осы аймақты сипаттайтын логикалық формула құруға болады