石树刚 林豪 王家源 赖楚生 郑振楣 陈一如 黄文奇 李祥 陈金华

命题变元 命题公式 依赖性 范式 判定规则 析取 均覆盖 子句 产生式序列 真值表 可导出性 多值依赖 三值逻辑 基本和 穿线树 完全函数依赖 可解性定理 NP完全问题 求解算法 关系方法 谓词逻辑 当且仅当 元素 前后文无关 公理