p→q=非pVq 这是从数学角度直接推导.如果要理解的话,比如：如果下雨（记为A）→小明打伞（记为B）A真B真必然是真,A假即不下雨,那么没说小明是打伞还是不打伞,就是都有可能,既只要A假,命题就为真（因为已经不存在假的可能了）但是A真B假,即如果下雨,小明不打伞,明显矛盾了,是为假.