你的正数都是自然数 是全称命题
即所有的证书都是自然数
全称命题命题的否定就是特称命题
即 存在一个正数 不是自然数 .