命题:“果X属于N,那么X属于Z”的逆否命题.