魯濱遜定律，什么是魯濱孫定理

魯濱孫定律：（提問者原創(chuàng)、答題者原創(chuàng)） 只有堅韌不拔、不畏艱險、持之以恒的人才有希望到達人生的光輝頂點！ （解讀：理工學科本無魯濱孫定律，這個命題指導思想是考察你的做人和處事準則。你可以閱讀魯濱孫漂流記原著后找到答案→所謂的‘魯濱孫定律’）

魯濱遜定律實質描述的是假言命題和聯(lián)言命題、選言命題之間的關系。滿足下面兩條定律：（1）A→B矛盾命題A且—B；（2）A→B等價于—A或B。例如：媽媽說：如果你考上了公務員，我就帶你去三亞玩。根據充分條件假言命題的翻譯規(guī)則，此句可以翻譯為：考上公務員→去三亞玩。什么情況下媽媽騙了你，也就是說了假話？考上了公務員，但是沒有帶你去三亞玩。“但是”表轉折，可以用且關系來翻譯，根據聯(lián)言命題的翻譯規(guī)則，可以翻譯為：考上公務員且—去三亞玩，那么“考上公務員→去三亞玩”和“考上公務員且—去三亞玩”構成一組矛盾關系，將“考上公務員”和“去三亞玩”分別用字母A和B表示，就得到了上面的定律（1）。根據前面已經知道A→B的矛盾命題是A且—B，可以寫成A→B=—(A且—B)，又根據摩根定律可以知道—(A且—B)=—A或B，所以得到定律（2）A→B=—A或B。擴展資料命題邏輯中的歸結原理歸結演繹推理是基于一種稱為歸結原理（亦稱消解原理principleofresolution）的推理規(guī)則的推理方法。歸結原理是由魯濱遜（J.A.Robinson）于1965年首先提出。它是謂詞邏輯中一個相當有效的機械化推理方法。歸結原理的出現(xiàn)，被認為是自動推理，特別是定理機器證明領域的重大突破。定義：設L為一個文字，則稱L與L為互補文字。定義：設C1,C2是命題邏輯中的兩個子句，C1中有文字L1，C2中有文字L2，且L1與L2互補，從C1、C2中分別刪除L1、L2，再將剩余部分析取起來，記構成的新子句為C12，則稱C12為C1、C2的歸結式（或消解式），C1、C2稱為其歸結式那妝咀泳?，L1、L2稱為消解基。定理：歸結式是其親本子句的邏輯結果。推論：設C1、C2是子句集S的兩個子句，C12是它們的歸結式，則（1）若用C12代替C1、C2，得到新子句集S1，則由S1的不可滿足可推出原子句集S的不可滿足。即S1不可滿足?S不可滿足。（2）若把C12加入到S中，得到新子句集S2，則S2與原S的同不可滿足。即S2不可滿足?S不可滿足。

A推出B等價于非A或B天下雨推出地濕，與天沒下雨或者地濕是相同的，這里涉及到一組矛盾關系，A推出B與A且非B為矛盾關系，A且非B與非A或B為矛盾關系，所以A推出B等價于非A或B。

魯濱遜定理可以解決國考省考里翻譯推理類、真假推理類和部分削弱論證類題型。A推出B等價于非A或B天下雨推出地濕，與天沒下雨或者地濕是相同的。這里涉及到一組矛盾轉換關系，A推出B與A且非B為矛盾關系，A且非B與非A或B為矛盾關系，所以A推出B等價于非A或B。

我。。知。。道 加。。我。。私。。聊