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

用归纳法证明原始递归函数都是全函数。 点击查看答案

将下列命题符号化：“直线A平行于直线B当且仅当直线A不相交于直线B” 点击查看答案