a->b读作“若A则B”即“A是B的必要条件”。设A和B是命题公式,如果是A→B永真式,则称A永真蕴涵B,记作A=>B,或称 A=>B是永真蕴涵式。离散数学题，即要你证明我写的个真命题成立
a->b读作“若A则B”即“A是B的必要条件”。那个","的意思是"则"的意思.
是离散数学的 若A则B那么A是B的必要条件
明显题目有问题。。。没抄全吧
