a推b为什么可以得非a或b

推到方法之一就是: 列出a推b的真值表 和 非a或b的真值表会发现两表是相同的, 所以两者是等价的

  a 推 b 的情况如下3种数

      a真时, b一定真;  a假时, b可以为真也可以为假的;

      整理    a真b真  ;  a假b假   ; a假b真

  非a或b 的情况也是如下3种

      (或关系中, 要让命题成立只要其中一个为真, 或者两个都为真)

      所以要让非a或b命题成立,那么有3中情况.  先假设两个都是真即非a, b真(即是a假, b真),  然后假设一真一假的情况

      非a条件是真, 那么b是假的(即是a假, b假) ; b条件为真那么非a要为假(即是a真, b真的)

      整理  a假, b真  ;    a假, b假  ;   a真, b真的

综上, 他们的情况相同所以是等价的.

ps: 可以假设个命题试下 . 比如 如果种柳树, 那么就要种桃树. 

     一定可以推出: 种柳树一定要种桃树, 

                             不种桃树一定不种柳树