归纳条件相关论文
本文先给出命题逻辑P的所有合式公式组成的集合W上的一个偏序关系,从而得到一个偏序集,然后在这个偏序集上讨论了与P中关于合式公......
本文定义了命题逻辑的所有合式公式组成的集合上的一个偏序关系,从而得到一个偏序集,然后在这个偏序集上讨论了与中关于合式公式结......
