单项选择题
A.变项和逻辑常项均相同B.变项不同但是逻辑常项相同C.逻辑常项不同但是变项相同D.变项和逻辑常项均不同
选言法，就是用选言推理的（），否定与原论题并列的其他可能。
填空题选言法，就是用选言推理的（），否定与原论题并列的其他可能。
共变法的特点是（）。
填空题共变法的特点是（）。
与“火星上必然有生命”相等值的模态命题是（）。
填空题与“火星上必然有生命”相等值的模态命题是（）。
