单项选择题 （）是指通过改变命题的质或量从而推导出新命题的论证。

单项选择题 用真值表检验重言式与矛盾式需要针对所讨论的命题建立一个（）。

单项选择题 换质法的三个步骤或规则不包括（）。