两点之间,线段最短;如果a+b=0,那么a=0,b=0;如果a=0,那么ab=0;是真命题,假命题还是是定理