如果一个句子的肯定和否定形式都以一个句子的肯定式为前提，则另一个句子是该句的( )。