请写出“SAP假或SEP假；SAP真；所以SEP假。”推理的逻辑形式，并简析推理是否正确。

正确答案:设p代表SAP，q代表SEP，则所给推理形式可表示为：。该推理形式是选言推理的否定肯定式，符合相容选言推理否定一部分选言肢就要肯定另一部分选言肢的规则。