杜国平 吴健辉 黄志坚 霍书全 肖淑云

矛盾命题 真值 断言者 麦加 推理规则 经典命题逻辑 陈述句 多元论 选言肢 最小联结词组 公式集 非算子 三元算子 形式蕴涵 自由出现 真值函数 逻辑性质 精湛技巧 谓词逻辑 合取 不相容选言判断 同义结构 完备集 命题演算 语义解释 蕴涵式 真值表 可靠性定理 公理系统 条件命题