方程x2-16=0的解为x=4或=-4写出非命题