以p→（）和q为前提进行推理，结论是（）。