以p为一前提，应增补哪一项为另一前提，可必然推出结论qAp←qBq→pC﹁p∨qDq←p