充分条件的否命题就是矛盾命题?原命题:A ====> B 即; 如果A成立,则B成立否命题:-A ====> -B 即;