关于离散逻辑推演的一个问题┠A→┓┓A怎么推出来的啊?