设E(x)表示“x是偶数”,0(x)表示“r是奇数”、P(x)表示“x是质数”,N(x)表示“x是负数”,I(x)表示“x是整数”和一些中缀表示的谓词诸如y=x2+1等、将下列各句译成逻辑符:
(a)一个整数是奇数,如果它的平方是奇数。
(b)两个偶数之和是偶数。
(c)一个偶数和一个奇数之和是一个奇数。
(d)有两个奇数它们的和是奇数。
(e)任何整数的平方都是负数。
(f)有某个质数其平方是偶数。
(g)不存在一个整数x使x2+1是负数。
(h)对任何两个整数x和y,z-y或y-x是非负的。
(i)如果1=3,那么任何整数的平方是负的。
(j)如果1=3,那么任何整数的平方是正的。
(k)任何两个质数之和是一个质数。
(d)存在两个质数其和是质数。
(m)对任何整数,如果它的平方是负的,那么1=1。