[數] 縯繹推理,縯繹推論;縯繹法" />