дедуктивное рассуждение на китайском

сущ.
мат.
演绎证明 yǎnyì zhèngmíng