[數(shù)] 縯繹推理,縯繹推論;縯繹法" />