逻辑习题: The Science of Programming, David Gries 第二章习题七答案有一句话看不懂

新手上路,请多包涵

习题七问题截图
习题七解答截图\(中间红线标红的那句看不明白\)

请问:原书解答中 This adds m propositions {E}i at the main level.到底啥意思?(见附件中划红线那句)

  1. 这使得主层增加了m个{E}i.(按我理解,应该是一次操作增加了k个啊.)
  2. 这使得主层由m个g组成的{E}i的个数增加了.(难道是这个意思?)
阅读 984
撰写回答
你尚未登录,登录后可以
  • 和开发者交流问题的细节
  • 关注并接收问题和回答的更新提醒
  • 参与内容的编辑和改进,让解决方法与时俱进