中国大学MOOC: 现有如下谓词逻辑推理：x(Mx→Px)，x(Sx→Mx)├$x(Sx∧Mx)。下列说法正确的是：
该推理不正确，需添加前提$xSx才正确。
举一反三
- 现有如下谓词逻辑推理：x(Mx→Px)，x(Sx→Mx)├$x(Sx∧Mx)。下列说法正确的是：
- 现有如下谓词逻辑推理："x(Mx→Px)，"x(Sx→Mx)├$x(Sx∧Mx)。下列说法正确的是： A: 该推理是正确的。 B: 该推理不正确，需添加前提$xSx才正确。 C: 该推理不正确，需添加前提$xMx才正确。 D: 该推理不正确，需添加前提$xPx才正确。
- 下列公式与"x(Sx→ØPx)真值条件相同的有： A: "x(Px→ØSx) B: Ø$x(Px∧Sx) C: "x(ØPx∨ØSx) D: $xØ(Sx→Px)
- “有的S不是P”用一阶公式表达正确的有： A: $x(Sx∧ØPx) B: "x(Sx→ØPx) C: $x(Sx→ØPx) D: Ø"x(Sx∧Px)
- “没有S是P”用一阶公式表达正确的有： A: Ø$x(Sx∧Px) B: "x(Sx→ØPx) C: Ø$x(Sx→Px) D: "x(Sx∧ØPx)
内容
- 0
亨利定律表达式是（）。 A: Y*＝mx B: Y*＝mx C: Y*＝m/x D: Y*＝x/m
- 1
上述公式中,可用来估计均数可信区间的是() A: Mx±1.96SMx B: Mx±2.58S C: x±1.96SMx D: x±1.96S E: Mx±2.58SMx
- 2
$x(Sx→Px)为真的充分必要条件是：
- 3
亨利定律表达式是（）。 A: Y*＝mx B: Y*＝mx<sub>2</sub> C: Y*＝m/x D: Y*＝x/m
- 4
下列语句中，______能满足如下要求：定义一个指向位于data存储区 int型变量的指针变量mx。( ) A: int data * data x; B: int * mx data; C: Int * data mx; D: int data * mx;