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