用演繹法推算一下