判定命题真假,并证明:设x、y∈Z,若x+y不是偶数,则x、y不全为奇数