四、假言命题