问答题
共用题干题利用谓词公式对下列命题符号化 所有的人都不一样高。
【参考答案】
