【摘要】本文用二叉树理论分析了提问逻辑式的逆波兰式的二叉树结构特点，建立了提问逻辑式在计算中所需工作区与逆波兰式二叉树结构间的关系。用此理论揭示了福岛法不能控制工作区的本质原因，以及提问逻辑式在运算中所需工作区的理论范围，为倒排文档检索软件设计设置工作区提供了确切的理论根据。