设个体域为自然数集,a表示自然数0,R表示自然数上的小于关系。则下列公式为真的有:
A: "x"y"z(Rxy∧Ryz→Rxz)
B: "x"y(Rxy→Ryx)
C: "xRax→"xRxa
D: $xRax→$xRxa
A: "x"y"z(Rxy∧Ryz→Rxz)
B: "x"y(Rxy→Ryx)
C: "xRax→"xRxa
D: $xRax→$xRxa
举一反三
- 设个体域为自然数集,a表示自然数0,R表示自然数上的小于关系。则下列公式为真的有:
- 中国大学MOOC: 设个体域为自然数集,a表示自然数0,R表示自然数上的小于关系。则下列公式为真的有:
- 取个体域为自然数集,a表示自然数0,R表示自然数上的“≤”关系。则上述解释可以证明: A: $xRax→"xRax不是普遍有效的。 B: $xRax→"xRax是可满足的。 C: "xRax→$xRax是普遍有效的。 D: "xRax→$xRax是可满足的。
- 中国大学MOOC: 取个体域为自然数集,a表示自然数0,R表示自然数上的“≤”关系。则上述解释可以证明:
- (42题至44题共同基于如下题干)现有如下[img=25x27]1803a7e257a6bb9.png[/img]推演。[img=452x420]1803a7e26247f98.png[/img]推演中第(9)行的公式应该是: A: "x"y(Rxy∧Ryz→Rxz) B: "x"z(Rxa∧Raz→Rxz) C: "y"z(Rxy∧Ryz→Rxz) D: "x(Rxa∧Raz→Rxz)