下列语句中，______是真命题。

解析：命题是能够表达判断的语句，并具有确定真值的陈述句。若一个命题能够判断其真值为真(True)，则为真命题。若一个命题能够判断其真值为假(False)，则为假命题。  命题类型有原子命题和复合命题两种类型，都应具有确定的真值。根据常识计算机程序不仅仅存储在内存中，还可以存储在硬盘、光盘等介质中，故选项A为假命题。“1+1=5”为假，“1+2=3”为真，则选项B的“如果1+1=5，那么1+2=3”为假命题。同理，“1+1=3”和“雪是黑的”均为假，故选项C的“如果1+1=3，那么雪是黑的”为真命题。  感叹句、疑问句、祈使句等都不能作为命题。可见，选项D的祈使句——“严禁考试作弊”不能作为命题。