如果结果不匹配，请 
更多“谓词逻辑法以状态与算符为基础来表示和求解问题。()”相关的问题
是真。第9题
设E（x)表示“x是偶数”，0（x)表示“r是奇数”、P（x)表示“x是质数”，N（x)表示“x是负数”，I（x)表示“x是
设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。
B与x无关。
