жүйесінде ғана емес предикаттар логикасын шығару жүйесінде де осы қасиетті иеленеді дегенді есепке ала отырып құрылады