A→B的定义是 非A 或 B
罗辑上的意思是,要么A不成立,否则B成立.
所以只要A不成立,这个式子永远是真的.
换一思路,比如你要证明一个命题A→B是假的,你要怎么做呢.你首先要找一个东西是满足A,但不满足B,但你压根就找不到满足A的东东.至少说明,这个命题不是假的.
如果一加一不等于二那么二加三等于五.这个命题是真命题吗?
A→B的定义是 非A 或 B
罗辑上的意思是,要么A不成立,否则B成立.
所以只要A不成立,这个式子永远是真的.
换一思路,比如你要证明一个命题A→B是假的,你要怎么做呢.你首先要找一个东西是满足A,但不满足B,但你压根就找不到满足A的东东.至少说明,这个命题不是假的.