“必然p”与“可能p”