以﹁p为前提进行有效推理，如果希望得到﹁q为结论，可增加的另一个前提有Ap→﹁qBq→pCp∨﹁qDp↔q