否命题是同时否定一个命题的条件和结论.
命题条件：x=3或x=4 否定：x≠3且x≠4
命题结论：方程x^2-7x+12=0 否定：方程x^2-7x+12≠0
所以否命题是：若x≠3且x≠4,则方程x^2-7x+12≠0