离散数学-下列是不是命题x+1=3 是不是命题