Результирующий предикат в математике и логике