联言推理:从主干到支干的逻辑原理