-> 是一个连接词,而a->b 是一个命题,未知其是否是真是假.
　　=> 是重言蕴涵,a=>b 表示a 重言蕴涵 b,即 a->b 是一个真命题.