数理逻辑问题:已知a->b,为什么a├ a->b