共用题干题利用谓词公式对下列命题符号化 存在实数x，y和z，使得x与y之和大于x与z之积