剛在書本上看到這句話的時候,確實不是太明白.因為我的理解是: p僅當(dāng)q 的 意思是:只有當(dāng)q為真的時候,p才為真. 因此應(yīng)該推導(dǎo)出 q->p, ...