必然p真，则可能p()。