选言法，就是用选言推理的（），否定与原论题并列的其他可能。

共变法的特点是（）。

填空题共变法的特点是（）。

与“火星上必然有生命”相等值的模态命题是（）。

填空题与“火星上必然有生命”相等值的模态命题是（）。

与“科学事业不可能是一个人的事业”相等值的模态命题是（）。

填空题与“科学事业不可能是一个人的事业”相等值的模态命题是（）。