n个命题变元的_____________称为大项,其中每个变元与它的否定不能同时出现,但两者必须_____________。