演绎证明 на русском yǎnyì zhèngmíng сущ. мат. дедуктивное рассуждение ; дедуктивное доказательство ; доказательство по выводу антонимы 归纳证明