蕴含式的英文翻译

中文：蕴含式