（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)
（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)
推演中第(11)行的公式应该是： A: Rxy∧Ryz→Rxz B: Rxa∧Raz→Rxz C: Rxa∧Ray→Rxy D: Rxa∧Rax→Rxx
推演中第(11)行的公式应该是： A: Rxy∧Ryz→Rxz B: Rxa∧Raz→Rxz C: Rxa∧Ray→Rxy D: Rxa∧Rax→Rxx
设个体域为自然数集，a表示自然数0，R表示自然数上的小于关系。则下列公式为真的有： A: "x"y"z(Rxy∧Ryz→Rxz) B: "x"y(Rxy→Ryx) C: "xRax→"xRxa D: $xRax→$xRxa
设个体域为自然数集，a表示自然数0，R表示自然数上的小于关系。则下列公式为真的有： A: "x"y"z(Rxy∧Ryz→Rxz) B: "x"y(Rxy→Ryx) C: "xRax→"xRxa D: $xRax→$xRxa
1