魯濱遜定理是翻譯推理模塊中較難掌握的一個知識點(diǎn)，在日常的國聯(lián)考中考到的概率不大，但是考到就是難題，而且魯賓遜定理又和真假推理中的一對矛盾關(guān)系有關(guān)，所以考生還是需要了解它。

魯濱遜定理是在選言命題和推出關(guān)系之間畫了等價于的符號，所以考生在理解方面會有一定的困難。對于魯濱遜定理可以從兩個角度來理解它。推導(dǎo)一：從否定肯定式推導(dǎo)得來，對于選言命題關(guān)系可知“否定其中一項，肯定另外一項”，即A∨B=¬A→B，根據(jù)否定肯定式的公式把其中的A替換為¬A，得到¬A∨B=¬(¬A)→B，即A→B=¬A∨B，此公式就是魯濱遜定理。推導(dǎo)二，從矛盾關(guān)系推導(dǎo)得來，¬(A→B)=A∧¬B，在等號兩邊加上一個負(fù)號，等式依然成立，即¬[¬(A→B)]=¬(A∧¬B),去掉括號可得A→B=¬A∨B，此依然是魯賓遜定理的公式。通過上述兩種方式已知道魯賓遜定理的推導(dǎo)過程，在實戰(zhàn)中如何使用魯濱遜定理更為關(guān)鍵。

【例】2009年法國航空公司一架客機(jī)失事。如果法國及其他多國沒有采取積極的搜救行動，就不會盡早發(fā)現(xiàn)失事飛機(jī)的殘骸。如果失事飛機(jī)設(shè)計公司提供技術(shù)支持并且派專家參與失事原因分析，那么關(guān)于失事事件的調(diào)查報告就會更客觀。

以上陳述如果為真，以下哪項不可能為假?

A.或者法國及其他多國采取積極的搜救行動，或者不會盡早發(fā)現(xiàn)失事飛機(jī)的殘骸

B.除非失事飛機(jī)設(shè)計公司提供技術(shù)支持，否則就不會盡早發(fā)現(xiàn)失事飛機(jī)的殘骸

C.如果法國及其他多國采取積極的搜救行動，就會盡早發(fā)現(xiàn)失事飛機(jī)的殘骸

D.如果失事飛機(jī)設(shè)計公司提供技術(shù)支持，那么關(guān)于失事事件的調(diào)查報告就會更客觀

魯賓遜定理也可以用于判斷推出關(guān)系成立與否，對于推出關(guān)系是否成立，我們并不好判別，但是我們可以利用魯賓遜定理把推出關(guān)系轉(zhuǎn)化為選言命題，關(guān)于選言命題成立與否，判斷的條件非常容易，以此就能判斷出轉(zhuǎn)化前的推出關(guān)系是否成立了。掌握好魯賓遜定理，對于一些特殊題型，確實會有出乎意料的解題效果。

相關(guān)內(nèi)容推薦：