还是不能理解"蕴含"的关系
所谓的p->q,也就是p是q的必要条件,但是不一定要是充分条件,这就是所谓的蕴涵?
我觉得蕴涵关系里面p不管是否为真,q都为真,这样的p->q的关系似乎没有什么意义.如果说p不管是否成立,推出q成立都是真的,那么岂不是说明,p,q之间没有什么关联?那又从哪里来的蕴涵呢?