离散问题，一个小问题

请问为什么a为假，哪位可以解释一下，我怎么感觉自然数集是对的