從公式本身來說,這兩個(gè)等價(jià)公式是可以證明的,不過證明的過程比較復(fù)雜,如果你需要我可以給你證明這兩個(gè)公式.你的問題應(yīng)該是無法從正常的邏輯去理解第二條式子從任何變成了存在這一事實(shí).我這里可以給你舉個(gè)例子：對(duì)于...是呀 用自然語言很難理解。。你看比如第一個(gè)式子。是所有的A具有性質(zhì)X ，或者B（這里B和A沒關(guān)系） 可以推出 所有的A具有性質(zhì)x,或者B。。這個(gè)我可以理解因?yàn)锽和所有A沒關(guān)系，可以把B直接放出去。所以)∀xA(x)VB那第二個(gè)式子。。所以的A具有性質(zhì)x 推出B。。。 那這里的B也和前面沒關(guān)系。。為什么不能直接把括號(hào)中的→B放出去 最后是∀xA(x)→B呢？這個(gè)公式的意思 不就是 所以的A具有性質(zhì)x 退出B嗎？第二個(gè)式子中，并不需要所有的A具有性質(zhì)x，才可以推出B的，我的例子當(dāng)中也講過了，B本身是和A沒有任何關(guān)系的，只要當(dāng)中有一個(gè)A具有性質(zhì)x，B便成立。額 還是不懂。。那如果你這樣說 第一個(gè)式子 也可以用 存在A 或者B啊為什么是所有A或者B不能用證明的辦法 來解釋嗎。畢竟自然語法咋說咋有理要證明也是可以的，不過證明的方法很復(fù)雜，而且無疑只是對(duì)每一個(gè)解釋進(jìn)行驗(yàn)證罷了，并不是說自然語法怎么說都有理，而是沒有理解B和A之間的關(guān)系，我再給你把兩個(gè)式子解釋一下，如果不行的話我再給出證明。先看看第一個(gè)式子。第一個(gè)對(duì)于所有的A而言，要么滿足性質(zhì)x，要么B成立。所以，除非所有的A滿足性質(zhì)x，要么B成立；第二個(gè)對(duì)于所有的A而言，如果有一個(gè)A滿足性質(zhì)x，那么B成立，所以等價(jià)于只要有一個(gè)A滿足性質(zhì)x，那B就成立。額。。你每次解釋到正題就跳過了 或者不解釋了。。 和書上一樣 不知道咋回事。。第二個(gè)對(duì)于所有的A而言，如果有一個(gè)A滿足性質(zhì)x，那么B成立，（我就想知道這里為什么是如果有一個(gè)。。 而不是所有因?yàn)樗懊婢褪撬邪?。你換成有一個(gè) 為什么要換成有一個(gè)。 暈這也是我問的問題 你也是知道的。。。 還沒解釋。。你看你第一個(gè) 為什么用的所有 你咋不用有一個(gè)？因?yàn)殚_始時(shí)所有，而第二個(gè)式子你一下?lián)Q成有一個(gè)不說為什么對(duì)于所有的x，(A(x)→B)，為什么我要說有一個(gè)，而不是所有呢？這里可以假設(shè)一下，有1個(gè)x滿足條件，有1個(gè)x不滿足條件?；蛘呦衲阏f的，有一個(gè)A滿足性質(zhì)x，有一個(gè)A不滿足性質(zhì)x。接著來分析：有1個(gè)x滿足條件，那么，根據(jù)A(x)→B，B是成立的，而這個(gè)時(shí)候，B是和x無關(guān)的，另一個(gè)x滿足不滿足條件不會(huì)影響到B的直值。所以，有一個(gè)就行了。或者像你說的，有一個(gè)A滿足性質(zhì)x，那么根據(jù)A(x)→B，B是成立的，而B是和A無關(guān)的，所以另一個(gè)A不滿足性質(zhì)x對(duì)B不會(huì)造成影響，也就是說，只要有1個(gè)A滿足性質(zhì)x,B就被定死了一定成立，無法被改變了，并不需要所有的A。再回過頭看看第一個(gè)例子，對(duì)于所有的x，要么A滿足條件，要么B成立。再假設(shè)一下，，有1個(gè)x滿足條件，有1個(gè)x不滿足條件?；蛘呦衲阏f的，有一個(gè)A滿足性質(zhì)x，有一個(gè)A不滿足性質(zhì)x。同樣，因?yàn)橛?個(gè)x不滿足條件，B就成立了，另一個(gè)是沒有影響的，或者說A只要缺少其中的某一性質(zhì)x，B就成立了。所以，要么所有的x都滿足A（或者A含有所有性質(zhì)），不成的話，只要有一個(gè)性質(zhì)A沒有，那B必然成立。這樣講你能否明白些呢？再結(jié)合我一開始講的例子看看。不明白可繼續(xù)追問。