迄今为止，某乡镇辖区内的所有企业都不是高新企业。在该县范围内，由县招商局负责联系…
迄今为止，某乡镇辖区内的所有企业都不是高新企业。在该县范围内，由县招商局负责联系从而与外资公司 实现合作的都是高新企业。去年，由县招商局负责联系，该乡镇辖区内的一个企业与托雷斯公司成功地进行了合 作。 据此，可以推断：
A. 托雷斯公司是高新企业
B. 托雷斯公司不是高新企业
C. 托雷斯公司是外资公司
D. 托雷斯公司不是外资公司
答案与解析
正确答案：D
花生十三讲解
先抓逻辑链：乡镇企业→非高新；县招商局联系且与外资合作→高新。去年乡镇企业与托雷斯合作，说明该企业非高新，故它不可能满足“招商局联系且与外资合作”的后件，即要么非招商局联系，要么非外资。题干已说招商局联系，所以托雷斯非外资。排除A、B，因托雷斯是否为高新无从判断；排除C，与推理相反。确认答案为D。速记：高新是充分条件，否定后件则否前，外资必被排除。
原解析
解析 第一步，确定题型。 根据题干关键词“所有……都……”，确定为翻译推理。 第二步，翻译题干。 ①乡镇企业→¬高新企业 ②招商局且与外资合作→高新企业 ③某乡镇企业：由招商局联系且与托雷斯合作 第三步，进行推理。 由①逆否可得：④高新企业→¬乡镇企业； ②与④递推可得：⑤招商局且与外资合作→¬乡镇企业； ③中的“乡镇企业”对⑤“否后”，根据“否后必否前”得：¬招商局或¬外资合作； 结合③中“由招商局联系招商局”，利用否定肯定式，可得“没有与外资企业合作”，即说明合作的托雷斯公司 不是外资企业。 因此，选择D选项。 拓展 （1）摩根定律：¬（A或B）=¬A且¬B；¬（A且B）=¬A或¬B； （2）假言命题推理规则：肯前必肯后，否后必否前，否前未必否后，肯后未必肯前； （3）递推规则：A→B，B→C，则A→C；（4）否定肯定式：A或B成立，则¬A→B，¬B→A。