对策论最先由冯.诺依曼在1928年的文章中给出了严格的公式表达，作为数学和经济学的分支，它是用来模型化竞争和合作的的重要分析工具。在过去的15年里，对策论成为经济理论的主流模型，并在政治、军事、生物学等多个领域都取得了令人瞩目的研究成果。但在研究过程中发现，复杂系统在不确定条件下赢得矩阵中的元素往往难以精确表示，因此一定程度上限制了其在实际中的应用。而控制论中的逻辑控制思想则通常用来处理无法建立精确模型的复杂系统，本文将逻辑控制的思想引入到对策分析中，提出了一种新的不同与传统矩阵对策的逻辑分析方法。主要研究内容如下： 引入系统陈述的概念，它的思想中引入了因果关系以及归纳推理，是逻辑分析的基础。在此基础上，将复杂的对策问题符号化。将局中人，赢得分别用代数符号表示，并构建策略表。根据策略表写出不同策略的公式表示，并结合泛布尔代数的理论进行化简得出逻辑等价的简化表达式。 本文针对经典矩阵对策的不足，以“齐王赛马”为案例详细分析了逻辑分析模型的构建和符号化表示方法，探讨了具体的对策问题系统陈述的符号表示及逻辑分析过程。 论文研究了基于泛布尔代数的军事符号学和对策问题逻辑分析方法在军事上的应用。以联合作战、雷达电子对抗及空运方案综合评估为案例，分别用逻辑分析方法得出了有实际意义的结论。 本文将泛布尔代数的理论应用到对策分析中去，为对策论的研究提供了新的分析工具，方便了对策论应用于更广阔的领域。特别是在军事上，逻辑分析模型配用到决策支持系统和C3I系统，可以为我军各级参谋人员在信息化战争中分析装备效能、制定作战方案等方面提供新的决策依据。