JVM常用参数解释正确的是：（） A: -server：指定服务器 B: ’-Xms：表示Java初始化堆的大小 C: -Xmx：表示Java初始化堆的大小 D: -Xmx：表示每个Java线程堆栈大小

在Tomcat中间件中，JVM初始化堆的大小、JVM堆的最大值分别由（）表示（） A: Xms＜size＞ B: Xmx＜size＞ C: Xmc＜size＞ D: Xmw＜size＞

现有如下谓词逻辑推理："x(Mx→Px)，"x(Sx→Mx)├$x(Sx∧Mx)。下列说法正确的是： A: 该推理是正确的。 B: 该推理不正确，需添加前提$xSx才正确。 C: 该推理不正确，需添加前提$xMx才正确。 D: 该推理不正确，需添加前提$xPx才正确。