概念格在二值命题逻辑命题集约简中的应用

概念格的属性约简理论和命题逻辑系统中命题集的约简理论似乎是独立发展的两个研究分支,本文在二值命题逻辑中引入由命题集Γ所诱导的形式背景的概念,并基于此建立了概念格;在二值命题逻辑中提出了命题集Γ的约简理论,即在保持Γ推理能力不变的前提下对Γ中的成员进行约简;运用概念格的方法从Γ及其子集的关系出发给出了Γ约简的判定定理以及求Γ约简的方法.