логическая импликация на китайском

сущ.
мат.
含蓄 hánxù ; 蕴涵 yùnhán