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