单项选择题 与"如果非p那么q"等值的判断是（）。

填空题 "一个推理只有形式正确，才能得出可靠的结论，这个推理结论不可靠，所以这个推理形式不正确"这个必要条件假言三段论推理使用了错误的（）式。

填空题 必要条件假言三段论推理有效式是（）和（）。