原文:【逻辑学知识】对当关系推理和命题变形推理