永真蕴含的英文翻译

中文:永真蕴含

英文翻译:【计】 tautological implication