(四)必要条件假言命题(只有p,才q)