1. (2023高二下·抚顺期末) 一种逻辑推理形式，其推理结构的真值取决于前件，其正确的表达公式为；如果p，那么q；非q，所以，非p。下列关于这一逻辑推理形式的判断合理的是（  ）

①属于充分条件假言推理

②该推理如果否定前件，那么在结论中必须否定后件

③属于不相容选言推理

④肯定该推理的前件，则在结论中就应肯定其后件