刚在书本上看到这句话的时候,确实不是太明白.因为我的理解是: p仅当q 的 意思是:只有当q为真的时候,p才为真. 因此应该推导出 q->p, ...