关系推理 逻辑性质 逻辑规律 性质判断 直言判断 关系逻辑 关系者 逻辑形式 形式逻辑 联项 反对称性 结构式 反对称关系 传递关系推理 负判断 三段论公理 对称性 思维对象 系项 类对象 量项