问答题 将下列命题符号化：“秦岭隔开了渭水和汉水”

问答题 将下列命题符号化：小王即聪明又用功，但身体不好。

问答题 用归纳法证明原始递归函数都是全函数。