离散数学中a=>b和a->b有什么区别?

问题描述:

离散数学中a=>b和a->b有什么区别?

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