"指形式为""如果A则B""的复合命题。又称条件命题。"。