"必然P"等值于（），"并非必然非P"等值于（）。