条件蕴含门的英文翻译

英文翻译：【计】 conditional implication unit