jiǎ yán mìng tí
基本释义
  1. "指形式为""如果A则B""的复合命题。又称条件命题。"
英文翻译
  1. Hypothetical proposition