命题逻辑中单元子句及其负文字和冗余子句

作者：刘婷; 徐扬^*; 陈秀兰

来源：计算机科学, 2019, 46(08): 255-259.

• 命题逻辑
• 可满足性
• 冗余文字
• 负文字
• 冗余子句

针对命题逻辑中逻辑公式的某个单元子句及其负文字和冗余子句,给出了含单元子句的子句集的等价条件,同时刻画了子句集中文字和子句的冗余性,得到了一些冗余文字和冗余子句的判定方法,还提出了与子句集可满足性的等价条件。所提方法可以使命题逻辑的逻辑公式更简单,为命题逻辑中逻辑公式的简化提供一定的理论支撑。

• 单位
  西南交通大学