如果ab等于0 那么a等于0且等于0是不是真命题?