形式逻辑之充分条件假言命题
问题描述：
形式逻辑之充分条件假言命题
为什么“一个充分条件假言命题,只有在前件真后件假的情况下才是假的,在前后件真、前件假后件真、前件假后件假的情况下都是真的”?
答
p→q=非pVq 这是从数学角度直接推导.如果要理解的话,比如：如果下雨（记为A）→小明打伞（记为B）A真B真必然是真,A假即不下雨,那么没说小明是打伞还是不打伞,就是都有可能,既只要A假,命题就为真（因为已经不存在假的可能了）但是A真B假,即如果下雨,小明不打伞,明显矛盾了,是为假.