文法：G：S→xSx | y所识别的语言是( )。

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

【其它】ex4.xlsx 打开文件 “D:1 xysp4 excelex.xsx”,进行以下操作并保存。(操作结果可参考“Dxysp4exce样张,png") (1)将单元格区域A1:F1合并后居中,并套用单元格样式中的“标题1” (2)按格式完成单元格区域A4:A14中的顺序编号填充。3)计算出每个品种的总计(元)。(总计=进货产量*进货价格) (4)利用函数法统计最大进货产量和进货价格,结果分别存放在D15和E15单元格中。 (5)将单元格区域F3:F14的数字分类设为货币,小数位1位,货币符号为“¥” (6)给单元格区域F3:F14添加单元格格式中的“渐变填充”下的“红色数据条” (7)在表格下方插入图表,数据源为“B2:B14”和“F2:F14”,图表类型为“二维簇状柱形图”,图表标题更改为“进货情况统计图”。 (8)完成后直接保存,并关闭 xcel应用程序 。 然后上传附件提交