根据形式逻辑基本规律中的（），已知SIP为假，则SEP为真。