a>b是a+c>b+c的充要条件是不是真命题?