下列公式与"x(Sx→ØPx)真值条件相同的有:
A: "x(Px→ØSx)
B: Ø$x(Px∧Sx)
C: "x(ØPx∨ØSx)
D: $xØ(Sx→Px)
A: "x(Px→ØSx)
B: Ø$x(Px∧Sx)
C: "x(ØPx∨ØSx)
D: $xØ(Sx→Px)
A,B,C
举一反三
- “有的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)
- “没有S是P”用一阶公式表达正确的有: A: Ø$x(Sx∧Px) B: "x(Sx→ØPx) C: Ø$x(Sx→Px) D: "x(Sx∧ØPx)
- 现有如下谓词逻辑推理:x(Mx→Px),x(Sx→Mx)├$x(Sx∧Mx)。下列说法正确的是:
- $x(Sx→Px)为真的充分必要条件是:
内容
- 0
中国大学MOOC: 现有如下谓词逻辑推理:x(Mx→Px),x(Sx→Mx)├$x(Sx∧Mx)。下列说法正确的是:
- 1
若变量已正确定义,表达式()可以使指针px指向变量x。 A: px=&x B: px=x C: *px=&x D: *px=*x
- 2
现有如下谓词逻辑推理:"x(Mx→Px),"x(Sx→Mx)├$x(Sx∧Mx)。下列说法正确的是: A: 该推理是正确的。 B: 该推理不正确,需添加前提$xSx才正确。 C: 该推理不正确,需添加前提$xMx才正确。 D: 该推理不正确,需添加前提$xPx才正确。
- 3
若有如下定义语句:int x;则经过( )后,语句*px=0;,可将x值置为0。 A: int *px; B: int *px=&x; C: float *px; D: float *px=&x;
- 4
总体均数95%的可信限可用____估计 A: μ±1.96 B: μ±1.96x C: X ̄±1.96S D: X ̄± t0.05,υ·Sx E: μ±t0.05,υ•Sx