离散数学推理论证例题求解释？ 离散数学推理题？
\u6c42\u89e3\u91ca\u63a8\u7406\u8fd9\u9053\u79bb\u6563\u6570\u5b66\u989800\u6c42\u5927\u795e\u8bc1\u660e\uff1a\u7531\u6761\u4ef6\u4e00\u53ef\u5f97\uff0c\u661f\u671f\u4e00\u53ea\u8003\u82f1\u8bed\u6216\u6570\u5b66\u3002\u7531\u6761\u4ef6\u4e8c\u53ef\u5f97\uff0c\u82f1\u8bed\u8001\u5e08\u5f00\u4f1a\u4e0d\u8003\u82f1\u8bed\u3002\u73b0\u6709\u7684\u6761\u4ef6\u662f\u661f\u671f\u4e00\uff0c\u90a3\u4e48\u53ea\u8003\u82f1\u8bed\u6216\u6570\u5b66\uff1b\u82f1\u8bed\u8001\u5e08\u5f00\u4f1a\uff0c\u90a3\u4e48\u4e0d\u8003\u82f1\u8bed\u3002\u6240\u4ee5\u5c31\u662f\u8003\u6570\u5b66\u3002
\u6211\u4e0d\u77e5\u9053\u81ea\u7136\u63a8\u7406\u7cfb\u7edf\u4e2d\u6709\u4ec0\u4e48\u7b26\u53f7\u3001\u4ec0\u4e48\u89c4\u5219\uff0c\u4f46\u63a8\u7406\u7684\u9053\u7406\u5e94\u8be5\u662f\u57fa\u672c\u4e00\u81f4\u7684\u3002
\u5b9a\u4e49\u8c13\u8bcd\uff1a
A\uff08x\uff09\uff1ax\u662f\u6709\u610f\u4e49\u7684\u547d\u9898\uff1b
B\uff08x\uff09\uff1ax\u662f\u5206\u6790\u7684\u547d\u9898\uff1b
C\uff08x\uff09\uff1ax\u662f\u539f\u5219\u4e0a\u53ef\u4ee5\u8bc1\u4f2a\u7684\u547d\u9898\uff1b
D\uff08x\uff09\uff1ax\u662f\u5b97\u6559\u547d\u9898\uff1b
\u6211\u7528\u7b26\u53f7\u3010\uff20\u3011\u5206\u522b\u8868\u793a\u3010\u5168\u79f0\u91cf\u8bcd\u3011\uff1b\u90a3\u4e48\uff1a
\u524d\u63d0\uff1a
\uff081\uff09\uff1a\uff20x\uff08A\uff08x\uff09\u2227\uffe2B\uff08x\uff09\u2192C\uff08x\uff09\uff09\uff1b
\uff082\uff09\uff1a\uff20x\uff08D\uff08x\uff09\u2192\uff08\uffe2B\uff08x\uff09\u2227\uffe2C\uff08x\uff09\uff09\uff1b
\u7ed3\u8bba\uff1a
\uff080\uff09\uff1a\uff20x\uff08D\uff08x\uff09\u2192\uffe2A\uff08x\uff09\uff09\uff1b
\u5176\u5b9e\uff0c\u7531\u4e8e\u672c\u9898\u53ea\u6d89\u53ca\u5168\u79f0\u91cf\u8bcd\uff0c\u800c\u4e14\u53ea\u6709\u4e00\u4e2a\u53d8\u5143\uff0c\u6240\u4ee5\uff0c\u5b8c\u5168\u53ef\u4ee5\u7528\u547d\u9898\u903b\u8f91\u7684\u65b9\u6cd5\u89e3\u51b3\uff1a
\uff081\uff09\uff1aA\u2227\uffe2B\u2192C\uff1b
\uff082\uff09\uff1aD\u2192\uffe2B\u2227\uffe2C\uff1b
\u8bc1\u660e\uff1a
\u3000\u6839\u636e\uff081\uff09
\u3000\uff1d\uff1e\u3010\uffe2\uff08A\u2227\uffe2B\uff09\u2228C\u3011
\u3000\uff1d\uff1e\u3010\uff08\uffe2A\u2228B\uff09\u2228C\u3011
\u3000\uff1d\uff1e\u3010\uff08B\u2228C\uff09\u2228\uffe2A\u3011
\u3000\uff1d\uff1e\u3010\uffe2\uff08B\u2228C\uff09\u2192\uffe2A\u3011
\u3000\uff1d\uff1e\u3010\uffe2B\u2227\uffe2C\u2192\uffe2A\u3011
\u3000\u518d\u5229\u7528\uff082\uff09
\u3000\uff1d\uff1e\u3010D\u2192\uffe2A\u3011
\u8bc1\u6bd5\uff1b
\u4f60\u53ea\u9700\u628a\u4e0a\u9762\u7684\u7b26\u53f7\u6539\u6210\u76f8\u5e94\u7684\u8c13\u8bcd\uff0c\u518d\u5728\u6700\u524d\u9762\u52a0\u4e0a\u91cf\u8bcd\u5c31\u53ef\u4ee5\u4e86\u3002
具体解释就是这样的：
证法： （1）PVQ P
这是已知条件，不多说明
（2）┐P→Q T（1）E
根据第(1)步得到的，因为PVQ <=> ┐P→Q 是定理
（3）Q→S P
这是已知条件，不多说明
（4）┐P→S T（2）（3）I
根据第（2）和（3）步，┐P→Q并且┐Q→S传递得到┐P→S
（5）┐S→P T（4）E
这是根据第（4）步的结论由定理推证的。
如果简单证明就是
┐P→S <=> PVS <=> SVP <=> ┐S→P
（6）P→R P
这是已知条件，不多说明
（7）┐S→R T（5）（6）I
根据(5)(6)的结论得到的传递
（8）SVR T（7）E
根据(7)再次应用->展开的定理。
1、命题引入
2、对（1）进行了置换（使用了蕴涵等值式）
3、命题引入
4、对（2）、（3）使用了假言三段论
5、对（4）进行了置换（假言易位等值式）
6、命题引入
7、对（5）、（6）使用了假言三段论
8、对7进行了置换（使用了蕴涵等值式）
－－－－－
不同教材对推理规则的命名稍有不同，具体说法请参见课本
绛旓細5绂绘暎鏁板璇佹槑棰樿В棰樻柟娉 绂绘暎鏁板鏄幇浠ｆ暟瀛︾殑涓涓噸瑕佸垎鏀,鏄绠楁満绉戝涓熀纭鐞嗚鐨勬牳蹇冭绋嬨傜鏁ｆ暟瀛︿互鐮旂┒绂绘暎閲忕殑缁撴瀯鍜岀浉浜掗棿鐨勫叧绯讳负涓昏鐩爣,鍏剁爺绌跺璞′竴鑸湴鏄湁闄愪釜鎴栧彲鏁颁釜鍏冪礌,鍥犳浠栧厖鍒嗘弿杩颁簡璁＄畻鏈虹瀛︾鏁ｆх殑鐗圭偣銆 1銆佸畾涔夊拰瀹氱悊澶氥 绂绘暎鏁板鏄缓绔嬪湪澶ч噺瀹氫箟涓婇潰鐨勯昏緫鎺ㄧ悊瀛︾銆傚洜鑰屽姒傚康鐨勭悊...
绛旓細銆绂绘暎鏁板銆嬭ˉ鍏呯粌涔犻锛2011.05.30锛1銆佸皢涓嬪垪鍛介绗﹀彿鍖栥傦紙1锛夊皬鏉庤竟璇讳功杈瑰惉闊充箰銆傦紙2锛夌幇鍦ㄦ病涓嬮洦锛屽彲涔熸病鍑哄お闃筹紝鏄槾澶┿2銆佽瘉鏄庣瓑浠峰叧绯伙細 銆3銆佹杩姹傝В涓诲悎鍙栬寖寮忕殑涓昏鏂规硶鍜屾楠わ紝骞舵眰鍏紡 鐨勪富鍚堝彇鑼冨紡銆4銆佸皢涓嬪垪璁鸿瘉鐢ㄥ懡棰樼鍙疯〃绀猴紝鐒跺悗姹傝瘉閫昏緫鎺ㄨ鏄惁鎴愮珛銆傚鏋滃ぉ鐑垯铦夐福鍙紝...
绛旓細杩欐槸鍒╃敤绛夊紡涓殑(a^-1)^r=e 寰楃煡a^-1鐨勯樁锛屾槸r鐨勫洜瀛愶紝涔熷嵆a閫嗗厓鐨勯樁锛屾槸a鐨勯樁鐨勫洜瀛
绛旓細绗笁棰樼敤鍖呭惈鎺掓枼鍘熺悊锛岀鍥涢鏄叧绯荤殑闂寘闂銆傛暀鏉愪笂鏈渚嬮鐨勶紝缈荤炕涔︼紝渚濇牱鐢昏懌鑺﹀嵆鍙
绛旓細绂绘暎鏁板锛屾眰璇佹槑绛夊娍鐨勫熀鏈柟娉曪細涓や釜闆嗗悎绛夊娍鐨勮瘉鏄庡氨鏄湪涓や釜闆嗗悎涔嬮棿鎵句竴涓弻灏勭殑鍑芥暟锛堜竴涓泦鍚堝仛瀹氫箟鍩燂紝涓涓仛鍊煎煙锛夈傞偅涔堝亣濡傛垜缁欎綘浠讳綍涓涓(0,1)鐨勫厓绱狅紝浣犺兘涓嶈兘閫氳繃鏌愮鍥哄畾鐨勫彉鎹㈣杩欎釜鍏冪礌鍙樹负锛0锛2锛夐噷闈㈢殑鍏冪礌鍛紵鏄笉鏄墍鏈(0,1)鐨勫厓绱犻兘鍙互鐢ㄨ繖涓柟娉曞憿锛熺劧鍚庡弽杩囨潵鎴戠粰浣...
绛旓細绂绘暎鍏崇郴 锛1锛変互鈥滃渾鍦堚濊〃绀哄厓绱狅紱锛2锛夎嫢x鈮锛屽垯y鐢诲湪x鐨勪笂灞傦紱锛3锛夎嫢y瑕嗙洊x锛屽垯杩炵嚎锛涳紙4锛変笉鍙瘮鐨勫厓绱犲彲鐢诲湪鍚屼竴灞傘渚嬮锛氱敾鍑轰笅鍒楀悇鍏崇郴鐨勫搱鏂浘 P={1,2,3,4},<P,鈮>鐨勫搱鏂浘銆侫={2,3,6,12,24,36},<A,鏁撮櫎>鐨勫搱鏂浘銆侫={1,2,3,5,6,10,15,30},<A,鏁撮櫎>鐨...
绛旓細浠ヤ笅鏄绂绘暎鏁板鐤戦毦鍒嗘瀽涓庤В棰樻柟娉曘嬬殑璇︾粏鍐呭姒傝:绗竴绔狅細鍛介閫昏緫 涓昏鍐呭锛氭帰璁ㄥ懡棰樼殑鏋勯犮侀昏緫鑱旀帴璇嶄互鍙鎺ㄧ悊瑙勫垯 鐤戦毦鍒嗘瀽锛氶拡瀵归昏緫鎺ㄧ悊涓殑甯歌闂杩涜娣卞叆鍓栨瀽 鍏稿瀷渚嬮锛氭彁渚涗赴瀵屽疄渚嬩互鍔╃悊瑙ｅ拰搴旂敤 涔犻瑙ｇ瓟锛氳灏借В鏋愬悇绫讳範棰橈紝甯姪宸╁浐鐭ヨ瘑绗簩绔狅細璋撹瘝閫昏緫 娣卞叆鐮旂┒閲忚瘝銆佸嚱鏁扮瓑姒傚康锛...
绛旓細鍦绂绘暎鏁板涓紝骞傞泦鏄泦鍚堣涓殑閲嶈姒傚康锛屽畠鎸囩殑鏄粰瀹氫竴涓泦鍚圓锛岄偅涔圓鐨勬墍鏈夊瓙闆嗙殑闆嗗悎灏辨槸A鐨勫箓闆嗐傛眰骞傞泦鐨勬柟娉曞彲浠ユ牴鎹笉鍚岀殑鎯呭喌閲囧彇涓嶅悓鐨勭瓥鐣ャ備互涓嬫槸涓涓畝鍗曠殑渚嬪瓙锛屽彲浠ュ府鍔╀綘鐞嗚В骞傞泦鐨勬蹇靛拰姹傛硶锛渚嬮锛氭眰闆嗗悎 {1, 2} 鐨勫箓闆嗐傝В锛氬綋闆嗗悎A鍙湁涓涓厓绱犳椂锛孉鐨勫箓闆嗗氨鏄敱A鐨...
绛旓細銆绂绘暎鏁板涔犻棰樿В銆嬫槸涓鏈笓闂ㄩ拡瀵光滅鏁ｆ暟瀛︹濇暀鏉愮殑璇︾粏瑙ｇ瓟涔︾睄锛屽畠娑电洊浜嗛泦鍚堣銆佷唬鏁扮郴缁熴佸浘璁哄拰鏁扮悊閫昏緫杩欏洓涓牳蹇冧富棰橈紝鍏卞垎涓哄崄绔犺繘琛屾繁鍏ュ墫鏋愩傛瘡涓绔犻兘鎸夌収鐭ヨ瘑鐐圭殑閫掕繘锛屽垎涓轰笁涓眰娆★細鍩烘湰鐭ヨ瘑鐐硅瑙ｃ侀棶棰樿В绛斾笌鐞嗚璁鸿瘉锛屼互鍙婅В棰樻濊矾鍜屾柟娉曠殑灞曠ず銆傚叾涓簿蹇冩寫閫変簡359涓叿鏈変唬琛ㄦх殑渚嬮...
绛旓細A涓鏁存暟闄や互5浣欐暟涓0鐨勬槸锛5,10,15,20 A涓鏁存暟闄や互5浣欐暟涓1鐨勬槸锛1,6,11,16 A涓鏁存暟闄や互5浣欐暟涓2鐨勬槸锛2,7,12,17 A涓鏁存暟闄や互5浣欐暟涓3鐨勬槸锛3,8,13,18 A涓鏁存暟闄や互5浣欐暟涓4鐨勬槸锛4,9,14,19 鎵浠,绛変环绫绘湁5涓細锝5,10,15,20锝,锝1,6,11,16锝,锝2,7,12,17...
