41 演繹法推論