问答题
将下列命题符号化：小王即聪明又用功，但身体不好。
问答题将下列命题符号化：小王即聪明又用功，但身体不好。
用归纳法证明原始递归函数都是全函数。
问答题用归纳法证明原始递归函数都是全函数。
将下列命题符号化：“直线A平行于直线B当且仅当直线A不相交于直线B”
问答题将下列命题符号化：“直线A平行于直线B当且仅当直线A不相交于直线B”
