张清宇 杨彬 柴生秦 陈波 李建华 王玉红

命题 普遍适用性 周延性 主项存在假定 词项逻辑 概念 普通逻辑 联项 自然语言 公理系统 直言命题对当关系推理 传统逻辑 直接推理 变形推理 命题形式 存在含义 词项 预设 An-命题 逻辑学研究 三段论 完全性定理 形式结构 逻辑 否定命题 逻辑教材 名词变项 对当关系