天美乌鸦糖心mv

题主发现了 [公式] - [公式] 语言的博弈语义——更确切地说，一阶逻辑的博弈语义.小学生比大小的游戏可以形式化为一个双玩家（记为1和2）的博弈. 我们将博弈分为博弈规则和输赢条件两部分. 规则如下： 如果当前局面为 [公式] ，下一步轮到玩家1行动，可供选择的下一步局面为 [公式] .如果当前局面为 [公式] ，下一步轮到玩家2行动，可供选择的下一步局面为 [公式]。