Рекурсивный предикат

предикат Р(х 1,...,х п), определенный на натуральных числах и такой, что функция f, заданная на натуральных числах условием истинно, [img: http://localhost:8080/file/041876-27.jpg] ложно, является рекурсивной функцией. В.