一个必要条件假言命题，如果其后件是真的，则它一定是真的