正文

以“必然p”为前提,可必然推出()。

高老师