证明推理前提:p→┐q, ┐r∨q, r∧┐s