结构推理 已知：(1)若P不真包含于M，则S与P全异； (2)若S不与M交叉，则S与P交叉 (3)S不与P全异，也不与P交叉 试证明：S真包含P
【正确答案】证明：由(1)与(3)可推出，“P真包含于M”(4) 由(2)与(3)可推出，“S与M交叉”(5) 由(4)与(5)可推出SOP真，则S与P的关系有三种可能： ①S与P全异、②S与P交叉、⑧S真包含P； 已知“S不与P全异，也不与P交叉，故S真包含P。
【答案解析】