蕴含操作的英文翻译

中文:蕴含操作

英文翻译:【计】 IF-THEN operation; implication function; implication operation