龚启荣 卜文军

导出式 前提 三段论式 逻辑斯谛 亚里士多德 假言推理 假言 三段论 直言判断 必然式 推理式 或然式 关系命题 欧拉图 选言 判定方法 直言三段论 单独概念 无效式 区域表示 外延关 我国古代 推理规则 逻辑推理 图解 传统逻辑 性质命题 单称命题 全称命题 逻辑系统