设个体域为自然数集,则命题“不存在最大自然数”形式化为[input=type:blank,size:4][/input]
举一反三
- 设个体域为实数集,则命题“任意实数总能比较大小”形式化为[input=type:blank,size:4][/input]
- 设个体域为实数集,则命题“如果三个数的乘积为0,那么至少有一个数为0”可形式化为[input=type:blank,size:4][/input].命题“对每个实数x,存在实数y,使对于任意实数z,若[tex=2.357x1.071]ld8BVcJZmgnGY5ahab0Q6Q==[/tex]则[tex=3.643x1.143]ybBfnW5fwuWoUtLg9l4+yA==[/tex]”可形式化为[input=type:blank,size:4][/input]
- 设个体域为全总个体域,R(x):石是实数;Q(x):x是有理数;八(x)∶x是整数。命题“所有的有理数是实数”,“有些有理数是整数”,“有些有理数是实数但不是整数”可分别形式化为[input=type:blank,size:4][/input],[input=type:blank,size:4][/input],[input=type:blank,size:4][/input]
- 将下列十进制数化为二进制数和八进制数。127(十进制)=[input=type:blank,size:4][/input](二进制)=[input=type:blank,size:4][/input](八进制)
- 设机器代码为C5H，机器数为补码形式（采用1位符号），则对应的十进制真值为[input=type:blank,size:4][/input]，其原码形式为[input=type:blank,size:4][/input]，反码形式为[input=type:blank,size:4][/input]（均用十六进制表示）。