取个体域为自然数集，a表示自然数0，R表示自然数上的“≤”关系。则上述解释可以证明：
A: $xRax→"xRax不是普遍有效的。
B: $xRax→"xRax是可满足的。
C: "xRax→$xRax是普遍有效的。
D: "xRax→$xRax是可满足的。
A: $xRax→"xRax不是普遍有效的。
B: $xRax→"xRax是可满足的。
C: "xRax→$xRax是普遍有效的。
D: "xRax→$xRax是可满足的。
举一反三
- 设个体域为自然数集，a表示自然数0，R表示自然数上的小于关系。则下列公式为真的有： A: "x"y"z(Rxy∧Ryz→Rxz) B: "x"y(Rxy→Ryx) C: "xRax→"xRxa D: $xRax→$xRxa
- 中国大学MOOC: 取个体域为自然数集，a表示自然数0，R表示自然数上的“≤”关系。则上述解释可以证明：
- 设个体域为自然数集，a表示自然数0，R表示自然数上的小于关系。则下列公式为真的有：
- 中国大学MOOC: 设个体域为自然数集，a表示自然数0，R表示自然数上的小于关系。则下列公式为真的有：
- 一个自然数，它既可以表示为9个连续自然数之和，又可以表示为10个连续自然数之和，还可以表示为11个连续自然数之和，则满足上述条件的最小自然数是( )。 A: 349 B: 356 C: 373 D: 495