若ab≠0 则a≠0 是真命题吗?