王晓萍 何向东 袁正校

科学发展 相容选言命题 排中律 简单析取式 逻辑教学 无效式 新成果 因果联系 《教程》 逻辑学研究 逻辑应用 思维形式 传统形式逻辑 分析逻辑 传统逻辑 现代逻辑 自然语言 逻辑学家 假说 客观事物 重要形式 形式系统 命题形式 逻辑现代化 具体内容 思维内容 对当关系推理 联项 推理形式 真包含