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