现有如下谓词逻辑推理:x(Mx→Px),x(Sx→Mx)├$x(Sx∧Mx)。下列说法正确的是:
举一反三
- 中国大学MOOC: 现有如下谓词逻辑推理: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)