以“必然p”为前提，可必然推出（）。