考点2:推理形式及其有效性