假定这个蕴含式的前件为真,证明后件也为真就可以了