必然p真，则可能p（）。