连词连接表示： (/x)(N(x)→GZ(x)入I(x)自然数都是大于零的整数 (/x)(I(x)→E(x)V0(x)所有蓬数不是偶数就是奇数 (Hx)(E(x)→I(S(x)) 偶数除以2是整数 例2设在房内c处有一机器人，在a及b处各有 一张桌子，a桌上有一个盒子，为了让机器 人把盒子从a处拿到b处的桌子上，然后再回 到C处，需要制定相应的行动规则，用一阶 谓词逻辑来描述机器人的行动过程 连词连接表示： (x)(N(x)→GZ(x)I(x)) (x)(I(x)→E(x)O(x)) (x)(E(x)→I(S(x))) 例2 设在房内c处有一机器人，在a及b处各有 一张桌子，a桌上有一个盒子，为了让机器 人把盒子从a处拿到b处的桌子上，然后再回 到c处，需要制定相应的行动规则，用一阶 谓词逻辑来描述机器人的行动过程 a b c 自然数都是大于零的整数 所有整数不是偶数就是奇数 偶数除以2是整数