假设论域为正整数，令谓词Odd(x)表示“x是奇数”；Even(x)表示“x是偶数”；Prime(x)表示“x是素数”；Equal(x，y)表示“x=y”；Greater(x，y)表示“x>y”