[单选]  如断定“必然P”与“必然非P”同真，则违反（   ）。