命题逻辑中的偏序结构

作者：甘晓丽^*

来源：社会科学家, 2007, S1: 186-187.

• 偏序集
• 极小条件
• 降链条件
• 归纳条件

本文定义了命题逻辑的所有合式公式组成的集合上的一个偏序关系,从而得到一个偏序集,然后在这个偏序集上讨论了与中关于合式公式结构的归纳法等价的几个条件。

• 出版日期2007-6-15
• 单位桂林电子科技大学