莫志浩 魏贵民 黄喻 陈慕昌 王建 霍书全 邹辉

真值函数 命题词 联结词的完备集 独立性 极小完全集 语义学 中介逻辑 完全集（功能完备集） 三值逻辑SLO 形式定理 量词 形式推理规则 真值表 析取范式 全功能联结词集合 完全性 重言式 真值 合取范式 多值逻辑