下列语句中，(55)是真命题。A．计算机程序只能存储在内存中B．如果1+2=3，那么1+1-5C．如果1+1=3，那么雪是黑的D．严禁考试作弊

第一步，确定题型。
根据题干关联词“如果……那么……”等，确定为翻译推理。
第二步，翻译题干。
①B（?鸟）→A（哺乳动物）
②C（哺乳动物）或A（哺乳动物）
③B（?鸟）→D（?鱼）
④D（鱼）或E（?昆虫）
⑤E（?昆虫）→B（?鸟）
第三步，进行推理。
利用代入法解题。
代入A项：动物B不是鸟，是对①的“肯前”，根据“肯前必肯后”可以推出“A是哺乳动物”，根据题干要求所有动物都只能归属一种门类，则C一定不是哺乳动物，排除A项；
代入B项：动物A是哺乳动物，根据题干要求“所有动物都只能归属一种门类”，则C一定不是哺乳动物，排除B项；
代入C项：动物D不是鱼，是对③的“肯后”，根据“肯后不必然”无法推出其它，D不是鱼，是对④的或关系一支的否定，根据“否定肯定式”，得到E不是昆虫，根据⑤可得B不是鸟，根据①可得A是哺乳动物，A是哺乳动物，根据题干要求“所有动物都只能归属一种门类”，则C一定不是哺乳动物，排除C选项；
代入D项：动物E是昆虫，是对④的或关系一支的否定，根据“否定肯定式”，得到D是鱼，这是对③的“否后”，根据“否后必否前”可得B是鸟，这是对①的“否前”，否前可以得到可能性结论，即A可能不是哺乳动物，根据题干要求所有动物都只能归属一种门类，则C可能是哺乳动物，故该项可以得到“动物C是哺乳动物”。

由微分定义知f(x，y)在(0，0)处可微，故应选(B).【评注】1.本题主要考查二元函数连续、偏导数、可微的定义.
2.可采用举反例排除错误答案.取f(x，y)=｜x｜+｜y｜排除(A)，f(x，y)=x+y排除(C)、(D).

充分条件假言命题只有在前件真且后件假时为假。A项前件后件都为假，为真命题；B项前件后件都为真，为真命题。充分必要条件假言命题只有在前件后件真假不同时为假。C项前件后件都为假，为真命题。相容选言命题只有全部命题为假时才为假。D项两个肢命题均为假，则该命题一定为假。故本题选D。

题干为后件是联言命题的充分条件假言命题，否定前件不能否定后件，A、B两项错误。肯定后件不能肯定前件，C项错误。否定后件可以否定前件，由丁不炒股可推出甲不炒股，则甲、乙中至少一人没有炒股为真，D项正确。故答案选D。

第一步，看提问方式，本题属于选非题。
第二步，找关键信息。
①P因果蕴涵q：如果p是真的，那么因为p是真的，q也是真的。
②p反事实蕴涵q：如果p与事实相反，p是真的，那么q也是真的。
③p严格蕴涵q：必然地，如果p是真的，那么q也是真的。
第三步，辨析选项。
A项：如果1+1=2，p为真，那么0=1，q为假，已知定义没有q为假的关键词，不符合定义；
B项：如果ab且bc，为p，那么ac，为q，符合“如果p是真的，那么q也是真的”，为p严格蕴涵q；
C项：如果甲从台阶上摔断了腿，为p，那么当时他会感到疼痛，为q，符合“如果p是真的，那么因为p是真的，q也是真的”，为P因果蕴涵q；
D项：如果大气层本就不存在，为p，那么地球上将不会有生命，为q，符合“如果p与事实相反，p是真的，那么q也是真的”，为p反事实蕴涵q。