剛在書本上看到這句話的時(shí)候,確實(shí)不是太明白.因?yàn)槲业睦斫馐?
p僅當(dāng)q 的 意思是:只有當(dāng)q為真的時(shí)候,p才為真. 因此應(yīng)該推導(dǎo)出 q->p, 而不應(yīng)該是 p->q.
經(jīng)過仔細(xì)思考,我將我的理解寫下來拂酣。
"p僅當(dāng)q", 則可以反映出的一個(gè)事實(shí)是, p成為真的唯一途徑就是 q為真，那么就說明 p如果是真的,那么就必然可以推導(dǎo)出q是真蜡塌，因此 p->q 是正確的状共，從而也可以說明 q是p的必要條件俊扭。
那為什么不能推導(dǎo)出"q->p"是錯(cuò)誤的呢？因?yàn)閝僅僅是p成立的必要條件,而非充分必要條件,因此無(wú)法通過q證明p。
再次明確一點(diǎn):'當(dāng)'后面是充分條件,'僅當(dāng)'后面是必要條件. 我們無(wú)法通過一個(gè)必要條件的存在,就能證明結(jié)論的成立性!
所以認(rèn)為'q->p'的同學(xué)的誤區(qū)也并不是在邏輯上,而是沒有明確區(qū)分 "當(dāng)且僅當(dāng)"祝旷、"僅當(dāng)"面殖、"當(dāng)" 這些詞的區(qū)別.
