前提假设-必要前提（否定代入法）

问法模型：问法’如果以上观点正确，必须以下列哪项为前提’→必要前提题，用否定代入法检验：否定该选项后论证崩塌者即为前提

推理链

第1步：提取题干论证——牛奶盒’设计成方形’是因为’更节约储存牛奶所需的冷藏空间、一个冷藏柜中可以摆放更多牛奶’；可乐瓶’设计成圆形’是因为’更容易随手拿取和携带’。
第2步：识别论证结构：从’形状具备某种实用功能’推出’形状是按该功能目的而设计的’，中间缺失’设计依据/设计目的’层面的前提，需搭桥补充。
第3步：否定代入检验C——若产品包装设计并非以实用为主要目的，则’为省空间而做方形、为好拿取而做圆形’的动机解释全部落空，题干观点崩塌，故C是必要前提。
第4步：排除A——‘储存牛奶的冷藏空间比储存可乐的空间小’只牵涉牛奶一侧，且比较储存空间大小与’为何设计成该形状’无关，无法支撑可乐瓶结论。
第5步：排除B——‘可乐不需要冷藏而牛奶需要’只谈是否需要冷藏，与包装形状设计的动机无逻辑关联，不构成前提。
第6步：排除D——‘人们无法接受圆形牛奶盒和方形可乐瓶’不能证明现有设计理由成立，官方解析指出人们还可以设计圆柱形牛奶盒或圆锥形可乐瓶，D既不必要也无法锁定结论。
第7步：对照结论：只有C补上了’设计以实用为目的’这一隐含前提，使两侧举例论证同时成立，当选。

最快解法：⚡ 否定代入法：把C否定为’产品包装设计并不以实用为主要目的’，题干’省空间/好拿取所以设计成方形/圆形’的解释立即失效，论证崩塌，故C为必要前提，秒选C。

🧩 当题干出现’某设计/做法是因为某实用功能……必须以下列哪项为前提’时，先找出从’功能解释’到’设计结论’之间缺失的搭桥前提，再用否定代入法：否定该选项后论证不成立者，即为答案。

同类特征：包装形状的设计动机（方形省空间/圆形好拿取）、问法’必须以下列哪项为前提’、双侧举例型功能解释论证（牛奶+可乐）、前提假设题、隐含’设计以实用为目的’的搭桥、需排除只有单侧支撑的选项