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

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

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

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

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

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