中国大学MOOC: 设全体域D是正整数集合，确定下列命题为真的是（ ）。