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