圆的周长是2派r改为命题,并且判断它是否是真命题(急)