看人大《逻辑学》教材，钻牛角尖了，有段话死活弄不明白，请哪位高人指点下。
\u60f3\u95ee\u95ee \u4eba\u5927 \u7684\u300a\u903b\u8f91\u5b66\u5bfc\u8bba\u300b\u548c\u300a\u903b\u8f91\u5b66\u300b \u5185\u5bb9\u4e0a\u662f\u5426\u6709\u533a\u522b\u6709\u7684 \u903b\u8f91\u5b66\u662f\u7814\u7a76\u7eaf\u7cb9\u7406\u5ff5\u7684\u79d1\u5b66\uff0c\u6240\u8c13\u7eaf\u7cb9\u7406\u5ff5\u5c31\u662f\u601d\u7ef4\u7684\u6700\u62bd\u8c61\u7684\u8981\u7d20\u6240\u5f62\u6210\u7684\u7406\u5ff5\u3002\u7531\u4e9a\u91cc\u58eb\u591a\u5fb7\u521b\u7acb\u3002
\u3014\u8bf4\u660e\u3015\u5728\u8fd9\u90e8\u5206\u521d\u6b65\u8bba\u903b\u8f91\u5b66\u7684\u6982\u5ff5\u91cc\uff0c\u6240\u5305\u542b\u5bf9\u4e8e\u903b\u8f91\u5b66\u4ee5\u53ca\u5176\u4ed6\u6982\u5ff5\u7684\u89c4\u5b9a\uff0c\u4e5f\u540c\u6837\u9002\u7528\u4e8e\u54f2\u5b66\u4e0a\u8bb8\u591a\u57fa\u672c\u6982\u5ff5\u3002\u8fd9\u4e9b\u89c4\u5b9a\u90fd\u662f\u7531\u4e8e\u5e76\u5bf9\u4e8e\u5168\u4f53\u6709\u4e86\u7efc\u89c2\u800c\u636e\u4ee5\u521b\u7acb\u51fa\u6765\u7684\u3002
\u6211\u4eec\u53ef\u4ee5\u8bf4\u903b\u8f91\u5b66\u662f\u7814\u7a76\u601d\u7ef4\u3001\u601d\u7ef4\u7684\u89c4\u5b9a\u548c\u89c4\u5f8b\u7684\u79d1\u5b66\u3002\u4f46\u662f\u53ea\u6709\u601d\u7ef4\u672c\u8eab\u624d\u6784\u6210\u4f7f\u5f97\u7406\u5ff5\u6210\u4e3a\u903b\u8f91\u7684\u7406\u5ff5\u7684\u666e\u904d\u89c4\u5b9a\u6027\u6216\u8981\u7d20\u3002\u7406\u5ff5\u5e76\u4e0d\u662f\u5f62\u5f0f\u7684\u601d\u7ef4\uff0c\u800c\u662f\u601d\u7ef4\u7684\u7279\u6709\u89c4\u5b9a\u548c\u89c4\u5f8b\u81ea\u8eab\u53d1\u5c55\u800c\u6210\u7684\u5168\u4f53\uff0c\u8fd9\u4e9b\u89c4\u5b9a\u548c\u89c4\u5f8b\uff0c\u4e43\u662f\u601d\u7ef4\u81ea\u8eab\u7ed9\u4e88\u7684\uff0c\u51b3\u4e0d\u662f\u5df2\u7ecf\u5b58\u5728\u4e8e\u5916\u9762\u7684\u73b0\u6210\u7684\u4e8b\u7269\u3002
\u5728\u67d0\u79cd\u610f\u4e49\u4e0b\uff0c\u903b\u8f91\u5b66\u53ef\u4ee5\u8bf4\u662f\u6700\u96be\u7684\u79d1\u5b66\uff0c\u56e0\u4e3a\u5b83\u6240\u5904\u7406\u7684\u9898\u6750\uff0c\u4e0d\u662f\u76f4\u89c2\uff0c\u4e5f\u4e0d\u8c61\u51e0\u4f55\u5b66\u7684\u9898\u6750\uff0c\u662f\u62bd\u8c61\u7684\u611f\u89c9\u8868\u8c61\uff0c\u800c\u662f\u7eaf\u7cb9\u62bd\u8c61\u7684\u4e1c\u897f\uff0c\u800c\u4e14\u9700\u8981\u4e00\u79cd\u7279\u6b8a\u7684\u80fd\u529b\u548c\u6280\u5de7\uff0c\u624d\u80fd\u591f\u56de\u6eaf\u5230\u7eaf\u7cb9\u601d\u60f3\uff0c\u7d27\u7d27\u6293\u4f4f\u7eaf\u7cb9\u601d\u60f3\uff0c\u5e76\u6d3b\u52a8\u4e8e\u7eaf\u7cb9\u601d\u60f3\u4e4b\u4e2d\u3002\u4f46\u5728\u53e6\u4e00\u79cd\u610f\u4e49\u4e0b\uff0c\u4e5f\u53ef\u4ee5\u628a\u903b\u8f91\u5b66\u770b\u4f5c\u6700\u6613\u7684\u79d1\u5b66\u3002\u56e0\u4e3a\u5b83\u7684\u5185\u5bb9\u4e0d\u662f\u522b\u7684\uff0c\u5373\u662f\u6211\u4eec\u81ea\u5df1\u7684\u601d\u7ef4\uff0c\u548c\u601d\u7ef4\u7684\u719f\u4e60\u7684\u89c4\u5b9a\uff0c\u800c\u8fd9\u4e9b\u89c4\u5b9a\u540c\u65f6\u53c8\u662f\u6700\u7b80\u5355\u3001\u6700\u521d\u6b65\u7684\uff0c\u800c\u4e14\u4e5f\u662f\u4eba\u4eba\u6700\u719f\u77e5\u7684\uff0c\u4f8b\u5982\uff1a\u6709\u4e0e\u65e0\uff0c\u8d28\u4e0e\u91cf\uff0c\u81ea\u5728\u5b58\u5728\u4e0e\u81ea\u4e3a\u5b58\u5728\uff0c\u4e00\u4e0e\u591a\u7b49\u7b49\u3002\u4f46\u662f\uff0c\u8fd9\u79cd\u719f\u77e5\u53cd\u800c\u52a0\u91cd\u4e86\u903b\u8f91\u7814\u7a76\u7684\u56f0\u96be\u3002\u56e0\u4e3a\uff0c\u4e00\u65b9\u9762\u6211\u4eec\u603b\u4ee5\u4e3a\u4e0d\u503c\u5f97\u8d39\u529b\u6c14\u53bb\u7814\u7a76\u8fd9\u6837\u719f\u4e60\u7684\u4e1c\u897f\u3002\u53e6\u4e00\u65b9\u9762\uff0c\u5bf9\u4e8e\u8fd9\u4e9b\u89c2\u5ff5\uff0c\u903b\u8f91\u5b66\u53bb\u7814\u7a76\u3001\u53bb\u7406\u89e3\u6240\u91c7\u53d6\u7684\u65b9\u5f0f\uff0c\u5374\u53c8\u4e0e\u666e\u901a\u4eba\u6240\u4e1a\u5df2\u719f\u4e60\u7684\u65b9\u5f0f\u4e0d\u76f8\u540c\uff0c\u751a\u81f3\u6b63\u76f8\u53cd
http://www.phil.pku.edu.cn/teach/outline/2003%C2%DF%BC%AD%D1%A7%B5%BC%C2%DB.doc
\u6211\u5df2\u7ecf\u53d1\u4e86 \u8bf7\u6ce8\u610f\u67e5\u6536\uff01
1、因为“A∧B是前提B在一个正确推导中推出的结论。”所以至少在这个前提底下B怎样都是真的，而A就不确定了。2、这时候我们可以把“A∧B”从结论看成是，限制A、B的前提。如果这个前提是假的，那就证明A与B中一个有一个是假的，但是B因为是在“B在一个正确推导中推出的结论”所以B在这里是真的，以此为据，A如果不是普遍有效的，那么等于说B真而A∧B假，而这是不可能的，从而推导出A是普遍有效的。
当然，我们也可以当A∧B是错误结论，是错误的推导过程。
这里的内容，涉及到一此逻辑推理知识。
举例来说，“蕴含 →”，A→B 其等价式是 ﹁A∨B
1、设逻辑定理A是依据空前提集在一个正确推导中得到的，
【答】：这里的前提是空前提集，推理是正确推导，结论是逻辑定理A。
∅→A ，能看懂吧
2、并假设A不是普遍有效的，即存在一个解释使A为假。
【答】：应该是反证法
3、这时考虑依据规则P引进一个可真的前提B，即存在一个解释使B为真。这时依据规则T可在推导中得到A∧B。
【答】：似乎与上下文有关。没有这部分内容，影响【判断】
4、A∧B是前提B在一个正确推导中推出的结论。因为A不是普遍有效的，B是可真的，因此，存在一个解释，使B真而A假，亦即B真而A∧B假，也就是使前提真而结论假。
【答】：关键部分，已经过去了
5、而在一个正确的推导中是不会前提真而结论假的。因此，矛盾！所以，A必定是普遍有效的。
【答】：反证法的步骤。
问题1，为什么B要可真？可真不等于永真吧。A是可假的，B是可真的；最极端的情况下，只存在一个解释使A假，只一个使B真。那不能保证正好“存在一个解释，使B真而A假”吧？
【答】：∃B ，可真的条件比永真弱。如果证明过程中不是必要的，不要用条件过强的证明
那不能保证正好“存在一个解释，使B真而A假”吧？
那么就条件不成立
问题2，既然A和B都不是永真的，那么A∧B也不是吧。书上说，“A∧B是前提B在一个正确推导中推出的结论。”A∧B难道不是依赖A、B两个前提吗？为什么说“B真而A∧B假，也就是使前提真而结论假。”B真A假，它们的合取不就自然是假的了吗？所谓“矛盾”在哪里？
【答】：还是看一下反证法的步骤
注意这句话“逻辑定理A是依据空前提集在一个正确推导中得到的”。
证明思路：
有效论证∅→A；A，B→A∧B其实就是：∅，B→A∧B，也即：B→A∧B。（因为该论证整体看只有两个前提∅和B，相当于只有一个前提B，因此整体上有B→A∧B且它是有效的）
由于B→A∧B是有效的，那么在任何解释下不可能会出现B为真，而A∧B为假。也即，如果存在一个解释使B为真，而A∧B为假，那么矛盾。
这时用反证法，假设存在一个解释a使A为假（也即A不是普遍有效的），那么A∧B在这个解释中必为假。（合理假设。注意此时我总可以引进一个B，使B在解释a中为真）
综上得证，存在一个解释，使有效论证B→A∧B中的前提（B）为真，而结论（A∧B）为假，这和“在任何解释下不可能会出现B为真，而A∧B为假”矛盾。
最后，由反证法得，假设不成立，即不存在一个解释a使A为假，也即A必为普遍有效式。
望采纳。。
绛旓細1銆佸洜涓衡淎鈭鏄墠鎻怋鍦ㄤ竴涓纭帹瀵间腑鎺ㄥ嚭鐨勭粨璁恒傗濇墍浠ヨ嚦灏戝湪杩欎釜鍓嶆彁搴曚笅B鎬庢牱閮芥槸鐪熺殑锛岃孉灏变笉纭畾浜嗐2銆佽繖鏃跺欐垜浠彲浠ユ妸鈥淎鈭鈥濅粠缁撹鐪嬫垚鏄紝闄愬埗A銆丅鐨勫墠鎻愩傚鏋滆繖涓墠鎻愭槸鍋囩殑锛岄偅灏辫瘉鏄嶢涓嶣涓竴涓湁涓涓槸鍋囩殑锛屼絾鏄疊鍥犱负鏄湪鈥淏鍦ㄤ竴涓纭帹瀵间腑鎺ㄥ嚭鐨勭粨璁衡濇墍浠鍦ㄨ繖閲屾槸...
绛旓細閫昏緫鑳藉姏宸氨璁粌閫昏緫鎬濈淮锛屽彲浠ヤ粠鍩瑰吇鍏磋叮寮濮嬶紝鍏堣鎺ㄧ悊灏忚锛屽啀璇讳竴浜閫昏緫瀛鐨勪功銆傚啀鎶婄悊璁哄拰瀹為檯鐩哥粨鍚堬紝閿荤偧閫昏緫鑳藉姏銆傚彧瑕佹濇兂涓嶆粦鍧★紝鍔炴硶鎬绘瘮鍥伴毦澶氾紝瑙佹嫑鎷嗘嫑鍛椼傚緢澶氭椂鍊欎笉鏄病鏈夊ぉ鍒嗭紝鏄噿銆傚姞娌广
绛旓細澶氱湅鐪嬭叮鍛閫昏緫瀛涔嬬被鐨勪功锛屽鍋氫竴浜涗功閲岀殑涔犻锛屽弽澶嶇啛涔犻昏緫瀛︾殑鍩烘湰鍘熺悊銆傚仛浠讳綍浜嬩箣鍓嶅璁″垝锛岃鑷繁鎬濊冩洿涓ヨ皑銆傛渶濂芥瘡澶╂櫄涓婄潯鍓嶏紝璁″垝鏄庡ぉ鍚庡ぉ鍑犲ぉ鐨勪簨鎯呫傚鎯虫兂鑷繁鏈閲嶈鐨勪簨鏄仛浠涔堬紵 杩欏彧鏄竴涓柟闈紝寰堝鍦版柟閮藉彲浠ラ敾鐐艰嚜宸辩殑锛屽彧瑕佷綘澶熺粏蹇冦傞瓟楝煎湪缁嗚妭銆
绛旓細鍥炵瓟锛歁BA鑱旇冮昏緫,澶х翰涓湁浠嬬粛:閫昏緫鎺ㄧ悊璇曢鐨勫唴瀹规秹鍙婅嚜鐒跺拰绀句細鍚勪釜棰嗗煙,浣嗗苟闈炴祴璇曟湁鍏抽鍩熺殑涓撻棬鐭ヨ瘑,涔熶笉娴嬭瘯閫昏緫瀛涓撲笟鐭ヨ瘑,鑰屾槸娴嬭瘯鑰冪敓瀵瑰悇绉嶄俊鎭殑鐞嗚В銆佸垎鏋愩佺患鍚堛佸垽鏂,骞惰繘琛岀浉搴旂殑鎺ㄧ悊銆佽璇佷笌璇勪环绛夐昏緫鎬濈淮鑳藉姏銆 杩欏氨鎰忓懗鐫閫昏緫鍦ㄥ涔犲鑰冪殑杩囩▼涓皢閫昏緫鐞嗚浣滀负涓涓噸 鐐规潵澶嶄範,涓浗MBA...
绛旓細浣犲彧鏄兂鎻愬嚭涓涓缓璁紝寤鸿澶у鍙互鍘诲皾璇曚竴涓嬶紝鍐嶅仛鍐冲畾锛涗絾瀵规柟鐨勫洖绛旓紝鍗村儚鏄湪閽荤墰瑙掑皷涓鏍凤紝闈炲緱璺熶綘浜夎涓鐣傛垜浠父璇达細涓涓汉鐨勬儏鍟嗛珮涓嶉珮锛岀湅浠栬亰澶╂椂鐨勬牱瀛愬氨鐭ラ亾浜嗐傛湁涓浜涗汉锛屼粬浠洿鎰挎剰鍊惧惉锛屽浜庝粬浠笉浜嗚В鐨勪簨鎯咃紝涓嶅お鎳傜殑璇濋锛屼粬浠細閫夋嫨鍊惧惉锛岃唉铏氬涔狅紱褰撳埆浜鸿亰鍒颁簡浠栨劅鍏磋叮鐨...
绛旓細閭ｄ簨瀹屽叏宸茬粡涓嶆劅鍏磋叮灏辫浜喡穨涓汉璁や负鐖閽荤墰瑙掑皷鐨勪汉閮芥槸浜涙濇兂姣旇緝鏁忔劅銆佸皷閿愮殑浜猴紝鎴戣韩涓婁篃鏈夊緢澶氳繖鏍风殑浜猴紝涓嶅お瀹规槗鎺ュ彈鍒汉鐨勬濇兂锛屾绘槸浠ヨ嚜鎴戜负涓績锛屽浠樿繖鏍风殑浜猴紝涓嶈澶杈冧粬浠鐨勫氨鏄簡锛佹潬绮惧舰鎴愮殑蹇冪悊鍘熷洜锛熶竴娈佃瘔璇告儏鎰熺殑鐓芥儏璇濊甯稿父浼氭帺鐩栧拰妯＄硦浜嬪疄鏈韩锛屽綋鐒朵笌涔嬬浉鍛煎簲鐨勶紝鍒欐槸...
绛旓細MBA鍒嗛樁娈靛鑰冮噸鐐逛笉澶竴鏍凤紝閫夊璺緞骞舵壘鍒颁笌鐩爣闄㈡牎閫夋嫈瑕佹眰涔嬮棿鐨勫樊璺濓紝閫夊鎶ヨ冭矾寰勶紝鎶曞叆鐨勬椂闂村彲浠ュ噺灏戯紝鎴愬姛鐜囧鍔犮傘愩嬨嬪叧浜庢嫨鏍°佸鑰冭祫鏂欍佹彁闈绾垮噯澶囩瓑锛岀偣鍑诲湪绾垮挩璇娿娿戣壇濂界殑宸ヤ綔鍜屼紤鎭範鎯彲浠ュ寮鸿冪敓鐨勮蹇嗗姏锛屼篃鍙互璁╄冪敓淇濊瘉鏈夎冻澶熺殑绮惧姏鍜屼綋鍔涳紝鍦ㄨ壇濂界殑鐘舵佷笅搴斿绱у紶鐨勫涔犮...
绛旓細搴旂敤鎬荤粨闃舵锛氬紑濮嬪簲鐢ㄦ墍瀛︾殑閫昏緫鍩烘湰鐭ヨ瘑瑙ｉ锛岄珮鎵嬪紑濮嬫荤粨鍚勭被鍨嬮鐨勮В棰樿寰嬶紝骞跺紑濮嬪姹傚揩閫熻В棰樼殑璇绐嶏紝杩欐椂鍊欐瘡涓鍒伴敊棰橀兘鏄彁楂樼殑鏈轰細銆傜啛缁冩彁楂橀樁娈碉細寮濮嬫帉鎻″ぇ澶氭暟绫诲瀷棰樼殑瑙ｉ瑙勫緥锛屽苟鍦ㄥ疄璺典腑鎱㈡參棰嗘偀鍒版纭В棰樼殑鎰熻锛屽紑濮嬪舰鎴愯嚜宸卞仛棰樼殑鍙ｈ瘈銆傛煡缂鸿ˉ婕忛樁娈碉細寮濮嬪畬鍠勫悇绫诲瀷闅鹃瑙勫緥鐨勬荤粨锛屽苟...
绛旓細閫昏緫鐨勬弧鍒嗘槸60鍒嗭紝涓汉璁や负楂樺垎鐨勫畾涔夊簲璇ユ槸50鍒嗕互涓娿傛兂瑕佸揩閫瀛﹂昏緫锛濡傛灉浠ュ墠娌℃湁瀛﹁繃閫昏緫锛岄渶瑕佸厛鍚锛岀劧鍚庡湪鎼厤缁冧範棰樺仛銆傛兂瑕佹嬁楂樺垎鏈夊嚑鐐规敞鎰忎簨椤癸細棣栧厛锛屾槸璇█鑳藉姏銆傝鎰熻濂斤紝涓嶈兘閽荤墰瑙掑皷锛骞虫椂瑕佽缁冪敤姝ｅ父鐨勬濈淮鍘荤湅璇█锛岀敤鐜板湪鐨勮瘽璇村氨鏄滃崈涓囧埆鑴戣ˉ鈥濄傜浜屼釜蹇呰鏉′欢灏辨槸瑕佸紕娓呮...
绛旓細2銆佸涔犺繋鑰冪殑鐩爣锛閫昏緫鍥涘崄鍏 瑕佽冧笂浼氳纭曞＋锛屽湪閫昏緫閮ㄥ垎鑰冪敓搴旇鎷垮灏戝垎鍛紵鎴戜滑鐨勭洰鏍囨槸鎷48鍒嗭紝涓鑸潵璇达紝瑕佽冧笂娓呭崕銆佸寳澶х瓑鍚嶆牎锛岃冪敓瀵硅嚜宸辩殑瑕佹眰搴旇鏄湪閫昏緫閮ㄥ垎缁濅笉鑳戒綆浜40鍒嗭紝涓嶇劧鐨勮瘽锛岄櫎闈炲叾浠栧悇绉戠壒鍒ソ锛屾墠鑳戒繚璇佽嚜宸辩殑鎬诲垎銆3銆佷笉閽荤墰瑙掑皷锛杩欐槸閫佺粰澶у鐨勪竴鍙ュ繝鍛 褰撻昏緫瑙ｉ璁粌...
