为什么“若a>b,则ac>bc”是一个命题?