翻译推理-假言命题逆否等价（含确定信息代入）
考点：逻辑判断 / 翻译推理-假言命题逆否等价（含确定信息代入）
问法模型：题干为’多主体—多属性一一对应’并混有’如果…则…’假言条件，问’据此可以推出’→ 采用翻译推理模型：先提取确定信息代入假言前件，再用逆否等价传递结论，最后按一一对应排除定案
推理链
- 第1步：条件(2)直接给出确定信息：东山社区既不办书展也不办画展
- 第2步：条件(3)‘东山不办画展→南浦不办书展’的前件已被(2)满足，肯前推出：南浦社区不办书展
- 第3步：条件(4)‘九华不办文博展→南浦办书展’，逆否等价为’南浦不办书展→九华办文博展’，代入第2步结论推出：九华社区办文博展
- 第4步：由’每个社区只能举办一种活动’，九华已确定办文博展，故九华不办影展也不办画展，C项成立
- 第5步：继续用一一对应排除：书展排除东山(2)、南浦(第2步)、九华(办文博展)，故桃源办书展；画展排除桃源(1)、东山(2)、九华(办文博展)，故南浦办画展；影展归东山，全局方案唯一：桃源-书展、东山-影展、南浦-画展、九华-文博展
- 第6步：逐项对照：A错（文博展确定为九华办）；B错（南浦恰办画展）；C正确；D错（书展确定为桃源办）
最快解法：⚡ 确定信息代入法+逆否口诀：由(2)‘东山不办画展’直接代入(3)得’南浦不办书展’，再对(4)用’否后推否前’得’九华办文博展’，据’一社区一活动’秒选C
易错点
- ⚠ 逆否方向搞反：误由(4)肯后推’南浦办书展→九华不办文博展’，或忘记对(4)做逆否等价
- ⚠ 漏用确定信息：没看出条件(2)恰好给出(3)的前件，以为(3)(4)是无法启动的空条件
- ⚠ 过早停步：推出’九华办文博展’后即作答，不继续用排除法核验B、D，易在D的’要么…要么…’上误判
母题抽象
🧩 当题干出现’若干主体与若干属性一一对应+若干排除条件+若干假言条件’时，先找无条件的确定排除句代入假言前件，再用逆否等价传递结论，最后用一一对应关系排除定案
同类特征：四个社区四种活动一一对应、每个社区只能举办一种活动、既不…也不…（确定排除条件）、如果…则…（假言条件）、据此可以推出、需要逆否等价
相关题
题干
市民文化周期间，文化部门要在桃源、东山、南浦、九华四个社区分别举办书展、画展、影展和文博展四种不同的文化惠民活动，由于时间场地限制，每个社区只能举办一种活动。已知： （1）桃源社区既不办影展，也不办画展； （2）东山社区既不办书展，也不办画展； （3）如果东山社区不办画展，则南浦社区不办书展； （4）如果九华社区不办文博展，则南浦社区举办书展。 据此可以推出以下哪项？
选项
- A. 东山社区有可能举办文博展
- B. 画展不可能在南浦社区举办
- C. 九华社区既没办影展，也没办画展 ✅
- D. 书展要么是南浦社区办，要么是九华社区办
官方解析
第一步：翻译题干。
要求为每个社区只能举办一种活动；
桃源社区
影展 且画展
东山社区书展 且画展
东山社区画展 
南浦社区书展
九华社区文博展 南浦社区书展
第二步：再推理。
结合确定信息和最大信息，和可知，东山社区不办画展，可知南浦社区不办书展。结合条件，逆否等价规则，可得九华社区办文博展；又根据要求每个社区只能举办一种活动。所以可得：九华社区既没办影展，也没办画展。
故正确答案为C。
给定材料
（无）