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

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

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

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

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

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

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

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

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

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