画线段AB的中点是真命题若丨X丨=2则X=2是真命题