“有的三角形为正三角形”的否命题为?