设个体域为自然数集，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,A,C
举一反三
- 设个体域为自然数集，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)
内容
- 0
设R、Z、N分别为实数集、整数集，自然数集，则下列关系中不能构成函数的是？ A: {|x,y ÎN, x,y>10} B: {|x,yÎR,y=x2} C: {|x,yÎR,y2=x} D: {|x,yÎZ,x=ymod3}
- 1
设N（x）：x是自然数，Z（y）：y是整数，则每个自然数都是整数，可以符号化为∀x（N（x）→Z（x））。
- 2
设N（x）：x是自然数，Z（y）：y是整数，则有些整数不是自然数，可以符号化为∃x（Z（x）→￢N（x））。
- 3
取个体域为整数集，下列公式为真的有？ A: ∃x∃y(x⋅y=2) B: ∃y∀x(x⋅y=0) C: ∀x∀y(x⋅y=y) D: ∀x(x⋅y=x)
- 4
推演中第(11)行的公式应该是： A: Rxy∧Ryz→Rxz B: Rxa∧Raz→Rxz C: Rxa∧Ray→Rxy D: Rxa∧Rax→Rxx