formal implication
formal implication是什么意思、formal implication怎么读
【计】 形式蕴涵
formal implication汉语翻译
【计】 形式蕴涵