学过离散数学的帮看一上

学过离散数学的帮看一下
离散数学及其应用 英文第6版 80页

translate the statement "The sum of two positive integer is always positive" into a logical expression

书上给的答案是
A­xAy（（x>0) ∧ （y > 0）-> (x + y > 0))


这里A应该是倒过来的那个，是universal quantifier，这里没办法输入
总觉得这个答案不对，因为对于（x>0) ∧ （y > 0）-> (x + y > 0)这个复合命题（记为P吧），x，y都是整数。当x 或 y 不大于0时，P也总是对的，不能表达"The sum of two positive integer is always positive"吧？

[解决办法]
答案没有问题。
就算楼主是个女的，“男人都有小jj"这个命题仍然成立。