153 .2　转换成标准形式-9.2.1　转换含有“只有”“唯一”的命题