只有他用功,他成绩才好,符号化此命题