可以这样理解，要判断一个命题是假命题，就是要举出一个反例，即满足条件不满足结论的例子。如果前件是假命题，永远没有满足条件的例子，所以永远没有反例，因此命题是真命题
充分条件的假言命题可以刻画为s→p,等同于选言命题 非sVp,选言命题一个选言支为真，命题就是真的
假作真时真亦假
