公式的大小作为复杂性的度量
The size of a formula as a measure of complexity
摘要：
我们介绍了一个改进的通常Escherichfeucht-Fra\"ıssé游戏。新游戏将帮助我们比传统游戏更好地区分。特别是，它可以用来测量表达给定属性所需的大小公式。我们将给出两个版本的博弈：第一个版本描述命题逻辑中公式的大小，第二个版本适用于一阶谓词逻辑。
英文摘要：
We introduce a refinement of the usual Ehrenfeucht-Fra\"ıssé game. The new game will help us make finer distinctions than the traditional one. In particular, it can be used to measure the size formulas needed for expressing a given property. We will give two versions of the game: the first version characterizes the size of formulas in propositional logic, and the second version works for first-order predicate logic.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
