vt. 演绎,推论