6.3 演绎推论