全程命题与存在命题若a=b,则sina=sinb若a*c=b*c,则a=b,abc是粗体,应该是向量吧改成否命题和命题的