9.4 演绎推论