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

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

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

以上陳述如果為真，以下哪項(xiàng)不可能為假?

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

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

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

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

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

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