（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)
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
- 设个体域为自然数集，a表示自然数0，R表示自然数上的小于关系。则下列公式为真的有： A: "x"y"z(Rxy∧Ryz→Rxz) B: "x"y(Rxy→Ryx) C: "xRax→"xRxa D: $xRax→$xRxa
- （42题至44题共同基于如下题干）现有如下http://ed...y=100推演中第(9)行的公式应该是：
- int x,y,z; x=7; y=8; z=9; if(x>y) x=y; y=z; z=x; printf(“x=%d y=%d z=%d\n”,x,y,z);以上程序段的输出结果是：（） A: x=7 y=8 z=9 B: x=7 y=9 z=7 C: x=8 y=9 z=7 D: x=8 y=9 z=8
- 【单选题】下面程序的运行结果是 () 。 void main() { int x=7,y=8,z=9; if(x>y) x=y,y=z; z=x; printf("x=%d y=%d z=%d ",x,y,z); } A. x=7 y=8 z=7 B. x=7 y=9 z=7 C. x=8 y=9 z=7 D. x=8 y=9 z=8