1.逻辑学术语"演绎"的旧译名。