王笠 李建华 曾庆华 黄定时

日常语言 推理形式 推理式 推理 实质蕴涵怪论 命题形式断定的确定性 斯多亚派 真值容量 创造性活动 符号表达式 逻辑语义学 数学命题证明 假言判断 解几 向量位 麦加 离散数学 矛盾命题 逻辑性质 蕴涵怪论 题目的 重言式证明 真值形式 假言命题 前件 形式蕴涵 实质蕴涵 联结词 试题 严格蕴涵