1 P→Q P
2 ﹁Q→﹁P T1 E
3 ﹁(Q∨R) P
4 ﹁Q∧﹁R T3 E
5 ﹁Q T4 I
6 ﹁P T2,5 I